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.