基于着色Petri网构建AFM范式的形式化模型AFM-CPN

作     者：阳王东 吴宏斌 李长云 Yang Wangdong;Wu Hongbin;Li Changyun

作者机构：湖南城市学院信息科学与工程学院湖南益阳413000 湖南工业大学计算机与通信学院湖南株洲412008 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2013年第30卷第5期

页      面：48-51,148页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金项目(60773110) 湖南省自然科学基金项目(11JJ6052) 湖南省科技计划项目(2011GK3124) 湖南省教育厅科研项目优秀青年项目(11B023) 

主　　题：Petri网 软件建模 面向方面 特征化 

摘      要：针对重用已有的软件模型与资源高效地开发软件的要求,软件产品线编程范式是一种可行的解决方案。方面化特征模块AFM(Aspectual Feature Module)编程范式是一种最新提出的软件产品线编程范式,它引入了AOP编程范式,将系统基于特征而非角色划分能够获得重用性更强的设计。Petri网能够利用一种图形化的表示方法进行系统建模,而且提供理论上的验证机制。把Petri网引入到AFM范式当中,这样既可以根据迭代的方式构建所需的AFM模块以降低建模的规模和复杂度,也可以利用Petri网来实现AFM范式的形式化验证。