2. 1 Dynamic Assembly, Assessment, Assurance, and Adaptation via Heterogeneous Software Connectors Nenad Medvidovic with Marija Rakic and Barry Boehm University of Southern California Santa Fe, September 12, 2000

3. 2 Overview ADL-based architectural modeling – C2SADEL explicit components and connectors stylistic constraints message-based interaction Tool-supported architectural analysis – SAAGE, UML/Analyzer, and AAA topological constraints component interfaces and behaviors non-functional properties refinement into design implementation generation Infrastructure for architectural prototyping, implementation, execution, and runtime manipulation

4. 3 Flexible Gauge Placement and Visualization Allow dynamic, automated or user-initiated gauge placement and architecture visualization. Goal Treat gauges as first-class architectural entities that can be inserted at arbitrary locations and times in an architecture. Method Light-weight, flexible, extensible architecture prototyping and/or implementation infrastructure. Explicit treatment of components, connectors, ports, events... Hierarchical application of architectural concepts on complex components and connectors. Light-weight, flexible, extensible architecture prototyping and/or implementation infrastructure. Explicit treatment of components, connectors, ports, events... Hierarchical application of architectural concepts on complex components and connectors. Technical Basis Comp2 Comp1 Comp3 Conn1 Arch1 GaugeViewer spawn request user request notify

5. 4 Gauges in Action: Detecting Component Mismatch Comp1 provides opY pre: P Y post: Q Y Comp2 provides opZ pre: P Z post: Q Z Comp3 requires opX pre: P X post: Q X “opX”  “opY”   (P X  P Y )   (Q Y  Q X ) (P X  P Z )  (Q Z  Q X )

6. 5 Gauges in Action: Integrating OTS Components Gauges to measure functional suitability of a partially modeled component to an architecture interface match behavior match interaction match Partial Architecture OTS Component Library

7. 6 Gauges to measure different aspects of new component versions: correctness performance robustness reliability of the new version w.r.t. the old version Gauges in Action: Reliable Upgrade of Components

8. 7 Gauges in Action: Ensuring Consistency among Heterogeneous Semantic Models Component Static modeling (e.g., invariants and pre-/post- conditions) Dynamic modeling(e.g., statecharts or CSP)

9. 8 Gauges in Action: Measuring Shared Properties of Heterogeneous Connectors Properties of connectors influence the properties of large, distributed systems Throughput Load Security Reliability Performance

10. 9

11. 10 Technologies: Implementation Infrastructure – Supports explicit components and connectors – Aids transition between architecture and its implementation – Allows arbitrary insertion of gauges to monitor different aspects of an application at runtime Lightweight and extensible –Version for embedded devices – extremely lightweight, supports distributed applications, multiple address spaces

12. 11 Mapping from C2SADEL to UML Goal: Couple UML with ADLs to Enable Round-Trip Architecture-Based Software Engineering

13. 12 Technologies: SAAGE Integrated environment for transforming C2-style architectures into UML

14. 13 SAAGE Screenshot

15. 14 Technologies: UML/Analyzer

16. 15 Technologies: AAA

17. 16 Collaboration UCI: C2 – component/connector based style UCI: ArchStudio – dynamic architecture manipulation UCI/CU: Ménage – versioned architectural artifacts CU: Software Dock – distributed resource configuraion and deployment Under exploration Columbia/WPI (Kaiser/Heineman) ISI (Neches) Teknowledge (Balzer/Wile)

18. 17 Gauges to measure different aspects of new component versions Measuring functional suitability of COTS components to an architecture Ensuring consistency among heterogeneous semantic models of a component Measuring shared properties of heterogeneous connectors Reliable upgrading of software components (without losing the functionality of the old version) Assessing suitability of COTS components to the given system Identifying mismatches before the system is built and deployed will save both time and effort in the long run Properties of connectors influence the properties of large, distributed systems (1,2,3) Gauges to measure the functional suitability of a partially modeled component to an architecture (4) Gauges for determining design- and integration- time development risks based on the non-functional properties of interacting components (5) Gauges to measure the consistency between heterogeneous semantic models of a component (6,7,8) Gauges to measure different aspects of new component versions (9,10,11,12) Gauges for measuring shared properties of heterogeneous connectors USC gauges New Ideas Impact Schedule user request ImpactSchedule Comp2 Comp1 Comp3 Conn1 notifyArch1 GaugeViewer spawn request