摘要
由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
Since UML 2.0 dynamic view lacks precise semantics, it is them difficult to analyze and validate the systems it describes. Following the description of the syntax and constaint of UML 2.0 sequence diagram and state diagram, the formal semantics of UML 2.0 are defined using executable linear temporal logic language XYZ/E, It not only is convenient for conversion between UML 2.0 sequence diagrams and state diagrams, but also lays the foundation of describing the interaction behavior of software architecture with the combination of UML and the forreal method.
出处
《南京邮电大学学报（自然科学版）》
EI
2007年第3期39-43,共5页
Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition
基金
江苏省高校自然科学基金(05KJB520119)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
重庆市自然科学基金(CSTC2006BB2259)资助项目
