Viewgraphs for Semantics

1
Viewgraphs for Semantics
2
Strategy From C1 to T
o2C2
o1C1
declared type of o2 is C3gtC2
e
go down e iff C1 lt.C C3 gt.(lt.C.gt).lt) T
3
z
Strategy S -gt T
x
X1
Y1
Z1
y
X2
S
Y2
Z2
T
t
X3
Y3
Z3
x
y
z
t
x31X3
y31Y3
z31Z3
t1T
s1S
go down e iff S lt.C C3 gt.(lt.C.gt).lt) T
4
z
Strategy S -gt T
x
X1
Y1
Z1
y
X2
S
Y2
Z2
T
t
X3
Y3
Z3
x
y
z
t
x31X3
y31Y3
z31Z3
t1T
s1S
go down e iff S lt.C X1 gt.(lt.C.gt).lt) T
5
z
Strategy S -gt T
x
X1
Y1
Z1
y
X2
S
Y2
Z2
T
t
X3
Y3
Z3
x
y
z
t
x31X3
y31Y3
z31Z3
t1T
s1S
lt,gt not used
go down e iff S lt.C X1 gt.(lt.C.gtlt.C.gtlt.Cgt).
lt) T
6
Example
class dictionary
strategy
A x X r R. B b B D. R S. S
t T C C D. X B. T R. D .
A -gt T T -gt D
0..1
X
B
0..1
D
A
C
0..1
D
C
R
S
T
A
0..1
class graph
object graph r
R
S
7
Example
class dictionary
strategy
A x X r R. B b B D. R S. S
t T C C D. X B. T R. D .
A -gt T T -gt D
POSS(A,T,a1) 1 edge POSS(R,T,r1) 1
edge POSS(S,T,s1) 0 edges
0..1
X
B
0..1
D
A
C
0..1
D
C
R
S
T
a1A
0..1
class graph
object graph r
r1R
s1S
8
Example
class dictionary
strategy
A x X r R. B b B D. R S. S
t T C C D. X B. T R. D .
A -gt T T -gt D
POSS(A,T,a1) 1 edge POSS(R,T,r1) 1
edge POSS(S,T,s1) 1 edge
0..1
X
B
0..1
D
A
C
c2C
d2D
0..1
D
c1C
R
S
T
a1A
0..1
class graph
r1R
s1S
t1T
r2R
9
Example 1
Only node paths shown for space reasons
strategy A -gt B B -gt C
Object graph
Strategy s
t
A
A
B
C
x1X
class graph
S
e1Empty
R
R
A
x2X
B
Empty
x
c
x
c1C
X
b
OG A X R X C OG A X B X C SG A
B C (CG A X Bopt B X C)
c2C
BOpt
c
c3C
C
10
Example 1A
Only node paths shown for space reasons
strategy A -gt S S -gt C
Object graph
early termination
Strategy s
t
A
A
S
C
x1X
class graph
S
e1Empty
R
R
A
x2X
B
Empty
x
c
x
c1C
X
b
OG A X R X OG A X B X SG A
B (CG A X Bopt B X)
c2C
BOpt
c
c3C
C
11
Example 2
S from BusRoute through Bus to Person
busStops
BusRoute
BusStopList
buses
0..
BusStop
NGasPowered
BusList
waiting
0..
passengers
Bus
PersonList
Person
0..
DieselPowered
12
Example 2
OG BR BL DP PL P OG BR BL B PL P SG BR
B P
Only node paths shown for space reasons
BusList
Route1BusRoute
buses
busStops
BusStopList
Bus15DieselPowered
passengers
CentralSquareBusStop
waiting
PersonList
PersonList
JoanPerson
PaulPerson
SeemaPerson
EricPerson
S from BusRoute through Bus to Person
13
Example 3
OG BR BL OG BR BL SG BR
Only node paths shown for space reasons
early termination
BusList
Route1BusRoute
buses
busStops
BusStopList
Bus15DieselPowered
passengers
CentralSquareBusStop
waiting
PersonList
PersonList
JoanPerson
PaulPerson
SeemaPerson
EricPerson
S from BusRoute via NGasPowered to Person