Paper written by Flavio Oquendo
Presented by Ernesto Medina






Introduction to π-ADL
UML 2.0 Profile for π-ADL
Examples from case study
Tool sets
Questions
Group Exercise

Supported Elements



Components
Connectors
Composition
Consist of:
 Ports (external)
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)

Special Purpose Components



Ports
Internal Behavior
Manage component interaction
Value Types
Base Types
Constructed Types
Behaviors
Architecture

Stereotype Icons

Behavior
States
 Transitions
 Sequence Behavior
 Choice
 Replicated
 Restricted
 Recursive
 Composed

UML Icon
Display
UML Decoration
Display
π-ADL



π-ADL visual modeling tool
π-ADL verification tool
π-ADL-to-Code synthesizer

π-ADL-to-Java code generation tool

The handout contains π-ADL syntax and the description of a
Pipe connection, Filter component, and Generator
component for software that computes primes. The task is
to define the overall architecture using π-ADL syntax. Then
create a UML 2.0 icon and decoration display for the overall
architecture
Here is the syntax to get you started:
architecture ComputingPrimes is abstraction(n, eos : Natural){
}