1-42 SimulationscVerbundsysteme, v2.0 November 2002 1 Grundprinzip: Dieser Service ergibt die Kreation von einer oder mehr Regionrealisierungen. Eine Regionrealisierung kann von einer Regionspezifikation, nicht eine Region nur abgeleitet werden Schablone, weil alle Streckengrenzen der spezifizierten Regionen der Regionrealisierung muß eingestellt werden. Wenn der Designator einer Regionschablone, anstelle von einem Designator einer Region Spezifikation, wird da ein Argument zu diesem Service verwendet, dann könnte dieser Service nicht resultieren in der Kreation einer Regionrealisierung weil die Streckengrenzen von einer oder von mehr von Maße in der Region würden nicht eingestellt . 1,4,7,8 Service 9,6: TeilnehmercRegionen Für Updates Deutung 1 Diese Service-Beschreibung sagt die, "dieser Service fügt die spezifizierten Regionen hinzu Satz Verbindungen jedes spezifizierten Fallattributes.", Wenn ein Fallattribut mit der Rückstellungsregion verbundenIST, dann Anforderung von TeilnehmercRegionen Für Updates Service entfernt die Verbindung dieses Falls Attribut mit der Rückstellungsregion sowie fügen die Verbindung dieses Fallattributes hinzu zur spezifizierten Region. Dieses ist die alleinige Ausnahme zur additiven Semantikrichtlinie. Grundprinzip: Sehen Sie 9,1,3,2 (a). Wenn ein Fallattribut mit der Rückstellungsregion verbundenIST, es gibt keinen Wert, wenn man auch ihn mit anderen Regionen, weil die Rückstellungsregion verbindet immer Deckungen mit allen weiteren Regionen, die Maße haben. Ein Fallattribut wenn nur mit der Rückstellungsregion verbundenSEIEN Sie, wenn sie nicht mit irgendeiner anderer verbundenIST Region. Wenn ein Fallattribut mit einer anderen Region verbundenIST, seine Verbindung mit Rückstellung sollte die Region nicht mehr bestehen. So wenn ein Fallattribut dazugehörig ist wenn die Rückstellungsregion daß Fallattribut mit einer verbindet oder mehr andere Regionen haben den Effekt des Entfernens der Verbindung dieses Fallattributes mit die Rückstellungsregion, weil es keine Weise gibt, die Verbindung von der ausdrücklich zu entfernen Fallattribut mit der Rückstellungsregion . Deutung 2 Es gibt eine Vorbedingung dieses Services, der sagt, "alle gelieferten Regiondesignators sind Designators der Regionspezifikationen.", Wenn ein spezifizierter Regiondesignator nicht a ist Designator einer Regionspezifikation, die Ausnahme "der unzulässigen Region" wird erzeugt. Grundprinzip: Dieser Service ergibt die Kreation von einer oder mehr Regionrealisierungen. Eine Regionrealisierung kann von einer Regionspezifikation, nicht eine Region nur abgeleitet werden Schablone, weil alle Streckengrenzen der spezifizierten Regionen der Regionrealisierung muß eingestellt werden. Wenn der Designator einer Regionschablone, anstelle von einem Designator einer Region Spezifikation, wird da ein Argument zu diesem Service verwendet, dann könnte dieser Service nicht resultieren in der Kreation einer Regionrealisierung weil die Streckengrenzen von einer oder von mehr von Maße in der Region würden nicht eingestellt .