UML2.0顺序图的形式化研究

摘要：

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.

关键词：统一建模语言、顺序图、Petri网、语义模型、转换规则

所属期刊栏目：30

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

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

页数：共4页

页码：5646-5649