Automated transformations from UML behavior models to contracts
Automated transformations from UML behavior models to contracts
复制标题
从 UML 行为模型到契约的自动转换
DOI：
10.1007/s11432-014-5159-8
复制
发表时间：
2014-12
期刊：
影响因子：
--
通讯作者：
Volker Stolz
中科院分区：
文献类型：
--
作者：
Dan Li;Xiaoshan Li;Zhiming Liu;Volker Stolz
在模型驱动体系结构（MDA）中，系统需求首先由UML（统一建模语言）用例捕获，用序列图描述其预期用途，并在随后的设计阶段由面向对象语言类实现。由序列图指定的动态行为必须完全符合实现类，这一点很重要。本文提出了一种自动生成类契约的方法和工具支持，它为类的每个操作定义了一个前置条件和一个后置条件。前者作为一个保护，以确保操作的调用尊重由序列图引入的语义，后者将系统置于法律的状态，以促进后续的操作调用。合约可以很容易地映射到面向对象语言（如Java）的代码。因此，该方法有助于弥合系统开发过程的需求和设计阶段之间的差距。我们使用我们的模型转换工具，首先从序列图生成一个UML协议状态机，然后派生控制器类的合同。转换考虑了各自UML图的并发性和关键结构。
In model driven architecture (MDA), system requirements are first captured by UML (unified modeling language) use cases with sequence diagrams to describe their intended use and implemented by classes of objected-oriented languages in the subsequent design stages. It is important that the dynamic behavior specified by the sequence diagrams is in full compliance with the implementation classes. This paper proposes an automatic approach and tool support for generating class contracts, which define a precondition and a postcondition for each operation of the class. The former serves as a guard to ensure invocations of the operations respect the semantics introduced by the sequence diagrams, and the latter places the system in a legal state to facilitate the succeeding operation calls. The contracts can be easily mapped to code of an object-oriented language such as Java. Thus, the approach helps to bridge the gap between the requirements and design stages of system development process. We use our model transformation tool to first generate a UML protocol state machine from the sequence diagrams, and then derive the contracts for a controller class. The transformations take into account the concurrency and critical constructs of the respective UML diagrams.
登录
查看更多内容
DOI：
10.1145/1656250.1656252
发表时间：
2010
期刊：
ACM Trans. Softw. Eng. Methodol.
影响因子：
--
作者：
J. Whittle;P. K. Jayaraman
通讯作者：
J. Whittle;P. K. Jayaraman
DOI：
10.1016/j.jcss.2011.08.008
发表时间：
2012-05
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
D. Harel;Itai Segall
通讯作者：
D. Harel;Itai Segall
DOI：
10.1109/mompes.2007.12
发表时间：
2007-03
期刊：
Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)
影响因子：
--
作者：
B. Graaf;A. Deursen
通讯作者：
B. Graaf;A. Deursen
DOI：
10.1007/978-1-4615-5229-1_12
发表时间：
1999
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
G. Leavens;A. L. Baker;C. Ruby
通讯作者：
G. Leavens;A. L. Baker;C. Ruby
影响因子：
5.4
作者：
Ivan Porres;I. Rauf
通讯作者：
Ivan Porres;I. Rauf