Software process validation based on FUNSOFT nets
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.
KeywordsMELMAC software process simulation validation of software process models verification of software process model properties
Unable to display preview. Download preview PDF.
- [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
- [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
- [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
- [Saa91]A. Saalmann. Ein Validations-und Post-Evaluationswerkzeug für FUNSOFT-Netze (in German). 1991. Diplomarbeit, University of Dortmund.Google Scholar