顺序图的形式化方法描述

摘要：

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.

关键词：形式化方法、B方法、统一建模语言、顺序图

所属期刊栏目：38

分类号：TP311.5(计算技术、计算机技术)

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

页数：共3页

页码：87-89