Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL

19
Paper written by Flavio Oquendo Presented by Ernesto Medina

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 Presentation

Transcript of Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL

Page 1: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Paper written by Flavio OquendoPresented by Ernesto Medina

Page 2: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Introduction to π-ADL UML 2.0 Profile for π-ADL Examples from case study Tool sets Questions Group Exercise

Page 3: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Supported Elements Components Connectors Composition

Page 4: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

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)

Page 5: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Special Purpose Components Ports Internal Behavior

Manage component interaction

Page 6: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL
Page 7: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Value Types

Base Types

Page 8: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Constructed Types

Page 9: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Behaviors

Page 10: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Architecture

Page 11: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Stereotype Icons

Page 12: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

Behavior States Transitions Sequence

Behavior Choice Replicated Restricted Recursive Composed

Page 13: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL
Page 14: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

UML Icon Display

UML Decoration Display

π-ADL

Page 15: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL
Page 16: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL
Page 17: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

π-ADL visual modeling tool π-ADL verification tool π-ADL-to-Code synthesizer

π-ADL-to-Java code generation tool

Page 18: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL
Page 19: Formally Modeling Software Architectures with the UML 2.0 Profile for  π -ADL

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

}