Paper written by Flavio Oquendo Presented by Ernesto Medina.

19
Paper written by Flavio Oquendo Presented by Ernesto Medina

Transcript of Paper written by Flavio Oquendo Presented by Ernesto Medina.

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){

}