Example Design Problem: ANDOR Tree of Possible Refinements

1
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
2
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
3
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
4
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
5
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
6
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
7
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
8
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
9
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
10
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
11
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
12
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
13
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)
14
Example Design ProblemAND/OR Tree of Possible
Refinements
GP
GP3
GP1
GP2
B1
B2
B3
I1(B)
I1(A)
I3(X,Y,C)
I2(X,Y)
BP2(A) BP4(A) BP2(B) BP4(B) TP(A,B) TP(B,A)
BP1(X) BP2(X) BP4(Y) TP(X,Y)
BP1(A) BP1(B)
B4
B5
EP(A) TP(A,E)
EP(B) TP(B,E)
BP3(X) TP(Y,X) TP(E,X) TP(X,C)
BP6(Y) TP(E,Y)
BP2(X) BP5(Y) TP(X,Y) TP(E,Y)