本文已被：浏览 1607次 下载 2725次
Received:September 23, 2010 Revised:November 08, 2010
Received:September 23, 2010 Revised:November 08, 2010
中文摘要: 以统一建模语言(UML, Unified Modeling Language)规范为基础，给出UML 顺序图的形式化定义和语法描述，并进一步分析了对象消息发送和接收之间的一致性问题。最后，通过对实例推理过程的分析，对UML 顺序图的特性作进一步的解释。这为基于UML 顺序图的模型转换和模型验证提供了必要的前提条件，可用于对软件系统结构的完备性理解和构造可视化建模工具。
Abstract:Based on UML sequence diagram of the Unified Modeling Language (UML, Unified Modeling Language)
specification is given a formal definition and syntax descriptions, and further analysis of the object between the sending
and receiving messages consistency. Finally, the analysis of case-based reasoning process, the characteristics of UML
sequence diagrams for further explanation. This UML sequence diagram based model transformation and model
validation provided the necessary precondition for the software system can be used to understand the completeness of
the structure and construction of visual modeling tools.
文章编号： 中图分类号： 文献标志码：
基金项目:云南省自然科学基金(2006F0047M)
| Author Name | Affiliation |
| HE Feng | Information Co11ege, Yunnan University of Finance and Economics, Kunming 650221, China |
| Author Name | Affiliation |
| HE Feng | Information Co11ege, Yunnan University of Finance and Economics, Kunming 650221, China |
引用文本：
何锋.一种顺序图的形式化描述与推理过程.计算机系统应用,2011,20(6):52-55,29
HE Feng.Sequence Diagram of the Formal Description and Reasoning.COMPUTER SYSTEMS APPLICATIONS,2011,20(6):52-55,29
何锋.一种顺序图的形式化描述与推理过程.计算机系统应用,2011,20(6):52-55,29
HE Feng.Sequence Diagram of the Formal Description and Reasoning.COMPUTER SYSTEMS APPLICATIONS,2011,20(6):52-55,29
