Modular hierarchical modeling as basis of software and system development;Modulare Hierarchische Modellierung als Grundlage der Software- und Systementwicklung

Informatik-Spektrum

Volumn 30, Issue 1, 2007, Pages 3-18

  Broy, Manfred ^a   Rumpe, Bernhard ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT PROCESS; EMBEDDED SOFTWARE SYSTEMS; ENGINEERING DISCIPLINES; HIERARCHICAL DECOMPOSITIONS; INTERNAL INTERFACES; MATHEMATICAL THEORY; MODEL BASED DEVELOPMENT; THEORETICAL FOUNDATIONS;

ABSTRACTING; AIRCRAFT CONTROL; AUTOMATION; CONCRETES; MODULAR CONSTRUCTION; SOFTWARE ARCHITECTURE; SYNTACTICS;

PROCESS CONTROL;

EID: 33846650719     PISSN: 01706012     EISSN: 1432122X     Source Type: Journal    
DOI: 10.1007/s00287-006-0124-6     Document Type: Article

References (49)

1. AutoFocus Webseite, http://autofocus.in.tum.de (2005)
2. AutoFocus 2 - Webseite, http://www4.in.tum.de/~af2/ (2006)
3. AutoRAID - Webseite, http://www4.in.tum.de/~autoraid/ (2005)
4. 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., Nicki, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer (1985)
5. Bauer, A., Broy, M., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: Auto-MoDe-Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE 2005 World Congress, Detroit, MI, Society of Automotive Engineers (2005)
6. Breu, R., Grosu, R., Huber, F., Rumpe, B., Schwerin, W.: Systems, Views and Models of UML. In: Schader, M., Korthaus, A. (eds.) The Unified Modeling Language, Technical Aspects and Applications. Heidelberg: Physica (1998)
7. Broy, M.: Interaction Refinement - The Easy Way. In: Broy, M. (ed.) Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118 (1993)
8. Broy, M., Hofmann, C., Krüger, I., Schmidt, M.: A Graphical Description Technique for Communication in Software Architectures. In: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC '97/ICSC'97) (1997)
9. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)
10. Broy, M., Huber, F., Schätz, B.: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. IFE-AF (1999)
11. Broy, M., Breu, R., Huber, F., Krüger, I., Rumpe, B., Schwerin, W.: Methodik, Sprachen und Grundlagen des Software Engineering - Abschlußbericht des Forschungslabors SysLab. Informatik Forsch. Entw. 16(1), 53-59 (2001)
12. Broy, M.: Modeling Services and Layered Architectures. In: König, H., Heiner, M., Wolisz, A. (eds.) Formal Techniques for Networked and Distributed Systems. LNCS 2767, Berlin: Springer (2003)
13. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Techniques, and Applications. Addison-Wesley (2000)
14. Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond. Series: The SEI Series in Software Engineering. Addison-Wesley Professional (2002)
15. Chen, P.: The Entity-Relationship Model - Toward a Unified View on Data. ACM Trans. Database Syst. 1(1) (1976)
16. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13, 377-387 (1970)
17. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications I. Berlin: Springer (1985)
18. Filman, R., Elrad, T., Clarke, S., Aksit, M.: Aspect-Oriented Software Development Addison-Wesley Professional (2004)
19. Grosu, R., Klein, C., Rumpe, B., Broy, M.: State Transition Diagrams. Technical report TUM-19630, Technische Universität München (1996)
20. Grosu, R., Rumpe, B.: Concurrent Timed Port Automata. Technical report TUM-19533, Technische Universität München (1995)
21. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8, 231-274 (1987)
22. Harel, D., Rumpe, B.: Meaningful Modeling: What's the Semantics of "Semantics"? Computer 37(10), 64-72 (2004)
23. Hasselbring, W., Reussner, R.: Handbuch der Software-Architektur. dPunkt (2006)
24. Herzberg, D., Broy, M.: Modeling Layered Distributed Communication Systems. Formal Aspects of Computing, No. 17, Springer (2005)
25. Klein, C., Rumpe, B., Broy, M.: A stream-based mathematical model for distributed information processing systems - SysLab system model -. In: Proceedings of the first International Workshop on Formal Methods for Open Object-based Distributed Systems. Chapman-Hall (1996)
26. Klein, C., Prehofer, C., Rumpe, B.: Feature Specification and Refinement with State Transition Diagrams. In: Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems. Dini, P. (Ed.) IOS-Press (1997)
27. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES'98, Kluwer (1999)
28. Parnas, D.: On the criteria to be used to decompose systems into modules. Commun. ACM 15, 1053-1058 (1972)
29. Philipps, J., Rumpe, B.: Refinement of Information Flow Architectures, ICFEM'97 (1997)
30. Philipps, J., Rumpe, B.: Refinement of Pipe And Filter Architectures. Formal Methods'99, LNCS 1708. Springer (1999)
31. Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. New York: Wiley (1994)
32. Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Wissenschaft (1996)
33. Rumpe, B.: Model-Based Testing of Object-Oriented Systems. In: de Boer, F., Bonsangue, M., Graf, S., de Roever, W.-P. (Eds.) Formal Methods for Components and Objects. International Symposium, FMCO 2002. Leiden, November 2002. Revised Lectures. LNCS 2852, Springer (2003)
34. Rumpe, B.: Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring. Springer (2004)
35. Rumpe, B.: Modellierung mit UML - Sprache, Konzepte und Methodik. Springer (2004)
36. Stachowiak, H.: Allgemeine Modelltheorie. Wien: Springer (1973)
37. Stauner, T., Rumpe, B., Scholz, P.: Hybrid System Model. Technical Report TUM-19903, Technische Universität München (1999)
38. Broy, M., Facchi, C., Grosu, R.., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, R., Stolen, K.: The Requirement and Design Specification Language SPECTRUM. Technische Universität München, Institut für Informatik, TUM-19140, Oktober (1991)
39. Thurner, V.: Formal fundierte Modellierung von Geschäftsprozessen. Dissertation, Technischen Universität München, Fakultät für Informatik (2004)
40. OMG. The UML Standard Version 2.1 (2006)
41. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications I. Berlin: Springer (2005)
42. Astesiano, E., Bidoit, M., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: The {Common Algebraic Specification Language. J. Theor. Comput. Sci. 286(2), 153-196 (2002)
43. Abrial, J.-R.: The B-book. Assigning Programs to Meanings. Cambridge University Press (1996)
44. Spivey, J.: Understanding Z. Cambridge University Press (1988)
45. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL. Springer (2002)
46. Milner, R.: Communication and Concurrency. Prentice Hall (1989)
47. Hoare, A.: Communicating Sequential Processes. Prentice Hall (1985)
48. Milner, R.: A calculus of communicating systems. Springer (1980)
49. Börger, E., Stärk, R.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer (2003)