基于上下文约束的UML序列图语义分析方法  

The Context Constraint-Based Method for Semantic Analysis of UML Sequence Diagram

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

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

出　　处：《系统工程与电子技术》2003年第2期184-187,共4页Systems Engineering and Electronics

基　　金：国家"九五"军事预研项目 (No.6 .2.1.4) ;"十五"军事预研项目资助课题 (No.41315 0 5 1)

摘　　要：统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。The semi-formal property of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems. In this paper, a method for semantic analysis of UML sequence diagram is presented. Based on the event-order semanteme of the sequence diagram, the method characterizes a sequence diagram with the message sequence, represents its concrete context as the semantic constraints of the message sequence, and performs the semantic analysis by checking the consistency between its context constraints and the system states. Finally, the effectiveness and practicability of this method are demonstrated by an example.

关 键 词：统一建模语言 序列图 语义分析 约束 

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