UPDM — 8.3.11:Doctrine

Diagram should show an association to Operation instead of OpertionalTask and SystemTask. It should be named "tasks". The association has to be unidirectional with a multiplicity of zero or more.

8.3.11.6 Constraints
[1] Asserts that there are SystemTasks or OperationalTasks governed by this Doctrine self.tasks-> forAll(getAppliedStereotype('UPDM::OperationalTask')>notEmpty() or getAppliedStereotype('UPDM::SystemTask')>notEmpty())
[1] Asserts that there are zero or more SystemTasks or OperationalTasks governed by this Doctrine
self.tasks->notEmpty() implies
self.tasks-> forAll(getAppliedStereotype('UPDM::OperationalTask')
->notEmpty() or
getAppliedStereotype('UPDM::SystemTask')->notEmpty())

[3] Asserts that this Doctrine governs zero or more CapabilityConfigurations self.capabilityConfigurations-> forAll(getAppliedStereotype ('UPDM::CapabilityConfiguration')->notEmpty())

[3] Asserts that this Doctrine governs zero or more CapabilityConfigurations
self.capabilityConfigurations->notEmpty() implies
self.capabilityConfigurations-> forAll(getAppliedStereotype ('UPDM::CapabilityConfiguration')->notEmpty())