UML 2.3 RTF Avatar
  1. OMG Issue

UML23 — Incorrect OCL in Infrastructure.xmi for 'Core-Constructs-Operation-isConsistentWith'

  • Key: UML23-94
  • Legacy Issue Number: 14228
  • Status: closed  
  • Source: The MathWorks ( Salman Qadri)
  • Summary:

    The body of the ‘Core-Constructs-Operation-isConsistentWith’ Operation in Infrastructure.xmi uses an attribute called ‘formalParameter’, which does not exist in the metamodel:

    result = (redefinee.oclIsKindOf(Operation) and let op: Operation = redefinee.oclAsType(Operation) in self.formalParameter.size() = op.formalParameter.size() and self.returnResult.size() = op.returnResult.size() and forAll(i | op.formalParameter[i].type.conformsTo(self.formalParameter[i].type)) and forAll(i | op.returnResult[i].type.conformsTo(self.returnResult[i].type))

    We should instead borrow the body from Superstructure.xmi which does not have that problem:

    result = (redefinee.oclIsKindOf(Operation) and let op: Operation = redefinee.oclAsType(Operation) in self.ownedParameter.size() = op.ownedParameter.size() and forAll(i | op.ownedParameter[i].type.conformsTo(self.ownedParameter[i].type))

  • Reported: UML 2.2 — Thu, 27 Aug 2009 04:00 GMT
  • Disposition: Resolved — UML 2.3
  • Disposition Summary:

    Resolve discrepancies for RedefinableElement amongst the following artifacts:

    • Infrastructure document (clause 11.4.4)
    • Superstructure document (clause 7.3.46)
    • Infrastructure XMI: Core::Constructs::RedefinableElement
    • Superstructure XMI: Classes::Kernel::RedefinableElement
      Resolve discrepancies for Operation::isConsistentWith amongst the following artifacts:
    • Infrastructure document (clauses 11.3.4 & 11.8.2)
    • Superstructure document (clause 7.3.36)
    • Infrastructure XMI: Core::Constructs::Operation
    • Superstructure XMI: Classes::Kernel::Operation
  • Updated: Fri, 6 Mar 2015 20:58 GMT