formally modeling software architectures with the uml 2.0 profile for π -adl
DESCRIPTION
Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL. Paper written by Flavio Oquendo Presented by Ernesto Medina. Outline. Introduction to π -ADL UML 2.0 Profile for π -ADL Examples from case study Tool sets Questions Group Exercise. Introduction to π -ADL. - PowerPoint PPT PresentationTRANSCRIPT
Paper written by Flavio OquendoPresented 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){
}