Lecture26: Modern ADLs

• Lecture 26: Architecture Description Languages .
• Talk outline: .
• Three ideas to take away .
• Typical Descriptions of Software Architectures .
• Software Architecture .
• Architectural Design Reviews .
• Why ADL's ? .
• Basic ADL Requirements .
• What can we do today? (In Research Prototypes) .
• Architectural Structure: Acme .
• Acme Core Structural Language .
• Acme Core Structural Syntax .
• Simple-cs System .
• Acme Properties .
• Acme Representations .
• Acme Types .
• Acme Property Types .
• Acme Element Types .
• Acme's Elements of Style .
• Acme Styles .
• Beyond Architectural Structure .
• What can we do today? (In Research Prototypes) .
• Analyzing Architectural Instances .
• Analysis: Consistency and Completeness .
• Analysis: System-Wide Properties .
• Analysis: Refinement & Verification .
• Analysis: Evaluating Design Choices .
• Style-Based Analyses .
• Style Analysis: Theorems .
• Style Analysis: Specialization .
• Style Analysis: Translation .
• Style Analysis: Selection .
• ADL Capabilities on the Horizon .
• Some ADLs at a Glance .
• Dimensions of Variability .
• Aesop .
• Generating Style-Specific Environments in Aesop .
• UniCon .
• UniCon Component and Connector Types .
• W RIGHT .
• Darwin .
• Meta -H (Honeywell) .
• Rapide .
• Summary .
• Transition to scrapyard .
• Resolving Multiple Views .
• Detecting and Fixing Architectural Mismatch .
• Architectural Interchange & ADL-neutral Tools .
• Acme.
• Acme Styles: Families of Systems.
• Why First-Class Connectors?.

Back

Heather L. Marko

Modified: 5/13/98