Title :
Software processes as real-time systems: a case study using high-level Petri nets
Author :
Bandinelli, Sergio ; Fuggetta, Alfonso ; Ghezzi, Carlo
Author_Institution :
CEFRIEL, Milano, Italy
Abstract :
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.<>
Keywords :
Petri nets; formal specification; real-time systems; ER nets; applicability; formalism; high-level Petri nets; real-time systems; software processes; specification; Application software; Computer aided software engineering; Erbium; Logic programming; Petri nets; Process design; Project management; Real time systems; Software design; Software systems;
Conference_Titel :
Computers and Communications, 1992. Conference Proceedings., Eleventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-7803-0605-8
DOI :
10.1109/PCCC.1992.200598
