Skip to main content
SpringerLink
Log in

Validation and verification of software process models

  • Research Issues And Results
  • Conference paper
  • First Online:
Software Development Environments and CASE Technology (SDE 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 509))

Included in the following conference series:

Abstract

We introduce a software process modeling language — called FUNSOFT nets — which has a formally defined semantics in terms of Predicate/Transition nets. For this language we have implemented various analysis facilities. We point out which benefits can be gained from a thorough software process model analysis. We explain how software process models can be validated and how software process model properties can be verified. The proposed software process model validation is based on software process simulation, the proposed verification of software process model properties is based on well-known Petri net algorithms and on the notion of quantity restricted coverability trees. Finally, we explain how the proposed analysis facilities are implemented in the analysis tool ANAMEL, which is embedded into the software process management environment MELMAC.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Benali, N. Boudjlida, F. Charoy, and J.C. Derniame. A Model for Assisted Software Processes. In Proceedings of ICCI, Toronto, Canada, June 1989.

    Google Scholar 

  2. C. Boarder, H. Obink, M. Schmidt, and A. Völker. ATMOSPHERE, Advanced Techniques and Methods of System Production in a Heterogeneous, Extensible, and Rigorous Environment. In Proceedings of the 1st Conference on System Development Environments and Factories Moretonhamstead UK, May 1989.

    Google Scholar 

  3. W. Deiters and V. Gruhn. Managing Software Processes in MELMAC. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, USA, December 1990. Appeared as Software Engineering Notes, 15(6), December 1990.

    Google Scholar 

  4. W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.

    Google Scholar 

  5. H.J. Genrich. Predicate/Transition Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to other Models of Concurrency, Berlin, FRG, 1987. Springer. Appeared in Lecture Notes on Computer Science 254.

    Google Scholar 

  6. V. Gruhn. Analysis of Software Process Models in the Software Process Management Environment MELMAC. In Proceedings of the fifth Software Engineering Environments Workshop, Aberystwyth, Wales, UK, March 1991.

    Google Scholar 

  7. V. Gruhn. Validation and Verification of Software Process Models (to appear in 1991). PhD thesis, University Dortmund, June 1991.

    Google Scholar 

  8. P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In Proc. of the 10th Int. Conf. on Application and Theory of Petri Nets, Bonn, FRG, 1989.

    Google Scholar 

  9. G.E. Kaiser, P.H. Feiler, and S.S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software, May 1988.

    Google Scholar 

  10. R. Kujansuu and M. Lindquist. Efficient Algorithms for computing S-Invariants for Predicate/Transition Nets. In Proceedings of the 5th International Conference on Application and Theory of Petri Nets, 1984.

    Google Scholar 

  11. 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 

  12. J.L. Peterson. Petri Net Theory and the modeling of systems. Prentice-Hall, 1981.

    Google Scholar 

  13. W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986.

    Google Scholar 

  14. W. Schäfer and H. Weber. The ESF-Profile. In Handbook of Computer Aided Software Engineering, New York, 1988. Van Nostrand.

    Google Scholar 

  15. [TBC+88] R.N. Taylor, F.C. Belz, L.A. Clarke, L. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, and M. Young. Foundations in the ARCADIA Environment Architecture. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, 1988. Appeared as Software Engineering Notes, 13(5), February 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science, Software Technology, University of Dortmund, P.O. Box 500 500, D-4600, Dortmund 50

    Volker Gruhn

Authors
  1. Volker Gruhn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Endres H. Weber

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gruhn, V. (1991). Validation and verification of software process models. In: Endres, A., Weber, H. (eds) Software Development Environments and CASE Technology. SDE 1991. Lecture Notes in Computer Science, vol 509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54194-2_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-54194-2_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54194-3

  • Online ISBN: 978-3-540-47485-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation