From Interaction Overview Diagrams to PEPA nets Le la Kloul - - PowerPoint PPT Presentation

▶
from interaction overview diagrams to pepa nets
SMART_READER_LITE
LIVE PREVIEW

From Interaction Overview Diagrams to PEPA nets Le la Kloul - - PowerPoint PPT Presentation

Oct 26, 2022 494 likes •816 views

From Interaction Overview Diagrams to PEPA nets Le la Kloul PRiSM, Universit e de Versailles Juliana K uster-Filipe School of Computer Science The University of Birmingham 1 Contents 1. Motivation 2. Design Notation Dynamic

slide-1
SLIDE 1

From Interaction Overview Diagrams to PEPA nets

Le¨ ıla Kloul PRiSM, Universit´ e de Versailles Juliana K¨ uster-Filipe School of Computer Science The University of Birmingham

1

slide-2
SLIDE 2

Contents

  • 1. Motivation
  • 2. Design Notation
  • Dynamic Models in UML 2.0
  • IODs vs Activity Diagrams
  • Using IODs for Mobility
  • 3. PEPA nets
  • 4. Formal Translation
  • 5. Conclusions

2

slide-3
SLIDE 3

Contents

  • 1. Motivation
  • 2. Design Notation
  • Dynamic Models in UML 2.0
  • IODs vs Activity Diagrams
  • Using IODs for Mobility
  • 3. PEPA nets
  • 4. Formal Translation
  • 5. Conclusions

2

slide-4
SLIDE 4

Motivation

  • Model and analyse mobile systems.
  • System consists of several locations. Some objects can

move between locations. Within a location objects can interact with others.

  • Choice of modelling language:

for designers vs for analysis.

From Interaction Overview Diagrams to PEPA nets 3

slide-5
SLIDE 5

Motivation

  • Model and analyse mobile systems.
  • System consists of several locations. Some objects can

move between locations. Within a location objects can interact with others.

  • Choice of modelling language:

for designers vs for analysis. UML 2.0 vs PEPA nets

From Interaction Overview Diagrams to PEPA nets 3

slide-6
SLIDE 6

Dynamic Models in UML 2.0

  • Individual behaviour is modelled using state diagrams -

intra-object behaviour.

  • Collaborative behaviour is modelled using interaction

diagrams - inter-object behaviour. These diagrams include – Sequence diagrams – Interaction overview diagrams (IODs)

From Interaction Overview Diagrams to PEPA nets 4

slide-7
SLIDE 7

Sequence diagrams

  • Are a visual scenario-based formalism.
  • Describe the instances involved in an interaction, and

the messages exchanged for the interaction (partially

  • rdered over time).
  • Contain two dimensions: a vertical dimension denoting

time; a horizontal dimension representing the instances involved in the interaction.

From Interaction Overview Diagrams to PEPA nets 5

slide-8
SLIDE 8

Sequence diagrams in UML 2.0

  • Have

new improved structure and expressiveness (through so-called interaction fragments)

  • Loops and conditional branching can be indicated more

clearly

  • Parallel behaviour can be expressed as well as ordering
  • f non-related communications

From Interaction Overview Diagrams to PEPA nets 6

slide-9
SLIDE 9

Sequence diagrams in UML 2.0

  • Have

new improved structure and expressiveness (through so-called interaction fragments)

  • Loops and conditional branching can be indicated more

clearly loop alt

  • Parallel behaviour can be expressed as well as ordering
  • f non-related communications

par strict

From Interaction Overview Diagrams to PEPA nets 6

slide-10
SLIDE 10

Example Diagram

m3 m4 m2 sd m1 sdia i:A j:B k:C

State1

m8 m7

From Interaction Overview Diagrams to PEPA nets 7

slide-11
SLIDE 11

Example Diagram

m3 m4 m2 sd m1 sdia i:A j:B k:C

State1

m8 m7

[x<0] [x>=0]

alt

From Interaction Overview Diagrams to PEPA nets 7

slide-12
SLIDE 12

Example Diagram

m3 m4 m2 sd m1 sdia i:A j:B k:C

State1

m8 m7

[x<0] [x>=0]

alt par m5

From Interaction Overview Diagrams to PEPA nets 7

slide-13
SLIDE 13

Ordering

