Software process validation based on FUNSOFT nets

  • Volker Gruhn
  • Armin Saalmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 635)


This position paper motivates briefly why software process simulation is a promising branch of software process model analysis. It explains how different branches of software process model analysis complement each other. The software process simulation facilities discussed in this paper are based on FUNSOFT nets, which is a Petri net type that is particularly adapted to the requirements for software process modeling languages. The proposed simulation facilities are implemented in the software process management environment MELMAC.


MELMAC software process simulation validation of software process models verification of software process model properties 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Gru91]
    V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991. Appeared as Technical Report No. 394/91.Google Scholar
  2. [KH89]
    M.I. Kellner and G.A. Hansen. Software Engineering Processes: Models and Analysis. In B.D. Shriver, editor, Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, Vol. II, 1989.Google Scholar
  3. [MS90]
    P. Mi and W. Scacchi. A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes. IEEE Transactions on Knowledge and Data Engineering, 2(3), September 1990.Google Scholar
  4. [Saa91]
    A. Saalmann. Ein Validations-und Post-Evaluationswerkzeug für FUNSOFT-Netze (in German). 1991. Diplomarbeit, University of Dortmund.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Volker Gruhn
    • 1
  • Armin Saalmann
    • 1
  1. 1.LION GmbHBochum 1Federal Republic of Germany

Personalised recommendations