A Multi-View Software Process Model Based on Object Petri Nets

葛季栋,顾庆,胡昊,吕建
DOI: https://doi.org/10.3724/sp.j.1001.2008.01363
2008-01-01
Journal of Software
Abstract: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.
What problem does this paper attempt to address?