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
References is not available for this document.
Select All
1.
V. Ambriola, P. Ciancarini and C. Montangero, "Software Process Enactment in Oikos", Proceedings 4th. ACM SIGSOFT, 1990-December.
2.
R. Balzer, "What We Do and Dont Know about Software Processes", CQS - European Observatory on Software Engineering, 1990-October.
3.
W. Deiters and V. Gruhn, "Managing Software Processes in MELMAC", Proceedings 4th. ACM SIGSOFT, 1990-December.
4.
H. J. Genrich, "Predicate Transition Nets", Advances in Petri Nets 1986, vol. 254-255, 1987.
5.
C. Ghezzi, D. Mandrioli, S. Morasca and M. Pezze, "A Unified High Level Petri Net Formalism for Time Critical Systems", IEEE Transactions on Software Engineering, March 1991.
6.
C. Ghezzi, D. Mandrioli and A. Morzenti, "TRIO: A Logic Language for Executable Specifications of Real-Time Systems", Journal of Systems and Software, June 1990.
7.
W. Humphrey and M. Kellner, "Software Process Modeling: Principles of Entity Process Models", Proceedings 11th. IEEE/ACM ICSE, 1989.
8.
F. Jensen, "Coloured Petri Nets", Advances in Petri Nets 1986, vol. 254-255, 1987.
9.
G. Kaiser, N. Barghuti and M Sokolsky, "Preliminary Experience with Process Modeling in the Marvel SDE Kernel", Proceedings IEEE 23rd Hawaii ICSS, 1990.
10.
T. Katayama, "A Hierarchical and Functional Software Process description and its Enaction", Proceedings 11th IEEE/ACM ICSE, 1989.
11.
L. C. Liu and E. Horowitz, "A formal model for Software Project Management", IEEE Transactions on Software Engineering, October 1989.
12.
S. Morasca, M. Pezze and M. Trubian, "Timed High Level Nets", Journal of Real-Time Systems, no. 2, 1991.
13.
Proceedings 5th Int. Software Process Workshop, 1989-September.
14.
S. Sutton, D. Heimbigner and L. Osterweil, "Language Constructs for Managing Change in Process-Centered Environments", Proceedings 4th ACM SIGSOFT, 1990-December.
