Automated transformations from UML behavior models to contracts
Li, Dan1,2; Li, Xiao Shan1; Liu, Zhi Ming4; Stolz, Volker3
Source PublicationScience China Information Sciences
AbstractIn 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. © 2014, Science China Press and Springer-Verlag Berlin Heidelberg.
The Source to ArticleEngineering Village
Fulltext Access
Citation statistics
Cited Times [WOS]:1   [WOS Record]     [Related Records in WOS]
Document TypeJournal article
CollectionUniversity of Macau
Affiliation1.University of Macau, Macau, China;
2.Guizhou Academy of Sciences, Guiyang; 550001, China;
3.Department of Informatics, University of Oslo, Oslo; 0316, Norway;
4.School of Computing, Telecommunications and Networks, Birmingham City University, Birmingham; B422SU, United Kingdom
First Author AffilicationUniversity of Macau
Recommended Citation
GB/T 7714
Li, Dan,Li, Xiao Shan,Liu, Zhi Ming,et al. Automated transformations from UML behavior models to contracts[J]. Science China Information Sciences,2014,57(12):1-17.
APA Li, Dan,Li, Xiao Shan,Liu, Zhi Ming,&Stolz, Volker.(2014).Automated transformations from UML behavior models to contracts.Science China Information Sciences,57(12),1-17.
MLA Li, Dan,et al."Automated transformations from UML behavior models to contracts".Science China Information Sciences 57.12(2014):1-17.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li, Dan]'s Articles
[Li, Xiao Shan]'s Articles
[Liu, Zhi Ming]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li, Dan]'s Articles
[Li, Xiao Shan]'s Articles
[Liu, Zhi Ming]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li, Dan]'s Articles
[Li, Xiao Shan]'s Articles
[Liu, Zhi Ming]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.