A Multi-View Software Process Model Based on Object Petri Nets
一种基于对象网的多视角软件过程模型

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.