Chapter 3 Distributed Runs and Scenarios

1
Chapter 3Distributed Runs and Scenarios
2
a low level transition
and its action
3
another low level transition
and its action
4
composing actions
5
composing actions
6
Actions of the biscuit machine
transition a
E
H
? ?
5
A
. a
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
no signal
G F
slot is free
D
coin back
d
coin store
7
Actions of the biscuit machine
transition a
E
H
? ?
5
the action of a
A
. a
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
no signal
G F
slot is free
D
coin back
d
coin store
8
Action of b
E
H
? ?
5
A
. a
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
no signal
G F
slot is free
D
coin back
d
coin store
9
Action of b
E
H
? ?
5
A
. a
the only enabled action of b
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
3)
no signal
G F
slot is free
D
coin back
d
coin store
10
Action of c
E
H
? ?
5
A
. a
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
no signal
G F
slot is free
D
coin back
d
coin store
11
Action of c
... one out of many
E
H
? ?
5
A
. a
y,z
outbox
C
d
2
signal
B
y,z
y
xgt 2
b
c
remove biscuits
no signal
G F
slot is free
D
coin back
d
coin store
12
Prefix of a run
3
13
extension of the prefix
1
3
14
End of Chapter 3Distributed Runs and
Scenarios
15
Heading

• 28 size
• appear

16
an action of the wending machine
17
Aktion allgemein B
18
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? M?
M M? ? ? def ? ? ? ? ?? ? ? ? ? ? ? ???????? ?
???????? ? ? ???????? ? ???????? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ??? ? ? ? ? ? ? ? ??
WFv(A) SFv(A) ??Nexta?vars? var?var?var helveti
ca 24
19
MathB ? ? ? ? ? ? ? ? MathC ? ? ? ? ? ? ? ? ? ?
? ? ? Math1 ? ? ? ? ? ? ? Math4 ?? ? ? ?
???????? ? ???????? ? ? ???????? ? ????????
? Math5 ? ? ? ? ? Symbol ? ? ? ? ? ? ? ?
??? ?? ? ? ? ? ? ? ? . ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? .
?? ? def M? M M? WFv(A) SFv(A) ??Nexta?vars?
helvetica 24