Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation

  • Manfred BroyEmail author


This chapter outlines a comprehensive integrated approach to the structured modeling, specification, design, and implementation of discrete systems that offer a variety of functions for different purposes and use cases and that are implemented by a network of distributed components operating concurrently, partly in a real time mode. It introduces a theory and first concepts of an engineering methodology for the structured modeling in terms of formal specification, design, and model-based implementation by state machines. The key is the integration of the three views: interface, architecture, and state view and their seamless integrated usage in model based system development comprising functional specification, architecture design, and implementation. For functional specification, a context model and a function hierarchy describe the functionality of multifunctional systems in a structured way. Modes help to specify feature interactions and functional dependencies between functions. Logical component architectures serve for the hierarchical design of systems. Networks of sub-systems called components describe architectures. The behavior of the components as part of the architecture is captured by interface specifications.


State Machine Temporal Logic Context Model Output Channel Interface Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



Many members of our Munich software & systems engineering working group have contributed to the material of this chapter. In particular, Sebastian Eder and Andreas Vogelsang have helped with the screenshots and by careful reading draft version and giving feedback. Thanks go to Georg Hackenberg for careful proof reading. Moreover, it is a pleasure to thank Bernhard Rumpe and Alex Pretschner for helpful comments.


  1. 1.
    Abadi, M., Lamport, L.: The existence of refinement mappings. Tech. rep., Digital Systems Research Center, SRC Report 29 (1988) Google Scholar
  2. 2.
    Abadi, M., Lamport, L.: Composing specifications. Tech. rep., Digital Systems Research Center, SRC Report 66 (1990) Google Scholar
  3. 3.
    Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1997) Google Scholar
  4. 4.
    Broy, M.: Compositional refinement of interactive systems. Tech. rep., DIGITAL Systems Research Center, SRC 89 (1992). Also in: J. ACM 44(6), 850–891 (1997) Google Scholar
  5. 5.
    Broy, M.: The ‘grand challenge’ in informatics: engineering software-intensive systems. IEEE Comput. 39(10), 72–80 (2006) CrossRefGoogle Scholar
  6. 6.
    Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. Innovations Syst. Softw. Eng. 3, 75–102 (2007) CrossRefGoogle Scholar
  7. 7.
    Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010) CrossRefGoogle Scholar
  8. 8.
    Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193–1214 (2010) CrossRefzbMATHGoogle Scholar
  9. 9.
    Broy, M.: Towards a theory of architectural contracts: schemes and patterns of assumption/promise based system specification. Marktoberdorf Summer School (2010) Google Scholar
  10. 10.
    Broy, M.: Verifying of interface assertions of infinite state mealy machines (2011). To appear. Google Scholar
  11. 11.
    Broy, M., Huber, F., Schätz, B.: Autofocus – ein werkzeugprototyp zur entwicklung eingebetteter systeme. Inform. Forsch. Entwickl. 14(3), 121–134 (1999) CrossRefGoogle Scholar
  12. 12.
    Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007) Google Scholar
  13. 13.
    Broy, M., Möller, B., Pepper, P., Wirsing, M.: Algebraic implementations preserve program correctness. Sci. Comput. Program. 7(1), 35–53 (1986) CrossRefzbMATHGoogle Scholar
  14. 14.
    Broy, M., Pretschner, A.: A model based view onto testing: criteria for the derivation of entry tests for integration testing (2011). To appear Google Scholar
  15. 15.
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001) zbMATHGoogle Scholar
  16. 16.
    Calder, M., Magill, E.H. (eds.): Feature Interactions in Telecommunications and Software Systems VI, May 17–19, 2000, Glasgow, Scotland, UK. IOS Press, Amsterdam (2000) Google Scholar
  17. 17.
    Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Form. Asp. Comput. 17(1), 1–18 (2005) CrossRefzbMATHGoogle Scholar
  18. 18.
    Jacobson, I.: Use cases and aspects-working seamlessly together. J. Object Technol. 2(4), 7–28 (2003) CrossRefGoogle Scholar
  19. 19.
    Leavens, G.T., Sitaraman, M. (eds.): Foundations of Component-Based Systems. Cambridge University Press, New York (2000) zbMATHGoogle Scholar
  20. 20.
    Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Trans. Softw. Eng. 21, 336–355 (1995) CrossRefGoogle Scholar
  21. 21.
    Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE Trans. Softw. Eng. 21, 356–372 (1995) CrossRefGoogle Scholar
  22. 22.
    Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL—A Proof Assistant for Higher-Order Logic, LNCS, vol. 2283. Springer, Berlin (2002) zbMATHGoogle Scholar
  23. 23.
    Pretschner, A., Philipps, J.: Methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. LNCS, vol. 3472, pp. 281–291. Springer, Berlin (2005) CrossRefGoogle Scholar
  24. 24.
    Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One evaluation of model-based testing and its automation. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (eds.) 27th International Conference on Software Engineering (ICSE 2005), 15–21 May 2005, St. Louis, Missouri, USA, pp. 392–401. ACM, New York (2005) CrossRefGoogle Scholar
  25. 25.
    Spichkova, M.: Refinement-based verification of interactive real-time systems. Electron. Notes Theor. Comput. Sci. 214, 131–157 (2008) CrossRefGoogle Scholar
  26. 26.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002) Google Scholar

Copyright information

© Springer-Verlag London Limited 2012

Authors and Affiliations

  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations