Abstract
Software construction is essentially a modeling task. The most important decisions in software development are decisions that deal with modeling. The better, the more adequate and more powerful the available modeling paradigms are the easier the program development task is and the better its results are. In the following we describe the role of models in program development and show how closely the issue of modeling is related to the so-called formal methods in program development. We give a number of arguments the usage of mathematical models in software construction and back them up by some detailed examples.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Holzmann, G.J., Peled, D.: An Analyzer for Message Sequence Charts. Software – Concepts and Tools 17, 70–77 (1996)
Ben-Abdallah, H., Leue, S.: Syntactic analysis of Message Sequence Chart specifications. Tech Report 96-12, Department of Electrical and Computer Engineering, University of Waterloo (1996)
Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood City (1991)
Broy, M.: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57 (1991)
Broy, M.: The Essence of Message Sequence Charts. Keynote Speech. In: Proceedings of the International Symposium on Multimedia Software Engineering, December 11-13, pp. 42–47. IEEE Computer Society, Los Alamitos (2000)
Broy, M., Hofmann, C., Krüger, I., Schmidt, M.: A Graphical Description Technique for Communication in Software Architectures. Technische Universität München, Institut für Informatik, TUM-I9705 (Februar 1997), http://www4.informatik.tu-muenchen.de/reports/TUM-I9705 ; Also in: Joint 1997, Asia Pacific Software Engineering Conference and International Computer Science Conference, APSEC 1997/ICSC 1997
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Cobben, J.M.H., Engels, A., Mauw, S., Reniers, M.A.: Formal Semantics of Message Sequence Charts. Eindhoven University of Technology, Departement of Computing Science, Technical Report CSR 97/19
Damm, W., Harel, D.: Breathing Life into Message Sequence Charts. Weismann Insitute Tech. Report CS98-09, (April 1998), revised July 1998; to appear in: FMOODS 1999, IFIP TC6/WG6.1 Third International Conference on, Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18 (1999)
Graubmann, P., Rudolph, E., Grabowski, J.: Towards a Petri Net based semantics definition for message sequence charts. In: Faergemand, O., Sarma, A. (eds.) Proceedings of the 6th SDL Forum, SDL 1993: Using Objects (October 1993)
Holzmann, G.J., Peled, D.A., Redberg, M.H.: Design Tools for Requirements Engineering. Bell Labs Technical Journal, 86–95 (Winter 1997)
Jacobsen, I.: Object-Oriented Software Engineering. Addison-Wesley, ACM Press (1992)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES 1998. Kluwer, Dordrecht (1999)
ITU-T (previously CCITT): Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z. 120, Message Sequence Chart (MSC), 35pgs (March 1993)
ITU-T: Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland (1995)
Ladkin, P.B., Leue, S.: Interpreting Message Sequence Charts. Technical Report TR 101, Department of Computing Science, University of Stirling (1993)
Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5), 473–509 (1995)
Mauw, S., Reniers, M.A.: An algebraic semantics of basic message sequence charts. The Computer Journal 37(4), 269–277 (1994)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)
Rumbaugh, J.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)
Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Ph.D. Thesis Technische Universität München, Fakultät für Informatik Published by Herbert Utz Verlag (1996)
Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT (1988)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cupertino
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (January 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (2005). The Impact of Models in Software Development. In: Hutter, D., Stephan, W. (eds) Mechanizing Mathematical Reasoning. Lecture Notes in Computer Science(), vol 2605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32254-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-32254-2_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25051-7
Online ISBN: 978-3-540-32254-2
eBook Packages: Computer ScienceComputer Science (R0)