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

CONSTRUCTING FORMAL AFM-CPN MODEL OF AFM PARADIGM BASED ON COLOURED PETRI NETS

作　　者：阳王东[1] 吴宏斌[1] 李长云[2] 

机构地区：[1]湖南城市学院信息科学与工程学院,湖南益阳413000 [2]湖南工业大学计算机与通信学院,湖南株洲412008

出　　处：《计算机应用与软件》2013年第5期48-51,148,共5页Computer Applications and Software

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

摘　　要：针对重用已有的软件模型与资源高效地开发软件的要求,软件产品线编程范式是一种可行的解决方案。方面化特征模块AFM(Aspectual Feature Module)编程范式是一种最新提出的软件产品线编程范式,它引入了AOP编程范式,将系统基于特征而非角色划分能够获得重用性更强的设计。Petri网能够利用一种图形化的表示方法进行系统建模,而且提供理论上的验证机制。把Petri网引入到AFM范式当中,这样既可以根据迭代的方式构建所需的AFM模块以降低建模的规模和复杂度,也可以利用Petri网来实现AFM范式的形式化验证。For the demand of reusing existing software model and resource to develop software efficiently,the programming paradigm of software product line is a feasible solution.Aspectual feature module（AFM） is the latest programming paradigm of software product line,it introduces the programming paradigm of aspect-oriented programming（AOP）,by partitioning the system based on characteristics rather than roles it will be able to realise the design with better reuse.Petri nets can use a graphical representation approach to model the system,and provide theoretical verification mechanism.Introducing Petri nets into AFM paradigm can build the required AFM model according to iterative mode in order to reduce the size and complexity of modelling;moreover,Petri nets can also be used to implement the formal verification of the AFM paradigm.

关 键 词：PETRI网 软件建模 面向方面 特征化 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]