Abstract
This paper discusses the features and characteristics of an environment to design, analyse and enact software process models, which is being developed at CEFRIEL and Politecnico di Milano. The environment is called SPADE and is centered on a language, SLANG (Spade LANGuage) based on high level Petri nets (ER nets). The main focus of this presentation concerns the features of SLANG and the characteristics of its interpreter that make it possible to obtain an efficient, concurrent execution (“enactment”) of a process model specified in SLANG.
This work is partially supported by CNR — Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo
Preview
Unable to display preview. Download preview PDF.
References
V. Ambriola, P. Ciancarini, C. Montangero, “Software Process Enactment in Oikos”, Proceedings of the 4th. ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, December 1990.
V. Ambriola, M.L. Jaccheri, “Definition and Enactment of Oikos Software Process Entities” First European Workshop on Software Process Modeling Milan, Italy, May 1991.
S. Bandinelli, A. Fuggetta, C. Ghezzi, “Software Processes as Real Time Systems: A case study using High-Level Petri nets” In Proc. of International Phoenix conference on computers and Communications Arizona, April 1992.
N. Barghouti, “Concurrency Control in Rule-Based Software Development Environments”, Ph. D. Thesis Columbia University, technical report CUCS-001-92
J. Colom, M. Silva, G.L. Villarroel, “On software implementation of Petri nets and color Petri nets using high-level concurrent languages”, 7th European Workshop on Applications and Theory of Petri Nets, Oxford, July 1986.
W. Deiters, V. Gruhn, “Managing Software Processes in the environment MELMAC”, In Proc. of the 4th. ACM SIGSOFT Symposium on Software Development Environments, Irvine, CA, USA, December 1990.
C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzè, “A Unified High-Level Petri Net Formalism for Time-Critical Systems”, IEEE Trans. Software Eng., February 1991.
C. Fernström “The Eureka Software Factory: Concepts and Accomplishments”, Proc. of the 3rd. European Software Engineering Conference, ESEC '91. Milan, Italy, October 1991.
V, Gruhn, “Validation and Verification of Software Process Models” Ph. D. Thesis, Dortmund University 1991.
L. Hubert, “OPIUM, An environment for Software Process Modeling integrated with Project Management and Product Management facilities” First European Workshop on Software Process Modeling Milan, May 1991.
M. Kelner et al. “ISPW-6 Software Process Example” Proc. of the 6th. International Software Process Workshop, Hakodate Japan, October 1990.
P.M Merlin, D.J. Farber, “Recoverability of communication protocols-Implications of a theoretical study”, IEEE Transactions Commun., September 1976.
B. Peuschel, W. Schaefer, “Efficient Execution of Rule Based Persistent Software Process Models in MERLIN”, International Conference on Software Engineering, Merlbourne, Australia, 1992.
B. Bütler, R. Esser, R. Mattmann, “A Distributed Simulator for High Order Petri Nets”, 10th International Conference on Application and Theory of Petri Nets, Bonn, June 1989.
D. Taubner, “On the implementation of Petri Nets”, 8th European Workshop on Applications and Theory of Petri Nets, Zaragoza, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bandinelli, S., Fuggetta, A., Ghezzi, C., Grigolli, S. (1992). Process enactment in SPADE. In: Derniame, JC. (eds) Software Process Technology. EWSPT 1992. Lecture Notes in Computer Science, vol 635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017505
Download citation
DOI: https://doi.org/10.1007/BFb0017505
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55928-3
Online ISBN: 978-3-540-47310-7
eBook Packages: Springer Book Archive