| |
4-30 Allgemeines Lager Metamodel, v1.1 März 2003 4 taggedValue 4,3,4 Ocl-Darstellung der Kernbegrenzungen 4,3,4,1 Betriebe Kennzeichnet den Satz der Fälle TaggedValue, die ein ModelElement verlängern. Kategorie: TaggedValue Vielfältigkeit: null oder mehr Die Betriebs- allFeatures Resultate in einem Satz, der alle Eigenschaften des Klassifikators enthält selbst und alle seine übernommenen Eigenschaften. allFeatures: Set(Feature); allFeatures = self.feature->union(self.parent.oclAsType(Classifier).allFeatures) Die Betriebs- allAttributes Resultate in einem Satz, der alle Attribute des Klassifikators enthält selbst und alle seine übernommenen Attribute. allAttributes: set(Attribute); allAttributes = self.allFeatures->select(f|f.oclIsKindOf(Attribute)) Die Betriebs- Spezifikation erbringt den Satz der Klassifikatoren, die der gegenwärtige Klassifikator verwirklicht. Spezifikation: Set(Classifier) Spezifikation = self.clientDependency - > select(d|d.stereotype.name = "Realisierung" und d.supplier.oclIsKindOf(Classifier)).supplier.oclAsType(Classifier) Das Betriebs- Elternteil bringt einen Satz zurück, der alle direkte Eltern eines Klassifikators enthält. Elternteil: Set(Classifier); Elternteil = self.generalization.parent Die Betriebs- allParents bringt einen Satz zurück, der alle Klassifikatoren enthält, die durch dieses übernommen werden Klassifikator (das transitive Schliessen), ausschließlich des Klassifikators selbst. allParents: Set(Classifier); allParents = self.parent->union(self.parent.allParents) |  |
|
| |
|
|
