DocumentCode
3041523
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
fYear
1992
fDate
1-3 April 1992
Firstpage
509
Lastpage
516
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/PCCC.1992.200598
Filename
200598
Link To Document