期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2013
卷号：57
期号：3
出版社：Journal of Theoretical and Applied
摘要：Consistency between different UML diagrams is an important challenge in object oriented modeling but UML lacks any mechanism to rigorously check consistency between the models. This paper presents the first formal semantics of UML sequence diagram using Z notation. The main focus of our approach is to guarantee consistency between sequence and class diagram in multi view modeling context. By means of a representative example, we show how our approach is used for the detection of inconsistencies.
