摘要
统一建模语言 (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.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2003年第2期184-187,共4页
Systems Engineering and Electronics
基金
国家"九五"军事预研项目 (No.6 .2.1.4)
"十五"军事预研项目资助课题 (No.41315 0 5 1)
关键词
统一建模语言
序列图
语义分析
约束
Unified modeling language
Sequence diagram
Semantic analysis
Constraint
