Vereinfachte Integration von Fachwissen in Computerprogramme ...

7.7.1 Units 75
Revise-Operation
Die Operation Revise, dargestellt als Algorithmus 7.7 erzeugt eine aktive Version
eines Subsystems als Versionsnachfolger eines existierenden Subsystems.
Algorithmus 7.7 Revise(D: cmElementCollection, x: unit, W: SET of cmElements):
cmElementCollection
1: if ¬x.FX ∨ x �∈ D then
2: RETURN(D);
3: end if
4: D ′ := D;
5: SET of cmElements revise set := XS(D, x) ∩ W;
6: SET of cmElements new u set := {};
7: for all y ∈ revise set do
8: if y is a unit then
9: new u := unit:New(
NewID(D ′ ), y.NAME, y.DESCR, y.AL, {}, {}, [{}, ]y.ID, FALSE);
10: else if y is a constraint then
11: new u := constraint:New(NewID(D ′ ), y.DESCR, y.EXPR, y.ID, FALSE);
12: end if
13: new u set := new u set ∪ {new u};
14: D ′ := D ′ ∪ {new u};
15: end for
16: for all y ∈ new u set do
17: y.NUU := ConnectRevisions(D, y, y.NUU, new u set);
18: y.NUC := ConnectRevisions(D, y, y.NUC, new u set);
19: [y.NUP := ConnectRevisions(D, y, y.NUP, new u set);]
20: end for
21: RETURN(D ′ );
ConnectRevisions-Operation
Die Operation ConnectRevisions, dargestellt als Algorithmus 7.8 wird von der
Revise-Operation gebraucht.
CheckConstraints-Operation
Algorithmus 7.9 repräsentiert die Operation CheckConstraints. Diese Operation
durchläuft alle Constraints, die von einer Unit aus über Links erreicht werden können
und wertet diese aus. Sind alle ausgewerteten Ausdrücke wahre Aussagen, gibt
die Funktion den Wert TRUE zurück.