基于事件序的UML序列图语义规范  

Event order-based semantic specification of UML (unified modeling language) sequence diagram

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

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

出　　处：《长安大学学报（自然科学版）》2002年第6期92-94,共3页Journal of Chang’an University(Natural Science Edition)

基　　金：国家"十五"军事预研项目 ( 4 1315 0 5 0 1)

摘　　要：UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与验证提供了基础。The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems. A formal definition of UML sequence diagram, its semantic specification according to the relationship of the event order and the relationship between messages, is presented, and the basic sequence diagram is also defined, which is proven to have the property of totally ordered relationship between messages.These work provide the foundation for the rigorous semantic analysis and validation of UML sequence diagram.

关 键 词：UML 统一建模语言 序列图 语义规范 事件序 语义分析 动态模型 面向对象 

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