Jan Oliver Ringert Livres

This book presents MontiArcAutomaton, a modeling language for architecture and behavior modeling of Cyber-Physical Systems as interactive Component & Connector models. MontiArcAutomaton extends the Architecture Description Language MontiArc with automata to describe component behavior. The modeling language MontiArcAutomaton provides syntactical elements for defining automata with states, variables, and transitions inside MontiArc components. These syntactical elements and a basic set of well-formedness rules provide the syntax for a family of modeling languages for state-based behavior modeling in Component & Connector architectures. We present two concrete language profiles with additional well-formedness rules to model time-synchronous component behavior and untimed, event-driven behavior of components. This book gives an overview of the MontiArcAutomaton language including examples, a language reference, and a context-free grammar for MontiArcAutomaton models. It also provides syntax definition, well-formedness rules, and semantics for two language profiles. We summarize projects and case studies applying MontiArcAutomaton. MontiArcAutomaton is implemented using the DSL framework MontiCore. Available tools include a textual editor with syntax highlighting and code completion as well as a graphical editor and a powerful and extensible code generation framework for target languages including EMF, Java, Mona, and Python.

The development of distributed interactive systems presents significant challenges. Component and connector (C&C) architecture descriptions help manage this complexity through logical and physical decomposition into subsystems. These descriptions model components with defined interfaces and their interactions via connectors. Current modeling relies on traditional hierarchical decomposition, but we propose new modeling languages and methods that transcend these limitations. These approaches formalize crosscutting knowledge among stakeholders regarding the C&C structure, behavior, and interaction. We introduce a language for design decisions concerning system decomposition and connectivity in partial C&C views, enhancing C&C modeling with advanced abstraction mechanisms. An analysis method verifies if a C&C model meets a specific C&C view, while a synthesis method generates a satisfying C&C model for various design scenarios. Additionally, we present a language for automata within components that communicate through message-passing over ports, incorporating mechanisms for underspecification. Tool support is provided to verify the behavior of C&C systems against these underspecified models and to generate executable code, facilitating incremental development through stepwise refinement. Prototype implementations and evaluations through user and case studies demonstrate promising results toward a comprehensive model-based developm