Software processes as real-time systems: a case study using high-level Petri nets

The authors explore the analogy between software processes and real-time systems by discussing the applicability of a formalism developed for real-time systems specification to the specification and enactment of software processes. The formalism, called ER nets, is based on Petri nets. A specialization of ER nets for this new application area is introduced, and its applicability is discussed through a case study. Ongoing research directions are outlined.<<ETX>>

[1]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[2]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[3]  Ellis Horowitz,et al.  A Formal Model for Software Project Management , 1989, IEEE Transactions on Software Engineering.

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

[5]  W. Humphrey,et al.  Software Process Modeling: Principles Of Entity Process Models , 1989, 11th International Conference on Software Engineering.

[6]  Takuya Katayama,et al.  A hierarchical and functional software process description and its enaction , 1989, ICSE '89.

[7]  Carlo Ghezzi,et al.  TRIO: A logic language for executable specifications of real-time systems , 1990, J. Syst. Softw..

[8]  Paolo Ciancarini,et al.  Software process enactment in Oikos , 1990, SDE.

[9]  S. Sutton,et al.  Language constructs for managing change in process-centered environments , 1990, SDE 4.

[10]  Robert Balzer.  What We Do and Don't Know about Software Process , 1990, 'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop.

[11]  Dennis Heimbigner,et al.  Language constructs for managing change in process-centered environments , 1990 .

[12]  Carlo Ghezzi,et al.  A Unified High-level Petri Net Model for Time Critical Systems , 1991 .

[13]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..