Integrating Graph Transformations and Modal Sequence Diagrams for - - PowerPoint PPT Presentation

▶
integrating graph transformations and modal sequence
SMART_READER_LITE
LIVE PREVIEW

Integrating Graph Transformations and Modal Sequence Diagrams for - - PowerPoint PPT Presentation

Sep 24, 2022 33 likes •725 views

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems Sabine Winetzhammer 1 , Joel Greenyer 2 and Matthias Tichy 3 1 Chair of Applied Computer Science 1 - Software Engineering, Bayreuth

slide-1
SLIDE 1

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems

Sabine Winetzhammer1, Joel Greenyer2 and Matthias Tichy3

1Chair of Applied Computer Science 1 - Software Engineering, Bayreuth University, Germany 2Software Engineering Group, Leibniz Universit¨

at Hannover, Germany.

3 Software Engineering Division, Chalmers | University of Gothenburg, Sweden.

September 29th, 2014

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (1/15)

slide-2
SLIDE 2

What’s happening...?

assembly1 warehouse1 assembly2 assembly3 transport system control

  • rder item

assign job request access worker1 worker2 warehouse2 robot1 robot2 robot3 :Job

from itemKind assignedTo issueBy to issuedJobs Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

slide-3
SLIDE 3

What’s happening...?

assembly1 warehouse1 assembly2 assembly3 transport system control

  • rder item

assign job request access worker1 worker2 warehouse2 robot1 robot2 robot3 :Job

from itemKind assignedTo issueBy to issuedJobs

Multiple physically distributed mechatronic components Interaction between these components Changes in physical and logical structure

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

slide-4
SLIDE 4

What’s happening...?

assembly1 warehouse1 assembly2 assembly3 transport system control

  • rder item

assign job request access worker1 worker2 warehouse2 robot1 robot2 robot3 :Job

from itemKind assignedTo issueBy to issuedJobs

Multiple physically distributed mechatronic components Interaction between these components Changes in physical and logical structure ⇒ Structurally dynamic (distributed) reactive system

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (2/15)

slide-5
SLIDE 5

Class Diagram

Factory Worker AssemblyStation +orderItem(ik:ItemKind) +itemNotAvailable() StorageManagement +orderItem(ik:ItemKind) TransportSystemControl Robot Warehouse Environment +move(loc:Location) +loadItemOnRobot( r:Robot, ik:ItemKind) Agent Location Job Item ItemKind +createJob(itemKind:ItemKind, fromLoc:Location, toLoc:Location) +name:String +doJob(job:Job) +arrived(newLoc:Location) +loadItem(ik:ItemKind) kind 0..1 0..1 isAt 0..1 isAt 0..n warehouses 0..n controledRobots (container)

... ...

itemKind 0..1 0..1 fromLoc 0..1 carriedItem issued- Jobs 0..n CD FactorySystem 0..1 toLoc issuedBy 0..1 assignedTo 0..1 0..1 transportSystemControl 0..1 created- Job

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (3/15)

slide-6
SLIDE 6

Object System

wh1 tsc j1:Job

ik1

fromLoc itemKind assignedTo issueBy issuedJobs

a1 w

toLoc isAt

r1

tsc:TransportSystemControl j1:Job wh1:Warehouse ik1:ItemKind name = “Valve” a1:AssemblyStation

r1:Robot

isAt fromLoc isAt itemKind issuedBy assignedTo isAt toLoc issuedJobs OS SmallFactory controledRobots w:Worker env:Environment

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (4/15)

slide-7
SLIDE 7

Modal Sequence Diagrams

MSD WorkerOrdersItem w:Worker

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-8
SLIDE 8

Modal Sequence Diagrams

MSD WorkerOrdersItem w:Worker a:AssemblyStation

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-9
SLIDE 9

Modal Sequence Diagrams

MSD WorkerOrdersItem w:Worker a:AssemblyStation

  • rderItem(itemKind)

(c/m)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-10
SLIDE 10

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-11
SLIDE 11

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl createJob(itemKind, fromLoc, a) (h/e)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-12
SLIDE 12

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-13
SLIDE 13

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-14
SLIDE 14

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

Requirements

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-15
SLIDE 15

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

Requirements Assumptions

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-16
SLIDE 16

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

Requirements Assumptions Simple structural changes

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-17
SLIDE 17

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

Requirements Assumptions Simple structural changes & Play-out

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-18
SLIDE 18

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

CUT

Requirements Assumptions Simple structural changes & Play-out

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-19
SLIDE 19

Modal Sequence Diagrams

  • rderItem(itemKind)

a:AssemblyStation sm:StorageManagement

  • rderItem(itemKind)

itemNotAvailable

MSD WorkerOrdersItem

