Formally Modeling Software Architectures with the UML 2.0 Profile

Paper written by Flavio Oquendo
Presented by Ernesto Medina

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