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.
Preview
Unable to display preview. Download preview PDF.
References
Adomeit R. Knowledge Based Specification of Software Process Models (in German) Master's Thesis, University of Dortmund, Computer Science, 1989
Ashok V., Ramanathan J., Sarkar S., Venugopal V. Process modelling in Software Environments 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Boehm B.W., Gray T.E., Seewaldt T. Prototyping versus Specification: A Multiproject Experiment IEEE TSE, Vol. SE-10, No. 3, May 1984
Boehm B.W. A Spiral Model of Software Development and Enhancement SEN, Vol. 11, No 4, August 1986
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
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
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
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
Evangelist M., Pellegrin J.F. Foundational Problems in Software Process Research Software Engineering Notes, Vol.11, No. 4, August 1986
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
Fritsch C.A., Perry D.L. A Manager/Controller for the Software Development Process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Godbersen H.P. Function Nets (in German) Ladewig Verlag, Berlin 1983
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
Hitchcock P. The process model of the Aspect IPSE 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
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
Kaiser G. Rule based modeling of the software development process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Kellner M. Representation formalisms for software process modeling 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Lewerentz C. Incremental Programming in the Large (in German) PhD Thesis, RWTH Aachen, Informatik Fachberichte No. 194
Lehman M.M. A Further Model of Coherent Programming Processes Proceedings of Software Process Workshop Egham, UK, February 1984
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
Nagl M. An Incremental Programming Support Environment in: Computer Physics Communication, North Holland, Amsterdam 1985
Ohki A., Ochimizu K. Process Programming with Prolog 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Osterweil L. Software Processes are Software Too Proc. of the 9th Int. Conf. on SE, Monterey California, April 87
Osterweil L. Automated Support for the Enactment of Rigorously Described Software Processes 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Peterson J.L. Petri Net Theory and the modeling of systems Prentice-Hall 1981
Przygodda J. Using complex objects in Function Nets (in German) Diploma Thesis, University of Dortmund in preparation in 1989
Reisig W. Petri Nets. An Introduction (in German) Springer Verlag, 1982
Reisig W. System Design with Nets (in German) Springer Verlag, 1985
Roberts C. Describing and Acting Process Models with PML 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
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
Sutton L. Advanced Models for the software process 4th Int. Software Process Workshop, Moretonhamstead, Devon UK, May 1988
Schäfer W., Weber H. The ESF-Profile to appear in: Handbook of Computer Aided Software Engineering, Van Nostrand, New York, September 1988
ESPRIT Project 1520 Advanced Software Engineering Environment Logistics Framework (ALF) Technical Annex, 1987
Taylor R.N. et. al. Foundation of the ARCADIA Environment Architecture Proc. 3rd Symposium on Practical Software Development Environments, Boston 1988
Wileden J.C., Clarke L.A. Feedback-Directed Development of Complex Software Systems Proceedings of Software Process Workshop Egham, UK, February 1984
Williams L.G. Software Process Modeling: A Behavioral Approach Proc. of the 10th Int. Conf. on SE, Singapore April 88
Author information
Authors and Affiliations
Editor information
Rights 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