Order Constraints for Multi-view Software Process Model

PSEE (process-centered software engineering environment) can manage and monitor software process. Software process modeling language is a core element in PSEE system. Software process model includes multiple views: activity view, product view and role view. According to 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 multi-object Petri nets. To ensure the soundness of MOPN-SP-net, we provide the order constraints as necessary conditions for the soundness of MOPN-SP-net.