Jan Oliver RingertAnalysis and Synthesis of Interactive Component and Connector Systems | |||||||
| |||||||
ISBN: | 978-3-8440-3120-1 | ||||||
Reihe: | Aachener Informatik-Berichte, Software Engineering Herausgeber: Prof. Dr. rer. nat. Bernhard Rumpe Aachen | ||||||
Band: | 19 | ||||||
Schlagwörter: | component and connector model; component and connector view; automata; refinement; model-based; synthesis; analysis; verification; structure; behavior; logical architecture; MontiCore; distributed systems; interactive systems | ||||||
Publikationsart: | Dissertation | ||||||
Sprache: | Englisch | ||||||
Seiten: | 476 Seiten | ||||||
Abbildungen: | 160 Abbildungen | ||||||
Gewicht: | 714 g | ||||||
Format: | 24,0 x 17,0 cm | ||||||
Bindung: | Paperback | ||||||
Preis: | 44,00 € | ||||||
Erscheinungsdatum: | Dezember 2014 | ||||||
Kaufen: | |||||||
Weiterempfehlung: | Sie möchten diesen Titel weiterempfehlen? | ||||||
Rezensionsexemplar: | Hier können Sie ein Rezensionsexemplar bestellen. | ||||||
Verlinken: | Sie möchten diese Seite verlinken? Hier klicken. | ||||||
Export Zitat: |
|
||||||
Zusammenfassung: | The development of distributed interactive hard- and software systems is a challenging endeavor. Component and connector (C&C) architecture descriptions address the complexity of interactive systems by formalizing the logical and physical decomposition of systems into subsystems. C&C descriptions model components with well-defined interfaces and component interaction via connectors.
Current modeling languages and specification mechanisms rely on the traditional, implementation-oriented hierarchical decomposition of systems into subsystems. We are developing modeling languages and methods that crosscut these boundaries and allow to capture the partial knowledge available to different stakeholders involved in a system's design. Usage scenarios include formalizing crosscutting knowledge about the C&C structure of the system, specifying behavior and interaction, and providing a model-based implementation for code generation and deployment. We present a language to describe design decisions and knowledge available about a system's decomposition in partial C&C views. This language is based on C&C modeling languages and adds powerful abstraction mechanisms for hierarchical containment, connectedness, and interfaces. C&C views may specify valid, invalid, alternative, and dependent designs. Our analysis methods can verify whether a C&C model satisfies a C&C view. We have also developed a synthesis method to automatically compute a satisfying C&C model for a given specification, if one exists. To describe the interaction behavior of components, we have developed a modeling language for automata that are embedded in components and interact by sending and receiving messages via the components' typed input and output ports. This language has various mechanisms for underspecification of component behavior. We have developed tool support to verify the implementation of components and component compositions against underspecified models. The verification enables incremental development of component behavior based on stepwise refinement. We also present a code generation framework for the educational Lego NXT robotics platform to demonstrate an application of our work in the robotics domain. Prototype implementations and evaluation in a user study, a case study, and over example systems show promising results towards a comprehensive model-based development environment for interactive component and connector systems. | ||||||
» Weitere Titel von Jan Oliver Ringert. |