1-46 SimulationscVerbundsysteme, v2.0 November 2002 1 1,4,7,12 Service 9,10: Unterzeichnen Sie AbhängigkeitscKategorie Mit Regionen Deutung 1 Der Gebrauch der wahlweise freigestellten passiven Subskriptionsanzeige wird erwartet, um zu arbeiten, wie folgt: Jede unterzeichnete Abhängigkeitskategorie mit Regionen wird entweder aktiv oder passiv unterzeichnet mit einer gegebenen Region aber nicht beiden. Zwei unterschiedliche Abhängigkeitskategorien, die unterzeichnet werden an der gleichen Region kann unterschiedlich unterzeichnet werden zu einander: ein aktiv und eins passives und die gleiche Abhängigkeitskategorie, die mit zwei unterschiedlichen Regionen unterzeichnet wird kann (entweder aktiv oder passiv) mit jeder Region anders als unterzeichnet werden. Jedes (Abhängigkeitskategorie, -region) Paar spezifiziert worden in einer gegebenen Anforderung unterzeichnen AbhängigkeitscKategorie Mit Regionen Service nimmt auf dem Effekt vom wahlweise freigestellten active-/passivesubskriptionsanzeige geliefert (oder) nicht mit diesem Service geliefert Anforderung. Ausserdem wenn es eine bestehende (Abhängigkeitskategorie, -region) Subskription gibt das hat die gleichen Abhängigkeitskategorien- und -regionwerte wie die, die im Strom spezifiziert werden Anforderung der unterzeichnenabhängigkeitskategorie mit Regionen Service, nimmt sie auf Effekt der wahlweise freigestellten passive-/activesubskriptionsanzeige geliefert (oder nicht geliefert) mit der Service-Anforderung. Hervorrufen der unterzeichnenabhängigkeitskategorie mit Regionen Service mit (Abhängigkeit klassifizieren Sie, Region eingestelltes) Paar so, daß der Regionsatz ändert nicht leer ist active-/passivesubskriptionsnatur von irgendwelchen der (Abhängigkeitskategorie, -region) Paare, die sind bereits unterzeichnet. Jeder Gebrauch von der unterzeichnenabhängigkeitskategorie mit Regionen Service fügt die spezifizierten Regionen dem Satz von Subskriptionen der spezifizierten Abhängigkeit hinzu klassifizieren Sie, wenn sie nicht bereits in diesem Satz sind; und kann die active-/passivenatur von ändern vorhandene Subskriptionen, wenn sie sind. Grundprinzip: Die Absicht ist für Anforderungen der unterzeichnenabhängigkeitskategorie mit Regionen halten instand, damit irgendeine gegebene Abhängigkeitskategorie in Bezug auf den Satz kumulativ ist von unterzeichneten Regionen einer gegebenen Abhängigkeitskategorie, aber substitutive in Bezug auf ob jedes (Abhängigkeitskategorie, -region) Paar aktiv oder passiv unterzeichnet wird. Wenn gegenwärtige Anforderung der unterzeichnenabhängigkeitskategorie mit Regionservice schließt a mit ein gegebene (Abhängigkeitskategorie, -region) Subskription, die bereits besteht, die Eigenschaft von aktivem gegen passives für diese (Abhängigkeitskategorie, -region) Subskription ist das ersetzte Übereinstimmen zum Wert (oder zum Fehlen) dem wahlweise freigestellten passiven Subskriptionsindikatorargument zu gegenwärtige Anforderung der unterzeichnenabhängigkeitskategorie mit Regionservice . 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 .