【作者】 黄正宝； 张广泉；

【机构】 苏州大学计算机科学与技术学院；

【摘要】 <正>1 引言 UML作为一种可视化的建模语言,可以从不同视角描述系统的不同侧面。由于复杂系统的建模往往需要进行严格的形式化分析和验证,而UML 却缺乏精确的形式化语义,限制了它的有效性,因而目前有很多研究UML形式化语义的工作。可执行更多还原

【Abstract】 As the new edition of UML, UML 2. 0 has the stronger capabality on modeling of software system. UML 2. 0 sequence diagrams are suitable for describing the interaction behavior among components and sub-components of composite component, UML 2. 0 state diagrams are suitable for describing the behavior of components and ports, but they also lack precise formal semantics. Based on these, the article defines the formal semantics of UML 2. 0 sequence diagram and state diagram based on XYZ/E, which based on temporal logic as well as implementable. It not only convenient for conversion between UML 2. 0 sequence diagrams and state diagrams, but also offers the foundation to analyse and validate the software system, which is described by UML 2. 0 sequence diagrams and state diagrams. You are suggested to edit your papers in this format.更多还原