UML序列图的Z形式规范  

Formal specification of the UML sequence diagram using Z notation

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

机构地区：[1]西安电子科技大学软件工程研究所,陕西西安710071 [2]上海贝尔有限公司研发部,上海200092

出　　处：《西安电子科技大学学报》2002年第6期772-775,795,共5页Journal of Xidian University

基　　金：国家"十五"军事预研资助项目(413150501)

摘　　要：用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.The lack of precise semantics of UML makes it difficult to support consistency check and accuracy analysis of the models of large, complex systems. It is an effective way to resolve this problem to apply existing formal techniques to UML. In this paper, using a formal specification language Z, the authors present a rigorous semantics of the UML sequence diagram, define its abstract syntax, wellformed rules and consistent constraints that it must satisfy, and demonstrate with a practical example that this work lays a foundation for the rigorous semantic analysis and validation of the UML sequence diagram.

关 键 词：UML序列图 Z形式规范 统一建模语言 形式化 Z语言 

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