3 m1() m2() a b c d sd m3()

From Interaction Overview Diagrams to PEPA nets 8

slide-14
SLIDE 14

Ordering

3 m1() m2() a b c d sd m3()

seq

From Interaction Overview Diagrams to PEPA nets 8

slide-15
SLIDE 15

Ordering

seq

a b c d sd 3 m3() m1() m2()

strict

From Interaction Overview Diagrams to PEPA nets 8

slide-16
SLIDE 16

Ordering

seq

a b c d sd 3 m3() m1() m2()

strict

a b c d sd 3 m3() m1() m2()

par

From Interaction Overview Diagrams to PEPA nets 8

slide-17
SLIDE 17

Interaction Overview Diagram

  • High level structuring mechanism for sequence diagrams.
  • Special kind of activity diagram with control flow only.
  • Nodes are interactions (sequence diagrams); edges show

the order in which these interactions occur.

  • Uses forks, joins, decision and merge nodes from activity

diagrams.

From Interaction Overview Diagrams to PEPA nets 9

slide-18
SLIDE 18

student, registrar sd student registrar register() SR1 sd student housing apply() SH sd student cashier pay() SC sd student registrar exclude() SR2 join decision inline interaction initiation intover UniReg lifelines

From Interaction Overview Diagrams to PEPA nets 10

slide-19
SLIDE 19

Semantics of an IOD

1 a b c d m2() m1() sd sd m3() b a intover 3 2

From Interaction Overview Diagrams to PEPA nets 11

slide-20
SLIDE 20

Flattening

3 m1() m2() a b c d sd m3()

From Interaction Overview Diagrams to PEPA nets 12

slide-21
SLIDE 21

Flattening

3 m1() m2() a b c d sd m3() a b c d sd 3 m3() m1() m2()

strict

From Interaction Overview Diagrams to PEPA nets 12

slide-22
SLIDE 22

Which Case to Allow?

  • Both interpretations are sensible:

strong and weak sequential composition.

  • We need different notation for each case.

From Interaction Overview Diagrams to PEPA nets 13

slide-23
SLIDE 23

Strong Sequential Composition

1 a b c d m2() m1() sd sd m3() b a intover 3 2

From Interaction Overview Diagrams to PEPA nets 14

slide-24
SLIDE 24

Object Flow in ADs

Order Fill Order Ship Order Order Fill Order Ship Order Order

Order Assemble Order Order for Order Pick Materials Materials Materials

From Interaction Overview Diagrams to PEPA nets 15

slide-25
SLIDE 25

Alternative input/output pins

activity node d e c b a

From Interaction Overview Diagrams to PEPA nets 16

slide-26
SLIDE 26

Weak Sequential Composition

b a b c d m2() m1() sd sd m3() b a intover 3 2 1 a b a

From Interaction Overview Diagrams to PEPA nets 17

slide-27
SLIDE 27

IODs for Mobility

  • Nodes represent locations in the system (interaction

name).

  • Explicit object flow is used to indicate object mobility.
  • {upperBound

= value} indicates the maximum number of tokens allowed in a pin.

  • {initBound = value} indicates the initial number of

tokens in a pin.

  • {weight = value} indicates the number of tokens

carried in an edge.

From Interaction Overview Diagrams to PEPA nets 18

slide-28
SLIDE 28

Secret Agents

sd 006 MI5 process/r4 P3 sd Remote 007 download/r1 P1 sd save/r2 select/r3 par P2 :007 :Connection :006 intover SecretAgents 006, 007 lifelines

slide-29
SLIDE 29

Secret Agents

sd 006 MI5 process/r4 P3 sd Remote 007 download/r1 P1 sd save/r2 select/r3 par P2 :007 :Connection :006 intover SecretAgents 006, 007 lifelines 006 006 007;move/s1 006;move/s4 007;move/s2 006;move/s3 007 007

slide-30
SLIDE 30

Secret Agents

sd 006 MI5 process/r4 P3 sd Remote 007 download/r1 P1 sd save/r2 select/r3 par P2 :007 :Connection :006 intover SecretAgents 006, 007 lifelines 006 006 007;move/s1 006;move/s4 007;move/s2 006;move/s3 007 007 {initBound=1} {initBound=1}

From Interaction Overview Diagrams to PEPA nets 19