Process enactment in SPADE

  • S. Bandinelli
  • A. Fuggetta
  • C. Ghezzi
  • S. Grigolli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 635)


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.


software process process modeling process enactment 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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.Google Scholar
  2. [2]
    V. Ambriola, M.L. Jaccheri, “Definition and Enactment of Oikos Software Process Entities” First European Workshop on Software Process Modeling Milan, Italy, May 1991.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    N. Barghouti, “Concurrency Control in Rule-Based Software Development Environments”, Ph. D. Thesis Columbia University, technical report CUCS-001-92Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    C. Fernström “The Eureka Software Factory: Concepts and Accomplishments”, Proc. of the 3rd. European Software Engineering Conference, ESEC '91. Milan, Italy, October 1991.Google Scholar
  9. [9]
    V, Gruhn, “Validation and Verification of Software Process Models” Ph. D. Thesis, Dortmund University 1991.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    M. Kelner et al. “ISPW-6 Software Process Example” Proc. of the 6th. International Software Process Workshop, Hakodate Japan, October 1990.Google Scholar
  12. [12]
    P.M Merlin, D.J. Farber, “Recoverability of communication protocols-Implications of a theoretical study”, IEEE Transactions Commun., September 1976.Google Scholar
  13. [13]
    B. Peuschel, W. Schaefer, “Efficient Execution of Rule Based Persistent Software Process Models in MERLIN”, International Conference on Software Engineering, Merlbourne, Australia, 1992.Google Scholar
  14. [14]
    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.Google Scholar
  15. [15]
    D. Taubner, “On the implementation of Petri Nets”, 8th European Workshop on Applications and Theory of Petri Nets, Zaragoza, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • S. Bandinelli
    • 1
  • A. Fuggetta
    • 2
  • C. Ghezzi
    • 3
  • S. Grigolli
    • 4
  1. 1.DEC and Politecnico di MilanoItaly
  2. 2.CEFRIEL and Politecnico di MilanoItaly
  3. 3.Dipartimento di ElettronicaPolitecnico di MilanoItaly
  4. 4.CEFRIELItaly

Personalised recommendations