基于Z规范的统一建模语言序列图语义分析方法  

The Z specification-based method for the semantic analysis of UML sequence diagrams

作　　者：李景峰[1] 陈平[1] 

机构地区：[1]西安电子科技大学软件工程研究所,陕西西安710071

出　　处：《西安电子科技大学学报》2003年第4期519-524,共6页Journal of Xidian University

基　　金：国家"九五"预研资助项目(6 2 1 4);"十五"预研资助项目(41306060106;413150501)

摘　　要：针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个应用实例说明了该方法的有效性.The semi-formal property of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems. One of the most efficient ways to deal with this problem is to apply the existing formal techniques to UML. In this paper, a method for the semantic analysis of the UML sequence diagram using the Z languare is presented. Based on the Z specification of the sequence diagram, the method characterizes object states with the attribute set, represents the context of a sequence diagram as Z formal constraints, and performs the semantic analysis by checking the consistency between the context constraints and the object states. The effectiveness of this method is demonstrated with an example.

关 键 词：Z规范 统一建模语言 序列图 语义分析 UML 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]