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

• 作者: 张萌 郭峰
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 统一建模语言 顺序图 Petri网 语义模型 转换规则
• 年，卷（期）: 2009,（24）
• 所属期刊栏目: 软件与算法
• 页码范围: 5646-5649
• 页数: 4页
• 分类号: TP311.5|TP393
• 字数: 4350字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭峰	北方工业大学信息工程学院	20	41	4.0	5.0