基于Petri网的设计模式形式化描述

• 作者: 姜久雷 王晓峰 王雷
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 设计模式 自动识别 形式化描述 转换规则 Petri网 观察者模式
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 33-36,48
• 页数: 5页
• 分类号: TP311.56
• 字数: 2569字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.07.005

摘要

从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法.定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程.分析结果表明,该方法可以以图形化的方式描述设计模式.在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓峰	北方民族大学计算机科学与工程学院	14	23	4.0	4.0
2	姜久雷	北方民族大学计算机科学与工程学院	15	57	4.0	7.0
3	王雷	北方民族大学计算机科学与工程学院	3	14	2.0	3.0