März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-241 Semantik Mit 2 UML WohlgeformtheitcRichtlinien Anmerkung - die Bezeichnung "booleanType" wird hier verwendet, um die Boolesche Aufzählungart anzuzeigen (Fall der Aufzählung). [ 1 ] Die vorhandenen Ausgänge der Testtätigkeit einer Klausel können möglicherweise nicht an Bestimmungsörter angeschlossen werden außerhalb der Klausel. self.test.subactions().availableInput->union(self.body.availableInput) ->includesAll(self.test.availableOutput.flow.destination) [ 2 ] Die vorhandenen Ausgänge der Körpertätigkeit einer Klausel können möglicherweise nicht an angeschlossen werden Bestimmungsörter außerhalb der Körpertätigkeit. self.body.subactions().availableInput->includesAll(self.body.availableOutput.flow.destination) [ 3 ] Das testOutput einer Klausel muß ein vorhandener Ausgang der Testtätigkeit sein. self.test.availableOutput->includes(self.testOutput) [ 4 ] Der testOutputstift muß an die Boolesche Art und Vielfältigkeit 1,,1 sich anpassen. self.testOutput.type = booleanType und self.testOutput.multiplicity.range->size = 1 und self.testOutput.multiplicity.range->forAll(r: MultiplicityRange|r.lower = 1 und r.upper = 1) [ 1 ] Keine der Tätigkeiten innerhalb der Testtätigkeit einer Klausel (falls vorhanden) können haben Steuerung-fließen Anschlüsse mit Tätigkeiten außerhalb der Testtätigkeit. self.test.allSubactions()->forAll(action: Tätigkeit| action.antecedent.predecessor->union(action.consequent.successor)->forAll(a: Tätigkeit| a.isSubaction(self.test)) [ 2 ] Keine der Tätigkeiten innerhalb der Körpertätigkeit einer Klausel (falls vorhanden) können haben Steuerung-fließen Anschlüsse mit Tätigkeiten außerhalb der Körpertätigkeit. self.body->allSubactions()->forAll(action: Tätigkeit| action.antecedent.predecessor->union(action.consequent.successor)->forAll(a:Action| a.isSubaction(self.body)) [ 3 ] Die Testtätigkeit einer Klausel kann möglicherweise nicht an den Steuerflüssen teilnehmen. self.test.antecedent->isEmpty() und self.test.consequent->isEmpty() [ 4 ] Die Körpertätigkeit einer Klausel kann möglicherweise nicht an den Steuerflüssen teilnehmen. self.body.antecedent->isEmpty() und self.body.consequent->isEmpty() [ 5 ] Die Körperausgänge einer Klausel müssen vorhandene Ausgänge des Körpers der Klausel sein. self.body.availableOutput->includesAll(c.bodyOutput) [ 6 ] Es kann keine Zyklen in den predecessor-/successorverhältnissen unter Klauseln geben. self.allClauseSuccessors()->excludes(self)