1-38 SimulationscVerbundsysteme, v2.0 November 2002 1 Stellen Sie StreckencGrenzen Ein (R, d1, 2, 45) Legen Sie RegioncÄnderungen Fest (R) Stellen Sie StreckencGrenzen Ein (G, d2, 5, 15) Legen Sie RegioncÄnderungen Fest (G) An diesem Punkt sind R und G die Designators der Regionspezifikationen. Registrieren Sie Kategorie GegenstandInstance(object C, "object1") Verbinden Sie Regionen Für Updates (object1, ({ X, Y }, { R })) Nach den oben genannten Teilnehmerregionen für Updates (object1, ({ X, Y }, { R })) Service Anforderung, R ist noch der Designator einer Regionspezifikation; jedoch resultierend aus die Teilnehmerregionen für Updates (object1, ({ X, Y }, { R })) Service-Anforderung, zwei Regionrealisierungen wurden verursacht: man verbanden mit X, und man dazugehörig mit Y. Das verbündete, das verursachte, die Regionspezifikation R hat jedoch keinen Designator das bezieht sich irgendeine auf dieser Regionrealisierungen einzigartig. Die Regionrealisierung, die ist dazugehörig mit X hat Maß d1 und nicht spezifiziertes Maß d3 spezifiziert. Regionrealisierung, die mit Y ist, hat Maß d1 spezifiziert und nicht spezifiziertes Maß d4. TeilnehmercRegionen Für Updates (object1, ({ Z }, { G })) Verwenden Sie eine MAMMA-Abhängigkeit, um dem übermittelnregiondesignatorsatzschalter zu ermöglichen. Aktualisieren Sie AttributcWerte (object1, { (X, 44), (Y, 53), (Z, 66) }, "Benutzerumbau") An diesem Punkt vereingigt alles zu einem Bündnis, das zu X, zu Y und zu Z am passenden unterzeichnet werden Gegenstandkategorie empfängt drei unterschiedlich sich reflektiert: ? eins, das nur ein attribute-/valuepaar für X umfaßt, ? eins, das nur ein attribute-/valuepaar für Y umfaßt und ? anders, das nur ein attribute-/valuepaar für Z umfaßt. Merken Sie das, obgleich die Regionrealisierung mit X und der Region verband Realisierung verband mit Y werden abgeleitet von der gleichen Regionspezifikation (Region Spezifikation R), die Regionrealisierung, die mit X dazugehörig ist, unterscheidet sich von der Region Realisierung verband mit Y weil die Streckenwerte vom nicht spezifizierten Maße von jeder der Regionrealisierungen unterscheiden sich. Dieses passelization von einem einzelnem Update in drei unterschiedlich reflektiert sich wird angefordert durch die Tatsache, die unterschiedliche Region RealisierungenWAREN mit X,Y verbunden, und Z. The reflektieren sich für X enthält einen Satz von Gesendete Regiondesignators, die aus einem Designator, R1 bestehen, das Streckenwerte hat für Maße d1 (2, 45) und d3 (1.100); reflektieren für Y enthält einen Satz von gesendet Regiondesignators, die aus einem Designator, R11 bestehen, das Streckenwerte für hat bemißt d1 (2, 45) und d4 (1.100); und reflektieren für Z enthält einen Satz von Gesendete Regiondesignators, die aus einem Designator, G1 bestehen, das Streckenwerte hat für nur Maß d2 (5, 15). Wenn das Reflektieren verbündet hervorrufen sollten, erhalten Sie Maßhandgriffsatz (R1) während Reflektieren Sie Attributwerte, die Service noch in Bewegung waren und bevor er zu erlaubt wird komplett, würde er eine Antwort von { d1, d3 } zurückbekommen, weil R1 eine Kopie von a ist Regionrealisierung, die aus spezifiziertem Maß d1 und nicht spezifiziertes Maß besteht d3. Wenn das Reflektieren verbündet hervorrufen sollten, erhalten Sie Streckengrenzen (R1, d1), wurde es erhalten Sie Rückholwerte von: unterere Schranke 2; oberes Limit 45. Wenn das Reflektieren verbündet waren