一种顺序图的形式化描述与推理过程

• 作者: 何锋
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: 顺序图 形式化描述 推理证明过程
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 研究开发
• 页码范围: 52-55,29
• 分类号: TP311
• 字数: 3877字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2011.06.012

摘要

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件系统结构的完备性理解和构造可视化建模工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何锋	云南财经大学信息学院	21	42	3.0	5.0