UML顺序图的形式化描述

摘要：

@@ 1引言
统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].

机标关键词：顺序图、形式化描述、统一建模语言、复杂系统、语义分析、正确性分析、一致性检查、语言描述、语法结构、系统分析、模型、元素、设计、对象、标准

所属期刊栏目：29

分类号：TP31(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：147-148