Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991. Appeared as Technical Report No. 394/91.
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.
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.
A. Saalmann. Ein Validations-und Post-Evaluationswerkzeug für FUNSOFT-Netze (in German). 1991. Diplomarbeit, University of Dortmund.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gruhn, V., Saalmann, A. (1992). Software process validation based on FUNSOFT nets. In: Derniame, JC. (eds) Software Process Technology. EWSPT 1992. Lecture Notes in Computer Science, vol 635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017523
Download citation
DOI: https://doi.org/10.1007/BFb0017523
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