Skip to main content
SpringerLink
Log in

Systematic development of formal software process models

  • Software Processes Modelling
  • Conference paper
  • First Online:
ESEC '89 (ESEC 1989)

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

Included in the following conference series:

Abstract

This paper proposes a structured approach to the incremental development of generic Models for Software Processes. Structured means that the developer is guided by an underlying systematic method when specifying the complex set of items constituting a complete description of a Software Process. Incremental means that it is possible to test, execute, and analyse incomplete specifications. Generic means that suitable mechanisms are provided to adapt a particular model to the specific requirements of a single company or user. The approach is based on a formal language which merges three existing approaches, namely a Data Definition Language, Function Nets as an extension of high-level Petri Nets, and graph replacement systems, into one homogeneous Software Process modeling language. It is explained how this language provides suitable means to specify the static features of a process model, the dynamics of processes, and the modifications of the processes. Finally, it is sketched how a process model is defined, i.e. this language can be executed for simulation reasons as well as for the control of a Software Process supported by the tools within the Software Development Environment.

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. Adomeit R. Knowledge Based Specification of Software Process Models (in German) Master's Thesis, University of Dortmund, Computer Science, 1989

    Google Scholar 

  2. Ashok V., Ramanathan J., Sarkar S., Venugopal V. Process modelling in Software Environments 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  3. Boehm B.W., Gray T.E., Seewaldt T. Prototyping versus Specification: A Multiproject Experiment IEEE TSE, Vol. SE-10, No. 3, May 1984

    Google Scholar 

  4. Boehm B.W. A Spiral Model of Software Development and Enhancement SEN, Vol. 11, No 4, August 1986

    Google Scholar 

  5. Derniame J.C., Ayoub H., Benali K., Boudjlida N., Godart C., Gruhn V. Towards Assisted Software Processes in: Proc. of the CASE Workshop on Software Process June 1988

    Google Scholar 

  6. Dowson M. ISTAR — An Integrated Project Support Environment Proc. of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Pract. Softw. Dev. Env. SIGPLAN Notices, Vol. 22, No. 1, January 1987

    Google Scholar 

  7. Engels G., Lewerentz C., Nagl M., Schäfer W. On the Structure of an Incremental and Integrated Software Development Environment Proc. of the 19th Hawaii Int. Conf. on System Sciences 1986

    Google Scholar 

  8. Engels G., Lewerentz C., Schäfer W. Graph Grammar Engineering: A Software Specification Method Proc. of the 3rd Workshop on Graph Grammars, Warrenton Virginia, Springer LNCS 291, 1987

    Google Scholar 

  9. Evangelist M., Pellegrin J.F. Foundational Problems in Software Process Research Software Engineering Notes, Vol.11, No. 4, August 1986

    Google Scholar 

  10. Engels G., Schäfer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment in: Ehrig et al. (eds.): Proc. TAPSOFT 85, LNCS 186 Springer, Berlin

    Google Scholar 

  11. Fritsch C.A., Perry D.L. A Manager/Controller for the Software Development Process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  12. Godbersen H.P. Function Nets (in German) Ladewig Verlag, Berlin 1983

    Google Scholar 

  13. Gruhn V., Deiters W. Required Extensions of Function Nets for Software Process Control Technical Report No. 34, University of Dortmund, Department of Computer Science, Chair for Software Technology, March 1989

    Google Scholar 

  14. Hitchcock P. The process model of the Aspect IPSE 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  15. Hünnekens H., et al. OSMOSE — A Step Towards Knowledge-Based Process Modeling Proc. of the Conf. on System Development Environment and Factories Berlin, May 1989

    Google Scholar 

  16. Kaiser G. Rule based modeling of the software development process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  17. Kellner M. Representation formalisms for software process modeling 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  18. Lewerentz C. Incremental Programming in the Large (in German) PhD Thesis, RWTH Aachen, Informatik Fachberichte No. 194

    Google Scholar 

  19. Lehman M.M. A Further Model of Coherent Programming Processes Proceedings of Software Process Workshop Egham, UK, February 1984

    Google Scholar 

  20. Lewerentz C., Schürr A. GRAS — A Management System for Graph-like Documents Proc. 3rd. Int. Conference on Data and Knowledge Bases, Jerusalem 1988 Morgan Kaufmann Publishers 1988

    Google Scholar 

  21. Nagl M. An Incremental Programming Support Environment in: Computer Physics Communication, North Holland, Amsterdam 1985

    Google Scholar 

  22. Ohki A., Ochimizu K. Process Programming with Prolog 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  23. Osterweil L. Software Processes are Software Too Proc. of the 9th Int. Conf. on SE, Monterey California, April 87

    Google Scholar 

  24. Osterweil L. Automated Support for the Enactment of Rigorously Described Software Processes 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

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

    Google Scholar 

  26. Przygodda J. Using complex objects in Function Nets (in German) Diploma Thesis, University of Dortmund in preparation in 1989

    Google Scholar 

  27. Reisig W. Petri Nets. An Introduction (in German) Springer Verlag, 1982

    Google Scholar 

  28. Reisig W. System Design with Nets (in German) Springer Verlag, 1985

    Google Scholar 

  29. Roberts C. Describing and Acting Process Models with PML 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  30. Schürr A. Introduction to PROGRESS — an Attribute Graph Grammar Based Specification Language Technical Report 89-4, University of Aachen, Department of Computer Science, 1989

    Google Scholar 

  31. Sutton L. Advanced Models for the software process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988

    Google Scholar 

  32. Schäfer W., Weber H. The ESF-Profile to appear in: Handbook of Computer Aided Software Engineering, Van Nostrand, New York, September 1988

    Google Scholar 

  33. ESPRIT Project 1520 Advanced Software Engineering Environment Logistics Framework (ALF) Technical Annex, 1987

    Google Scholar 

  34. Taylor R.N. et. al. Foundation of the ARCADIA Environment Architecture Proc. 3rd Symposium on Practical Software Development Environments, Boston 1988

    Google Scholar 

  35. Wileden J.C., Clarke L.A. Feedback-Directed Development of Complex Software Systems Proceedings of Software Process Workshop Egham, UK, February 1984

    Google Scholar 

  36. Williams L.G. Software Process Modeling: A Behavioral Approach Proc. of the 10th Int. Conf. on SE, Singapore April 88

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Technology Center, Helenenbergweg 19, D-4600, Dortmund 50, Federal Republic of Germany

    Wolfgang Deiters & Wilhelm Schäfer

  2. Computer Science Software Technology, University of Dortmund, P.O. Box 500 500, D-4600, Dortmund 50, Federal Republic of Germany

    Volker Gruhn

Authors
  1. Wolfgang Deiters
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Volker Gruhn
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wilhelm Schäfer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Ghezzi J. A. McDermid

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Deiters, W., Gruhn, V., Schäfer, W. (1989). Systematic development of formal software process models. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-51635-2_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51635-4

  • Online ISBN: 978-3-540-46723-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation