März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-261 Semantik Mit 2 UML Ausgangsstift ist der Klassifikator, zu dem das Verfahren statisch verbundenIST. ReadExtentAction liest den gegenwärtigen Umfang eines gegebenen Klassifikators. StartObjectStateMachineAction setzt die Zustandmaschinen eines Gegenstandes in ihren oberen Zustand ein, wenn sie nicht dort bereits gewesen sind. Dieses kann einmal pro Gegenstand nur verwendet werden. CallProcedureAction fängt ein Verfahren an, Eingänge und Wartezu führen ausgänge, wenn es ist synchron. Anmerkung - der Umfang eines Klassifikators ist der Satz aller Fälle eines Klassifikators, denen an bestehen Sie irgendeine eine Zeit. Sie ist nicht im Allgemeinen praktisch, zu erfordern, daß, das Umfangerzeugnis alles lesend die Fälle des Klassifikators, die im gesamten Universum bestehen. Eher irgendwie real Durchführungsmaschine handhat nur eine begrenzte Teilmenge des theoretischen Umfanges von irgendwelchen Klassifikator und kann mehrfachen verteilten Umfang für jeden möglichen einen Klassifikator wirklich handhaben. Es wird nicht formal im allgemeinen durch die Durchführungssemantik spezifiziert, die Umfang handhatte wird wirklich durch eine Lesenumfangtätigkeit gelesen. Tabelle 2-53 anderes Tätigkeitsmetamodel 2,21,6 Zusätzliche OCL-Betriebe für gelesen und schreiben Tätigkeiten Einige zusätzliche OCL-Betriebe werden für dieses Kapitel definiert. Tätigkeit [ 1 ] Verfahren funktioniert an Tätigkeit . Sie bringt das Verfahren zurück, welches die Tätigkeit enthält. procedure(): Verfahren; Verfahren = wenn self.Procedure- Æ size() > 0 dann self.Procedure sonst self.group.procedure() endif ReTi des ADS-elfA c an Clas s ifier (fro m Co bezüglich) Tio n des tentA c ReadE x +c-las sifier 1 0,,1 TiveAction P r im i (cti des fro m A auf dati Fo u n O N) S-tartObjectStateMachineAction Aus putP I n (cti O n Fo u n d des fro m A ein ult des tio N) +/res 1 0,,1 +-/result 1 0,,1 InputP innen (cti O n Fo u n d des fro m A ein tio N) +/input 1 0,,1 Harnstoffction des roc ED des CA-ll P ist ynchronous S: B oolean 0.. * 0,,1 0.. * 0.. 1 P-rocedure (fro m Co m m O Notiz: e h ein vio r) 1 ^+proc-edure +/inpu t +/ausgegeben