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

摘要：

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

关键词：设计模式、自动识别、形式化描述、转换规则、Petri网、观察者模式

所属期刊栏目：42

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

资助基金：国家自然科学基金资助项目61462001;宁夏高等学校科学研究基金资助项目NGY2015151;北方民族大学研究生创新基金资助项目YCX1561

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

页数：共5页

页码：33-36,48