摘要
用形式化语言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, wellformed 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.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2002年第6期772-775,795,共5页
Journal of Xidian University
基金
国家"十五"军事预研资助项目(413150501)
