Skip to main content
SpringerLink
Log in
Book cover

Conquering Complexity pp 309–372Cite as

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

  • Chapter

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Both architecture and component errors can be a result of an invalid specification and an incorrect implementation. This distinction touches the difference between validation and verification.

References

  1. Abadi, M., Lamport, L.: The existence of refinement mappings. Tech. rep., Digital Systems Research Center, SRC Report 29 (1988)

    Google Scholar 

  2. Abadi, M., Lamport, L.: Composing specifications. Tech. rep., Digital Systems Research Center, SRC Report 66 (1990)

    Google Scholar 

  3. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1997)

    Google Scholar 

  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. Broy, M.: The ‘grand challenge’ in informatics: engineering software-intensive systems. IEEE Comput. 39(10), 72–80 (2006)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  7. Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010)

    Article  Google Scholar 

  8. Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193–1214 (2010)

    Article  MATH  Google Scholar 

  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. Broy, M.: Verifying of interface assertions of infinite state mealy machines (2011). To appear.

    Google Scholar 

  11. Broy, M., Huber, F., Schätz, B.: Autofocus – ein werkzeugprototyp zur entwicklung eingebetteter systeme. Inform. Forsch. Entwickl. 14(3), 121–134 (1999)

    Article  Google Scholar 

  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. Broy, M., Möller, B., Pepper, P., Wirsing, M.: Algebraic implementations preserve program correctness. Sci. Comput. Program. 7(1), 35–53 (1986)

    Article  MATH  Google Scholar 

  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. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)

    MATH  Google Scholar 

  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. Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Form. Asp. Comput. 17(1), 1–18 (2005)

    Article  MATH  Google Scholar 

  18. Jacobson, I.: Use cases and aspects-working seamlessly together. J. Object Technol. 2(4), 7–28 (2003)

    Article  Google Scholar 

  19. Leavens, G.T., Sitaraman, M. (eds.): Foundations of Component-Based Systems. Cambridge University Press, New York (2000)

    MATH  Google Scholar 

  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)

    Article  Google Scholar 

  21. Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE Trans. Softw. Eng. 21, 356–372 (1995)

    Article  Google Scholar 

  22. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL—A Proof Assistant for Higher-Order Logic, LNCS, vol. 2283. Springer, Berlin (2002)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  25. Spichkova, M.: Refinement-based verification of interactive real-time systems. Electron. Notes Theor. Comput. Sci. 214, 131–157 (2008)

    Article  Google Scholar 

  26. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002)

    Google Scholar 

Download references

Acknowledgements

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.

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, München, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manfred Broy .

Editor information

Editors and Affiliations

  1. Lero, Irish Software Eng Research Ctr, University of Limerick, Limerick, Ireland

    Mike Hinchey

  2. Lero, International Science Centre, University of Limerick, Limerick, Ireland

    Lorcan Coyle

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this chapter

Cite this chapter

Broy, M. (2012). Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation. In: Hinchey, M., Coyle, L. (eds) Conquering Complexity. Springer, London. https://doi.org/10.1007/978-1-4471-2297-5_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2297-5_14

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-2296-8

  • Online ISBN: 978-1-4471-2297-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation