Information Technology Reference
In-Depth Information
y
h
1974
n
p
1774
c
1574
a
i
1174
1124
s
100
l
x
200
400
700
1000 1024
Fig. 5.
A solution to the cmRCD-network for Example 3.
When the system has to deliver the web page, it must find a solution to a
cmRCD-network
consisting of the following qualitative constraints (that encode the
above qualitative requirements):
1. Implicit: “boxes must be inside the homepage”:
c B h, n B h, i B h, a B h, l B h, p B h, s B h
2.
nBc
;
3.
i
{
SW,S,SW
:
S, SW
:
S
:
SE,S
:
SE,SE
}
c
;
4.
a
{
NE,E,NE
:
E,NE
:
E
:
SE,E
:
SE,SE
}
i
;
5.
pBc, nEp
;
6. for each box
b
∈{
c,n,i,a,p
}
,
s
{
SW,S,SW
:
S, SW
:
S
:
SE,S
:
SE,SE
}
b
;
7. for each box
b
,
l
{
SW,S,SW
:
S, SW
:
S
:
SE,S
:
SE,SE
}
b
;
and of the following metric constraints (that encode the above metric requirements):
1.
h
y
−
c
y
=0
,c
y
−
c
y
= 400
,c
x
−
c
x
= 1024;
2.
a
y
−
i
y
=0;
3.
p
y
−
n
y
=0
,p
x
−
c
x
=0;
4.
s
x
−
c
x
=0;
5.
l
x
−
l
x
= 200
,l
y
−
l
y
= 100;
6.
0
<h
x
−
h
x
≤
1024;
n
x
−
n
x
≤
n
y
−
n
y
≤
7.
600
≤
700
,
150
≤
200;
8.
400
≤
i
x
−
i
x
≤
450
,
450
≤
i
y
−
i
y
≤
550;
9.
700
≤
s
x
−
s
x
≤
850
,
1024
≤
s
y
−
s
y
≤
1200;
10.
a
x
−
a
x
= 600
,a
y
−
a
y
= 400;
p
y
= 400
.
Meaningful portions of the constraint networks
xSTP
and
ySTP
, generated by steps 4
and 5 of the algorithm
con
-
cmRCD
, respectively, are depicted in Figure 4. A possible
11.
p
x
−
p
x
= 400
,p
y
−
