1 / 19

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

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.

amos
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formally Modeling Software Architectures with the UML 2.0 Profile for π-ADL Paper written by Flavio Oquendo Presented by Ernesto Medina

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

  3. Introduction to π-ADL • Supported Elements • Components • Connectors • Composition

  4. Components 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)

  5. Connectors • Special Purpose Components • Ports • Internal Behavior • Manage component interaction

  6. Composition

  7. π-ADL syntax Value Types Base Types

  8. π-ADL syntax-2 Constructed Types

  9. π-ADL syntax-3 Behaviors

  10. π-ADL syntax-4 Architecture

  11. UML 2.0 Profile for π-ADL • Stereotype Icons

  12. UML 2.0 Profile for π-ADL -2 • Behavior • States • Transitions • Sequence Behavior • Choice • Replicated • Restricted • Recursive • Composed

  13. Examples from Case Study

  14. Examples from Case Study-2 UML Icon Display UML Decoration Display π-ADL

  15. Examples from Case Study -3

  16. Examples from Case Study -4

  17. Tool sets • π-ADL visual modeling tool • π-ADL verification tool • π-ADL-to-Code synthesizer • π-ADL-to-Java code generation tool

  18. Questions?

  19. Group Exercise • 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){ }

More Related