März 2003 OMG-Vereinheitlicht Worden, Sprache, v1.5 Modellierend 2-191 Semantik Mit 2 UML Zusätzliche Betriebe [ 2 ] Für jede Aufnahme in einer Schnittstelle bot durch ein Untersystem, das Untersystem selbst oder eins mindestens an enthaltenes Spezifikationselement muß eine zusammenpassende Aufnahme haben. gelassen allReceptions: set(Reception) = self.allFeatures->select(f| f.oclIsKindOf(Reception)) innen self.specification.allReceptions->forAll(interRec| self.allReceptions->union (self.allSpecificationElements->select(specEl| specEl.oclIsKindOf(Classifier))->forAll(c| c.allReceptions))->exists (rec|rec.hasSameSignature(interRec))) [ 3 ] Die Eigenschaften eines Untersystems können Betriebe oder Aufnahmen nur sein. self.feature->forAll(f| f.oclIsKindOf(Operation) oder f.oclIsKindOf(Reception)) [ 4 ] Ein Untersystem kann nur besitzen oder Bezugspakete, Kategorien, DataTypes, Schnittstellen, UseCases, Schauspieler, Untersysteme, Signale, Verbindungen, Verallgemeinerungen, Abhängigkeiten, Begrenzungen, Collaborations, StateMachines und Stereotypes. self.contents->forAll (c| c.oclIsKindOf(Package) oder c.oclIsKindOf(Class) oder c.oclIsKindOf(DataType) oder c.oclIsKindOf(Interface) oder c.oclIsKindOf(UseCase) oder c.oclIsKindOf(Actor) oder c.oclIsKindOf(Subsystem) oder c.oclIsKindOf(Signal) oder c.oclIsKindOf(Association) oder c.oclIsKindOf(Generalization) oder c.oclIsKindOf(Dependency) oder c.oclIsKindOf(Constraint) oder c.oclIsKindOf(Collaboration) oder c.oclIsKindOf(StateMachine) oder c.oclIsKindOf(Stereotype)) [ 1 ] Die BetriebsallSpecificationElements ergibt einen Satz, der die vorbildlichen Elemente enthält Spezifizieren des Verhaltens des Untersystems allSpecificationElements: Set(ModelElement) allSpecificationElements = self.allContents->select(c|c.elementOwnership.isSpecification) [ 2 ] Der Betrieb stellt Resultate in einem Satz zufrieden, der das vorbei besessene oder importierte ModelElements enthält durch das Untersystem. Inhalt: Set(ModelElement) Inhalt = self.ownedElement->union(self.importedElement)