Petri net-based models of software engineering processes

A Petri-net-based formal specification method for distributed systems is accommodated to software process modeling. The authors introduce domain-specific concepts, stressing the distributedness and dynamic nature of software processes. Development states are viewed as distributed entities. Development activities are characterized by their effects on software objects, pertinent information exchange with human or technical carriers of such activities, and local changes to development states. These dynamic aspects of software processes are visualized by labeled Petri nets. Sketched are structuring mechanisms that support hierarchical decomposition and systematic combinations of separate views of a software engineering process.<<ETX>>

[1]  Bernd J. Krämer,et al.  Developing integrated environments with ASDL , 1989, IEEE Software.

[2]  Watts S. Humphrey,et al.  Software process modeling: principles of entity process models , 1989, ICSE '89.

[3]  Luqi,et al.  Interactive control of prototyping process , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[4]  Bill Curtis,et al.  A field study of the software design process for large systems , 1988, CACM.

[5]  Bernd J. Krämer,et al.  Object-oriented development of integrated programming environments with ASDL , 1988, SIGSMALL '88.

[6]  Anthony Finkelstein.  "Not Waving But Drowning": Representation Schemes For Modelling Software Development , 1989, 11th International Conference on Software Engineering.

[7]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[8]  Luqi.  Software evolution through rapid prototyping , 1989, Computer.