Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation
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.
KeywordsState Machine Temporal Logic Context Model Output Channel Interface Behavior
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.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
- 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
- 12.Broy, M., Krüger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007) 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
- 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
- 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.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
- 26.Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002) Google Scholar