摘要
基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.
According to the principle of ＂Separation of Concerns＂, by investigating the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which is a multi-view software process model based on object Petri nets and enhances the reusability of software process model. During process modeling, MOPN-SP-net is a multi-dimensional Petri net, which is difficult to analyze directly. So, this paper provides a translation rule from an object Petri net to an equivalent traditional flat Petri net. The translation preserves the soundness property. According to the translation rule, the soundness property of the MOPN-SP-net can be indirectly analyzed by its translated flat net.
出处
《软件学报》
EI
CSCD
北大核心
2008年第6期1363-1378,共16页
Journal of Software
基金
Supported by the National Natural Science Foundation of China under Grant Nos.60233010,60403014,60603034(国家自然科学基金)
the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090,2005AA113160,2006AA01Z159,2006AA01Z177(国家高技术研究发展计划(863))
the National Basic Research Program of China under Grant No.2002CB312002(国家重点基础研究发展计划(973))
