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 specificat...Show MoreMetadata
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.<>
Published in: Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]
Date of Conference: 01-03 April 1992
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-7803-0605-8
