Abstract
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling.
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
Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H. (eds.): The Munich Project CIP. LNCS, vol. 183. Springer, Heidelberg (1985)
Bjørner, N., Browne, A., Chang, E., Colón, M., Kapur, A., Manna, Z., Sipma, H.B., Uribe, T.E.: STeP: Deductive Algorithmic Verification of Reactive and Real-Time Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)
Broy, M., Breitling, M., Scätz, B., Spies, K.: Summary of Case Studies in Focus - Part II. SFB-Bericht 342/24/97 A, Technische Universität München (September 1997)
Basili, V.R., Caldiera, G., Rombach, H.-D.: Goal Question Metric Paradigm. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, pp. 528–532. John Wiley & Sons, Chichester (1994)
Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., We-ber, R.: The Design of Distributed Systems - An Introduction to Focus. SFB-Bericht Nr. 342/2-2/92 A, Technische Universität München (January 1993)
Broy, M., Facchi, C., Grosu, R., Hettler, R., Huβmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stølen, K.: The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universität München (1993)
Broy, M., Facchi, C., Grosu, R., Hettler, R., Huβmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stølen, K.: The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0, Part 2. Technical Report TUM-I9312, Technische Universität München (1993)
Broy, M., Fuchs, M., Gritzner, T.F., Schätz, B., Spies, K., Stølen, K.: Summary of Case Studies in Focus — a Design Method for Distributed Systems. SFB-Bericht 342/13/94 A, Technische Universität München (June 1994)
Breu, R., Grosu, R., Hofmann, C., Huber, F., Krüger, I., Rumpe, B., Schmidt, M., Schwerin, W.: Exemplary and Complete Object Interaction Descriptions. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Proceedings OOPSLA 1997 Workshop on Object-oriented Behavioral Semantics, TUM-I9737 (1997)
Breu, R., Grosu, R., Huber, F., Rumpe, B., Schwerin, W.: Towards a Precise Semantics for Object-Oriented Modeling Techniques. In: Bosch, J., Mitchell, S. (eds.) ECOOP 1997. LNCS, vol. 1357, p. 205. Springer, Heidelberg (1998)
Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a Formalization of the Uniied Modeling Language. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 344–366. Springer, Heidelberg (1997)
Broy, M., Hofmann, C., Krueger, I., Schmidt, M.: Using Extended Event Traces to Describe Communication in Software Architectures. In: Proceedings APSEC 1997 and ICSC 1997. IEEE Computer Society, Los Alamitos (1997)
Broy, M., Huβmann, H., Schätz, B.: Formal Development of Consistent System Specifications. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol. 1051, pp. 248–267. Springer, Heidelberg (1996)
Biere, A.: Effiziente Modellprüfung des μ-Kalküls mit binären Entscheidungsdiagrammen. PhD thesis, Universität Karlsruhe (1997)
Broy, M., Merz, S., Spies, K. (eds.): Dagstuhl Seminar 1994. LNCS, vol. 1169. Springer, Heidelberg (1996)
Broy, M., Merz, S., Spies, K.: The RPC-Memory Speciication Problem: A Synopsis. In: [BMS96a], pp. 5–20 (1996)
Breitling, M.: Formalizing and Verifying TimeWarp with Focus. SFB- Bericht 342/27/97 A, Technische Universität München (1997)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.1 (1997)
Broy, M.: A Functional Rephrasing of the Assumption/Commitment Specification Style. Technical Report TUM-I9417, Technische Universität München (1994)
Broy, M., Stølen, K.: FOCUS on System Development - A Method for the Development of Interactive Systems (1997) Manuscript
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development - The FUSION Method. Prentice Hall, Englewood Cliffs (1994)
Craigen, D., Gerhart, S., Ralston, T.: Formal Methods Reality Check: Industrial Usage. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, pp. 250–267. Springer, Heidelberg (1993)
Downs, E., Clare, P., Coe, I.: Structured Systems Analysis and Design Method: Application and Context. Prentice-Hall, Englewood Cliffs (1992)
Deifel, B., Hinkel, U., Paech, B., Scholz, P., Thurner, V.: Die Praxis der Softwareentwicklung: Eine Erhebung (1998) (Submitted to publication)
France, R.B., Bruel, J.-M.: Integrated Informal Object-Oriented and Formal Modeling Techniques. In: Kilov, H., Rumpe, B. (eds.) Proceedings ECOOP 1997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Technische Universität München, TUM-I9725 (1997)
Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)
Grosu, R., Klein, C., Rumpe, B.: Enhancing the SysLab System Model with State. TUM-I 9631, Technische Universität München (1996)
Grosu, R., Klein, C., Rumpe, B., Broy, M.: State Transition Diagrams. TUM-I 9630,Technische Universität München (1996)
Grosu, R., Rumpe, B.: Concurrent Timed Port Automata. TUM-I 9533, Technische Universität München (1995)
Huber, F., Molterer, S., Schätz, B., Sltosch, O., Vilbig, A.: Traffic Lights - An AutoFocus Case Study. In: International Conference on Application of Concurrency to System Design. IEEE CS Press, Los Alamitos (1998)
Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of Statecharts. In: Proceedings on the Symposium on Logic in Computer Science, pp. 54–64 (1987)
Huber, F., Schätz, B.: Rapid Prototyping with AutoFocus. In: Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.) Formale Beschreibungstech-niken für verteilte Systeme, GI/ITG Fachgespräch 1997, pp. 343–352. GMD Verlag, St. Augustin (1997)
Huber, F., Schätz, B., Spies, K.: AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. In: Herzog, U., Hermanns, H. (eds.) Formale Beschreibungstechniken für verteilte Systeme, pp. 165–174, Universität Erlangen-Nürnberg (1996); Arbeitsberichte des Insituts für mathematische Maschinen und Datenverarbeitung, Bd.29, Nr. 9.
Huβmann, H. (ed.): Formal Foundations for Software Engineering Methods. LNCS, vol. 1322. Springer, Heidelberg (1997)
i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate (1990)
International Telecommunication Union, Geneva. Message Sequence Charts, ITU-T Recommendation Z.120 (1996)
Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley, Reading (1992)
Jackson, M.: The World and the Machine. In: ICSE-17, pp. 283–294 (1995)
Jones, M.P.: An Introduction to Gofer, Manual (1993)
Klein, C., Rumpe, B., Broy, M.: A Stream-based Mathematical Model for Distributed Information Processing Systems - SysLab system model. In: Naijm, E., Stefani, J.-B. (eds.) FMOODS 1996 Formal Methods for Open Object-based Distributed Systems, pp. 323–338 (1996); ENST France Telecom (1996)
Nazareth, D., Regensburger, F., Scholz, P.: Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universität München (1996)
Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Veriication System. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607. Springer, Heidelberg (1992)
Paulson, L.C.: Isabelle: A generic theorem prover. LNCS, vol. 828. Springer, Heidelberg (1994)
Paech, B., Rumpe, B.: A New Concept of Reinement Used or Behaviour Modelling with Automata. In: Naftalin, M., Bertrán, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873. Springer, Heidelberg (1994)
Paech, B., Rumpe, B.: State Based Service Description. In: Derrick, J. (ed.) Formal Methods for Open Object-based Distributed Systems. Chapman-Hall, Boca Raton (1997)
Philipps, J., Rumpe, B.: Reinement of Information Flow Architectures. In: Hinchey, M. (ed.) ICFEM 1997 Proceedings, Hiroshima, Japan. IEEE CS Press, Los Alamitos (1997)
Philipps, J., Rumpe, B.: Stepwise Reinement of Data Flow Architectures. In: Broy, M., Denert, E., Renzel, K., Schmidt, M. (eds.): Software Architectures and Design Patterns in Business Applications. Technische Universität München, TUM-I9746 (1997)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)
Regensburger, F.: HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universität München (1994)
Rumpe, B., Klein, C.: Automata Describing Object Behavior, pp. 265–287. Kluwer Academic Publishers, Norwell (1996)
Rumpe, B.: Formal Method for the Development of Distributed Object- Oriented Systems. Herbert Utz Verlag Wissenschaft, PhD thesis, Technische Universität München (1996) (in German)
Stølen, K., Dederichs, F., Weber, R.: Specification and Refinement of Networks of Asynchronously Communicating Agents using the Assumption/Commitment Paradigm. Formal Aspects of Computing (1995)
Selic, B., Gulkeson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Chichester (1994)
Spies, K.: Funktionale Spezifikation eines Kommunikationsprotokolls. SFB-Bericht 342/08/94 A, Technische Universität Müchen (May 1994)
Spies, K.: Eine Methode zur formalen Modellierung von Betriebssys-temkonzepten. PhD thesis, Technische Universität Müchen (1998)
Suchman, L. (ed.): Special Issue on Representations of Work. In: CACM, vol. 38(9) (1995)
Turner., K.J. (ed.): Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. John Wiley & Sons, Chichester (1993)
Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Reading (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M., Huber, F., Paech, B., Rumpe, B., Spies, K. (1998). Software and System Modeling Based on a Unified Formal Semantics. In: Broy, M., Rumpe, B. (eds) Requirements Targeting Software and Systems Engineering. RTSE 1997. Lecture Notes in Computer Science, vol 1526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10692867_2
Download citation
DOI: https://doi.org/10.1007/10692867_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65309-7
Online ISBN: 978-3-540-49439-3
eBook Packages: Springer Book Archive