Spezifikationsmodule - Software and Systems Engineering - TUM

esult has Name(mk_prt.copy,
concat(mk_prt.orig.one.Name, mk_prt.orig.two.Name)) and
/* set direction attribute */
exists mk_nd:new Direction . (
result has Direction(mk_prt.copy, mk_nd) and
result has
IsEntry(mk_nd, mk_prt.orig.one.Direction.IsEntry)
) and
/* set port type */
exists mk_prt_mt:new MIFType . (
result has DefinedType(mk_prt.copy, mk_prt_mt) and
exists ntm_elem_port:new_tconst_map . (
mk_prt.orig.one.DefinedType.Model =
ntm_elem_port.orig.one.TConst and
mk_prt.orig.two.DefinedType.Model =
ntm_elem_port.orig.two.TConst and
result has Model(mk_prt_mt, ntm_elem_port.copy)
)))) .
Hier sehen wir auch, dass bei vielen Modellelementen zusätzliche Elemente
erzeugt werden müssen, die meist nur als Kapselobjekte für primitive Datentypen
(Direction) oder zur Flexibilisierung der Modellierungsfähigkeiten (MIFType
für unvollständige Modelle) von AutoFocus 2 benutzt werden.
5.5.5 Konstruktion nicht-unifizierter Elemente
Da die Unifikationsrelationen hier partielle Funktionen sein dürfen, müssen wir
nicht-unifizierte Elemente der jeweiligen Modellelementklasse ebenfalls behandeln.
Für sie erstellen wir jeweils eine Kopie und verknüpfen sie entsprechend
mit den restlichen neuen Elementen. Hier zeigen wir die Umsetzung wieder am
Beispiel der Port-Elemente.
Wir konstruieren dazu zunächst die Menge der nicht-unifizierten Port-Elemente.
Sie besteht aus allen Elementen, die zu einer der beiden Komponenten
gehören und nicht in der portmap-Menge auftauchen.
exists copy_port_set: lfp FP7 set fp7_it:Port
with (
(
fp7_it.Component = component_pair.one or
fp7_it.Component = component_pair.two
) and
neg exists sm_fp7:port_map . (
sm_fp7.one = fp7_it or
sm_fp7.two = fp7_it
)
).
Für diese Menge erzeugen, wie eben, eine bijektive Abbildung auf neue Port-
Elemente und bauen für diese die Assoziationen mit einer Subroutine auf, die
56