x2 x3 x1 > - Carleton University

The PUMA project
Toqeer A Israr
Transformation of Scenarios
represented in UML 2.0 Sequence
Diagrams to CSM
Toqeer A Israr
Carleton University
introduction to UML 2.0 sequence diagrams
 transformation rules from UML 2.0 to CSM

www.sce.carleton.ca/rads/puma/
29 June 2004
page 1
29 June 2004
page 2
The PUMA project
Toqeer A Israr
Conceptual High Level View
Create Input
Eclipse
Create UML 2.0
model represented
as internal data
structure
XMI
Output
Eclipse
Eclipse
Apply
Profile
Annotated model
with performance
annotations
XMI
Java
Navigate annotated
UML model
Generate CSM
objects(in Java)
XML
29 June 2004
page 3
The PUMA project
Toqeer A Israr
Simple Interaction Diagram
Interaction
Lifeline
Message
sd S
s:CA
t:CB
m1
EventOccurrence
(receiving)
Gate
Event
Occurrence
Event
Occurrence
(sending)
Execution
Occurrence
29 June 2004
page 4
The PUMA project
Toqeer A Israr
Complex Interaction Diagram
sd C
User
ref
:System
EstablishAccess(“Illegal PIN”)
Interaction
Occurrence
CardOut
opt
ref
msg(“Please Enter”)
OpenDoor
Combined
Fragment
29 June 2004
page 5
The PUMA project
Toqeer A Israr
Synchronous message between passive objects
..
.
sd S1
s:CA
..
.
x1’
x1
t:CB
..
.
m1
x2
x1”
Step::x1’
..
.
Seq
Step::x1
Step::x2
Seq
Seq
Step::x1”
..
.
Notation:
Seq
..
.
Step::x1
Step::x2
..
.
Step::x2
..
.
29 June 2004
page 6
The PUMA project
Toqeer A Israr
Synchronous Message between objects
stereotyped <<Paresource>>
sd S2
<<PAresource>>
<<PAresource>>
s:CA
..
.
t:CB
..
.
Processing
Resource::
CPU
Component:
s
..
.
Step::x1
Processing
Resource::
CPU
ResAcq::
m1
x1
Component s was
acquired before x1
Component:
x2
Step:x2
ResRel::
..
.
t
29 June 2004
page 7
The PUMA project
Toqeer A Israr
Asynchronous Message
Step::x1’
sd SA
s:CA
x1’
x1
Fork
t:CB
Step:x1”
Step:x2
m1
x1’’
x2
Step::x1
Fork
..
.
Step:x2
29 June 2004
page 8
The PUMA project
Toqeer A Israr
Asynchronous Message (cont)
sd SA
s:CA
t:CB
Step::x1’
Fork
x1
m1
m2
x2
Step:x2
x3
Step:x3
29 June 2004
page 9
The PUMA project
Toqeer A Israr
Asynchronous message between components
stereotyped <<PAresource>>
sd SA2
<<PAresource>>
<<PAresource>>
s:CA
..
.
t:CB
..
.
x1
Processing
Resource::
CPU
Component:
m1
..
.
Step::x1
s
m2
x2
Component s was
acquired before x1
Fork
Processing
Resource::
CPU
x3
Step:x2
..
.
ResAcq::
Component:
Step:x3
..
.
t
29 June 2004
page 10
The PUMA project
Toqeer A Israr
Interaction Diagram – Combined Fragment
Component s was
acquired before x1
sd CF
s:CA
t:CB
m1
x2
Processing
Resource::
CPU
Component:
s
alt
..
.
Step::x1
ResAcq::
Step::x2
value > 0
m2
ResRel::
x3
x1
ResAcq::
[else]
Branch
Step::x3
m3
x4
ResAcq::
Step::x3
Component:
ResRel::
..
.
t
Processing
Resource::
CPU
ResRel::
..
.
29 June 2004
page 11
The PUMA project
Toqeer A Israr
Interaction Diagram – Interaction Occurrence
..
.
sd IO
Step::x1
s:CA
t:CB
m1
x1
x2
Processing
Resource::
CPU
ResRel::
ResAcq::
Step::x2
ref
Component:
y
s
Processing
Resource::
CPU
ResRel::
ResAcq::
Step::y
..
.
Component:
t
The PUMA project
Toqeer A Israr
29 June 2004
page 12
Status

Accomplished

Created UML 2.0 diagrams in Eclipse



Defined & applied the UML Performance Profile
Work In Progress



programmatic approach using UML2 plug-in
Implementation of the transformation rules from sequence
and deployment diagrams to CSM
Testing / Validation
Future Work

Express the above transformation in MOF QVT, if possible