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
![Page 1: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/1.jpg)
Paper written by Flavio OquendoPresented by Ernesto Medina
![Page 2: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/2.jpg)
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](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/3.jpg)
Supported Elements Components Connectors Composition
![Page 4: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/4.jpg)
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](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/5.jpg)
Special Purpose Components Ports Internal Behavior
Manage component interaction
![Page 6: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/6.jpg)
![Page 7: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/7.jpg)
Value Types
Base Types
![Page 8: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/8.jpg)
Constructed Types
![Page 9: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/9.jpg)
Behaviors
![Page 10: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/10.jpg)
Architecture
![Page 11: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/11.jpg)
Stereotype Icons
![Page 12: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/12.jpg)
Behavior States Transitions Sequence
Behavior Choice Replicated Restricted Recursive Composed
![Page 13: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/13.jpg)
![Page 14: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/14.jpg)
UML Icon Display
UML Decoration Display
π-ADL
![Page 15: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/15.jpg)
![Page 16: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/16.jpg)
![Page 17: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/17.jpg)
π-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](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/18.jpg)
![Page 19: Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL](https://reader035.vdocuments.site/reader035/viewer/2022070404/56813b7d550346895da497cf/html5/thumbnails/19.jpg)
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){
}