1 / 15

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. Introduction to π -ADL. Supported Elements Components Connectors Composition. Components. Consist of: Ports (external)

adempster
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. Introduction to π-ADL • Supported Elements • Components • Connectors • Composition

  3. 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)

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

  5. Composition

  6. π-ADL syntax Value Types Base Types

  7. π-ADL syntax-2 Constructed Types

  8. π-ADL syntax-3 Behaviors

  9. π-ADL syntax-4 Architecture

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

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

  12. Examples from Case Study

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

  14. Examples from Case Study -3

  15. Examples from Case Study -4

More Related