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

摘要

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