1. Paper written by Flavio Oquendo Presented by Ernesto Medina
Formally Modeling Software Architectures with the UML 2.0 Profile for π-ADL
Problem?
Solution?
Approach?
Paper written by Flavio Oquendo
Presented by Ernesto Medina

2. Introduction to π-ADL Supported Elements Components Connectors
Composition

3. Components Consist of: Ports (external) Internal behavior
Connections between component and environment
Interface to environment
Protocols can be enforced here
Internal behavior
Send or Receive values via connections (output, input, or input-output)
Connections :basic interaction point
provide communication channel between two architecture elements

4. Connectors Special Purpose Components Manage component interaction
Ports
Internal Behavior
Manage component interaction

5. Composition Architectures are collections of composite elements
Architectures can form composite components in another architecture

6. π-ADL syntax
Value Types
Base Types

7. π-ADL syntax-2
Constructed Types

8. π-ADL syntax-3
Behaviors

9. π-ADL syntax-4
Architecture

10. UML 2.0 Profile for π-ADL
Stereotype Icons

11. UML 2.0 Profile for π-ADL -2 Behavior States Transitions
Sequence Behavior
Choice
Replicated
Restricted
Recursive
Composed

12. Examples from Case Study
Who knows what architecture this is?
Client/Server

13. Examples from Case Study-2
UML Icon Display
UML Decoration Display
π-ADL

14. Examples from Case Study -3

15. Examples from Case Study -4