SysML 1.6 RTF Avatar
  1. OMG Issue

SYSML16 — The OCL statement of ConstraintBlock constraint#3 is wrong

  • Key: SYSML16-354
  • Status: closed  
  • Source: Airbus Group ( Mr. Yves Bernard)
  • Summary:

    ConstraintBlock constraint#3 states:

    Any property of a block that is typed by a ConstraintBlock shall have composite aggregation.

    And the following OCL statement is provided

    self.ownedAttribute->forAll(p | p.type.oclIsKindOf(ConstraintBlock) implies p.aggregation = #composite)

    The OCL is invalid and wrong since "self" refers to the stereotype instance while this is the property typed by the ConstraintBlock which is constrained

  • Reported: SysML 1.5 — Thu, 14 Sep 2017 06:52 GMT
  • Disposition: Duplicate or Merged — SysML 1.6
  • Disposition Summary:

    Merged with SYSML16-274

    Fix the OCL statement as proposed in the comment as part of SYSML16-311:

    self.base_Class.ownedAttribute->forAll(p| p.isComposite)

  • Updated: Mon, 1 Apr 2019 18:17 GMT