计算机应用与软件2013，Vol.30Issue(5)：48-51,148,5.DOI:10.3969/j.issn.1000-386x.2013.05.014
基于着色Petri网构建AFM范式的形式化模型AFM-CPN
CONSTRUCTING FORMAL AFM-CPN MODEL OF AFM PARADIGM BASED ON COLOURED PETRI NETS
摘要
Abstract
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网/软件建模/面向方面/特征化Key words
Petri-nets/ Software modelling / Aspect-oriented / Characterisation分类
信息技术与安全科学引用本文复制引用
阳王东,吴宏斌,李长云..基于着色Petri网构建AFM范式的形式化模型AFM-CPN[J].计算机应用与软件,2013,30(5):48-51,148,5.基金项目
国家自然科学基金项目(60773110) （60773110）
湖南省自然科学基金项目(11JJ6052) （11JJ6052）
湖南省科技计划项目(2011GK3124) （2011GK3124）
湖南省教育厅科研项目优秀青年项目(11B023). （11B023）
