UML顺序图的形式化描述  

Formal Description of UML Sequence Diagram

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

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

出　　处：《计算机科学》2002年第6期147-148,共2页Computer Science

摘　　要：1引言 统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].UML.as a standard object modeling language,provides several diagrams to describe the results of system analysis and design. However,its lack of precise semantics makes it difficult to support consistency check and accuracy analysis of the models of large,complex systems. In this paper,a formal description of UML sequence diagram is proposed, which provides the foundation for the rigorous semantic analysis and validation of UML sequence diagram.

关 键 词：UML语言 统一建模语言 顺序图 形式化描述 

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