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

Introduction to π-ADL Supported Elements Components Connectors Composition

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

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

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

π-ADL syntax Value Types Base Types

π-ADL syntax-2 Constructed Types

π-ADL syntax-3 Behaviors

π-ADL syntax-4 Architecture

UML 2.0 Profile for π-ADL Stereotype Icons

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

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

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

Examples from Case Study -3

Examples from Case Study -4