UPDM — 8.4.29.6:OperationalTask Constraints

Constraints [1],[2],[3],[4],[5] OCL doesn't check for zero or more. Resolution:Add check for zero
Revised Text: [1] Asserts that this OperationalTask adheres to zero or more Rules
self.adheresToRules ->notEmpty() implies
self.adheresToRules > forAll(getAppliedStereotype('UPDM::Rule')>notEmpty())

[2] Asserts that this OperationalTask adheres to zero or more Policies
self.adheresToPolicy->notEmpty() implies
self.adheresToPolicy-> forAll(getAppliedStereotype('UPDM::Policy')->notEmpty())

3] Asserts that there are zero or more Doctrines that govern this OperationalTask self.governedByDoctrine->notEmpty() implies
self.governedByDoctrine->forAll(getAppliedStereotype('UPDM::Doctrine')- >notEmpty())

[4] Asserts that Materiel is utilized by this OperationalTask
self.utilizesMateriel->notEmpty() implies
self.utilizesMateriel-> forAll(getAppliedStereotype('UPDM::Materiel')->notEmpty())

[5] Asserts that the Triggers of this OperationalTask can be stereotyped Trigger, a callEventAction
self.triggeredByEvents->notEmpty() implies
self.triggeredByEvents->forAll(getAppliedStereotype('UPDM::Trigger') -> notEmpty())