UPDM 1.0 NO IDEA Avatar
  1. OMG Issue

UPDM — Constraints

  • Key: UPDM-461
  • Legacy Issue Number: 12109
  • Status: open  
  • Source: International Business Machines ( Mr. Fred Mervine)
  • Summary:

    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())

  • Reported: UPDM 1.0b1 — Mon, 31 Dec 2007 05:00 GMT
  • Updated: Fri, 6 Mar 2015 20:59 GMT