Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL
date post
06-Jan-2016Category
Documents
view
21download
1
Embed Size (px)
description
Transcript of Formally Modeling Software Architectures with the UML 2.0 Profile for π -ADL
Paper written by Flavio OquendoPresented by Ernesto Medina
Introduction to -ADLUML 2.0 Profile for -ADLExamples from case studyTool setsQuestionsGroup Exercise
Supported ElementsComponentsConnectorsComposition
Consist of:Ports (external)Connections between component and environmentInterface to environmentProtocols can be enforced hereInternal behaviorSend or Receive values via connections (output, input, or input-output)
Special Purpose ComponentsPortsInternal BehaviorManage component interaction
Value TypesBase Types
Constructed Types
Behaviors
Architecture
Stereotype Icons
BehaviorStatesTransitionsSequence BehaviorChoiceReplicatedRestrictedRecursiveComposed
UML Icon DisplayUML 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){
}
Problem?Solution?Approach?
***
Connections :basic interaction point provide communication channel between two architecture elements
**Architectures are collections of composite elementsArchitectures can form composite components in another architecture
**Who knows what architecture this is?
Client/Server*