节点文献
基于事件序的UML序列图语义规范
Event order-based semantic specification of UML (unified modeling language) sequence diagram
【摘要】 UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与验证提供了基础。
【Abstract】 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.
【关键词】 统一建模语言；
序列图；
语义规范；
事件序；
语义分析；
【Key words】 UML； sequence diagram； semantic specification； event order； semantic analysis；
【Key words】 UML； sequence diagram； semantic specification； event order； semantic analysis；
【基金】 国家“十五”军事预研项目 ( 4 1315 0 5 0 1)
- 【文献出处】 长安大学学报(自然科学版) ,Journal of Xi’an Highway University , 编辑部邮箱 ,2002年06期
- 【分类号】TP312
- 【被引频次】5
- 【下载频次】73