sm := a.factory. storageManagement

w:Worker

(c/m) (h/e) (h/e)

tsc:TransportSystemCtrl

tsc: = sm. transportSystemControl alt createJob(itemKind, fromLoc, a) (h/e) itemNotAvailable (h/e)

CUT

Requirements Assumptions Simple structural changes & Play-out

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (5/15)

slide-20
SLIDE 20

Graph Transformation Rules

GT arrived_a(newLoc:Location) LHS RHS

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-21
SLIDE 21

Graph Transformation Rules

GT arrived_a(newLoc:Location) RHS agent:Agent newloc:Location isAt

  • ldLoc:Location

LHS job:Job assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-22
SLIDE 22

Graph Transformation Rules

GT arrived_a(newLoc:Location) agent:Agent newloc:Location isAt

  • ldLoc:Location

LHS RHS job:Job agent:Agent newloc:Location isAt

  • ldLoc:Location

assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-23
SLIDE 23

Graph Transformation Rules

agent:Agent newloc:Location isAt

  • ldLoc:Location

GT arrived_a(newLoc:Location) LHS RHS GT arrived(newLoc:Location) agent:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++

short-hand notation:

job:Job agent:Agent newloc:Location isAt

  • ldLoc:Location

assignedTo

  • -job:Job
  • -assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-24
SLIDE 24

Graph Transformation Rules

GT arrived_a(newLoc:Location) agent:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-25
SLIDE 25

Graph Transformation Rules

GT arrived_a(newLoc:Location) this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-26
SLIDE 26

Graph Transformation Rules

GT arrived_a(newLoc:Location) NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-27
SLIDE 27

Graph Transformation Rules

GT arrived_a(newLoc:Location)

  • therAgent:Agent

newloc:Location isAt NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-28
SLIDE 28

Graph Transformation Rules

GT arrived_a(newLoc:Location)

  • therAgent:Agent

newloc:Location isAt NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Complex structural changes (as implementation of an operation)

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (6/15)

slide-29
SLIDE 29

Applying Graph Transformation Rules

tsc:TransportSystemControl j1:Job wh1:Warehouse ik1:ItemKind name = “Valve” a1:AssemblyStation r1:Robot isAt fromLoc isAt itemKind issuedBy assignedTo isAt toLoc issuedJobs OS SmallFactory controledRobots w:Worker env:Environment GT arrived_a(newLoc:Location)

  • therAgent:Agent

newloc:Location isAt NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Apply GTR

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (7/15)

slide-30
SLIDE 30

Applying Graph Transformation Rules

tsc:TransportSystemControl j1:Job wh1:Warehouse ik1:ItemKind name = “Valve” a1:AssemblyStation r1:Robot isAt fromLoc isAt itemKind issuedBy assignedTo isAt toLoc issuedJobs OS SmallFactory controledRobots w:Worker env:Environment GT arrived_a(newLoc:Location)

  • therAgent:Agent

newloc:Location isAt NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Pattern Matching

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (7/15)

slide-31
SLIDE 31

Applying Graph Transformation Rules

tsc:TransportSystemControl wh1:Warehouse ik1:ItemKind name = “Valve” a1:AssemblyStation r1:Robot isAt isAt issuedBy isAt OS SmallFactory controledRobots w:Worker env:Environment GT arrived_a(newLoc:Location)

  • therAgent:Agent

newloc:Location isAt NAC this:Agent newloc:Location isAt

  • ldLoc:Location

isAt

  • ++
  • -job:Job
  • -assignedTo

Apply Changes

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (7/15)

slide-32
SLIDE 32

Integration?

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (8/15)

slide-33
SLIDE 33

Integration?

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (8/15)

slide-34
SLIDE 34

Integration?

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (8/15)

slide-35
SLIDE 35

Integration?

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (8/15)

slide-36
SLIDE 36

Concept of Integration

Integration by influence: MSDs and GTRs influence each other!

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (9/15)

slide-37
SLIDE 37

Concept of Integration

Integration by influence: MSDs and GTRs influence each other! Still use GTRs to describe implementations of operations GTRs are executed as side-effects of message events

  • ccurring during a system run

Synchronous execution ⇒ Events trigger GTRs

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (9/15)

slide-38
SLIDE 38

Concept of Integration

Integration by influence: MSDs and GTRs influence each other! Still use GTRs to describe implementations of operations GTRs are executed as side-effects of message events

  • ccurring during a system run

Synchronous execution ⇒ Events trigger GTRs GTRs constrain allowed sequences of events If precondition for applying a GTR is not satisfed ⇒ An inexecutable GTR leads to a safety violation

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (9/15)

