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?
.
© 1998 Carnegie Mellon Computer Science
Back
Heather L. Marko
Modified: 5/13/98