Analysis and synthesis of interactive component and connector systems

En savoir plus sur le livre

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