slide-39
SLIDE 39

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-40
SLIDE 40

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-41
SLIDE 41

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-42
SLIDE 42

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-43
SLIDE 43

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-44
SLIDE 44

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-45
SLIDE 45

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-46
SLIDE 46

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-47
SLIDE 47

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-48
SLIDE 48

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-49
SLIDE 49

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-50
SLIDE 50

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-51
SLIDE 51

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-52
SLIDE 52

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-53
SLIDE 53

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-54
SLIDE 54

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-55
SLIDE 55

Integration by Example: Order a Robot to Start a Job

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (10/15)

slide-56
SLIDE 56

Integration by Example: Execution

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (11/15)

slide-57
SLIDE 57

Integration by Example: Execution

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (11/15)

slide-58
SLIDE 58

Integration by Example: Execution

GT createJob(ik:ItemKind, from:Location, to:Location):Job this:TransportSystemCtrl ik:ItemKind from:Location to:Location «out» job:Job issuedJobs issuedBy toLoc fromLoc itemKind ++ ++ ++ ++ ++ ++ GT doJob(job:Job) this:Agent job:Job assignedTo ++ sm:StorageManagement MSD OrderRobotToStartJob tsc:TransportSystem

r := tsc.robots->select(...) job = createJob(itemKind, fromLoc, toLoc) (c/m)

r:Robot

doJob(job)

(h/e)

item:Item kind isAt Call

Safety Violation NO Match

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (11/15)

slide-59
SLIDE 59

Integration by Example: Execution

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (11/15)

slide-60
SLIDE 60

Integration by Example: Execution

  • Sabine Winetzhammer (Uni Bayreuth)

Integrating GTRs and MSDs September 29th, 2014 (11/15)

slide-61
SLIDE 61

Tool Interaction

1 5 2 play-out

interprets MSDs based on object model, invokes Xcore operations

specify system's interaction behavior transform UML class model into Ecore create execution

  • bject model

«instance-of»

6 UML-to-Ecore 3 Specify GT-rules based on Ecore class model 4 Derive Xcore implementation

  • f GT-rules

Ecore-to-Xcore

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (12/15)

slide-62
SLIDE 62

Related Work

MechatronicUML:

◮ A design method for self-adaptive mechatronic systems ◮ Interaction is defined by intra-component state machines

⇔ We use inter-component scenario models

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (13/15)

slide-63
SLIDE 63

Related Work

MechatronicUML:

◮ A design method for self-adaptive mechatronic systems ◮ Interaction is defined by intra-component state machines

⇔ We use inter-component scenario models Turning collaboration diagram strips into storycharts

◮ Use a set of simple graph transformation scenarios as input ◮ All similar graph transformations are mapped to a common state in the

state machine

◮ No consideration that the graph transformations can change the object

structure

⇔ The two-folded interaction of GTRs and MSDs is one of our main considerations

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (13/15)

slide-64
SLIDE 64

Related Work

MechatronicUML:

◮ A design method for self-adaptive mechatronic systems ◮ Interaction is defined by intra-component state machines

⇔ We use inter-component scenario models Turning collaboration diagram strips into storycharts

◮ Use a set of simple graph transformation scenarios as input ◮ All similar graph transformations are mapped to a common state in the

state machine

◮ No consideration that the graph transformations can change the object

structure

⇔ The two-folded interaction of GTRs and MSDs is one of our main considerations None of the them rigorously supports the reconfiguration of the participating objects or components at run-time

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (13/15)

slide-65
SLIDE 65

Conclusion

Sound modeling and analysis approach integrating scenario-based specifications using MSDs with graph transformation:

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (14/15)

slide-66
SLIDE 66

Conclusion

Sound modeling and analysis approach integrating scenario-based specifications using MSDs with graph transformation: MSDs support an incremental refinement and extension of the message-based interaction behavior

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (14/15)

slide-67
SLIDE 67

Conclusion

Sound modeling and analysis approach integrating scenario-based specifications using MSDs with graph transformation: MSDs support an incremental refinement and extension of the message-based interaction behavior GTRs offer an easy to understand, declarative, pattern-oriented means for expressing structural change

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (14/15)

slide-68
SLIDE 68

Conclusion

Sound modeling and analysis approach integrating scenario-based specifications using MSDs with graph transformation: MSDs support an incremental refinement and extension of the message-based interaction behavior GTRs offer an easy to understand, declarative, pattern-oriented means for expressing structural change ⇒ Support for interactive and incremental specification of message-based interaction behavior and structural system reconfiguration behavior ⇒ Integration of intuitive modeling paradigms, supported by prototype Tool.

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (14/15)

slide-69
SLIDE 69

Thanks!

Thank you for your attention! Questions

Sabine Winetzhammer (Uni Bayreuth) Integrating GTRs and MSDs September 29th, 2014 (15/15)