Automated transformations from UML behavior models to contracts

作     者：LI Dan LI XiaoShan LIU ZhiMing Volker STOLZ 

作者机构：Faculty of Science and Technology University of Macau Guizhou Academy of Sciences School of Computing Telecommunications and Networks Birmingham City University Department of Informatics University of Oslo 

出 版 物：《Science China(Information Sciences)》 (中国科学:信息科学(英文版))

年 卷 期：2014年第57卷第12期

页      面：216-232页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by the PEARL,GAVES(Macau Science and Technology Development Fund) Guizhou International Scientific Cooperation Project(Grant No.G7023) the National Natural Science Foundation of China(Grant Nos.61073022,61103013,91118007) 

主　　题：model-driven development UML sequence diagrams state machines model transformations QVT 

摘      要：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 *** is important that the dynamic behavior specified by the sequence diagrams is in full compliance with the implementation *** paper proposes an automatic approach and tool support for generating class contracts,which define a precondition and a postcondition for each operation of 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 *** contracts can be easily mapped to code of an object-oriented language such as ***,the approach helps to bridge the gap between the requirements and design stages of system development *** 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 *** transformations take into account the concurrency and critical constructs of the respective UML diagrams.