UTP2 2.0 FTF Avatar
  1. OMG Issue

UMLTP2 — OCL code and natural language description of Constraints inconsistent

  • Key: UMLTP2-16
  • Status: closed   Implementation work Blocked
  • Source: Fraunhofer FOKUS ( Mr. Marc-Florian Wendland)
  • Summary:

    Many Constraints of stereotypes are inconsistent with respect to OCL and natural language.

    See section TestCase:

    • Constraint 'Use of BehavioredClassifier' is inconsistent
    • Constraint /* DRTC02: It is necessary that each test execution schedule requires at most one preconditon. */ does not belong to the stereotype test case at all.

    This is the case for most of the Constraints in section 8. A thorough check would be required to clean that up.

  • Reported: UTP 2.0b1 — Tue, 16 Jan 2018 15:35 GMT
  • Disposition: Resolved — UTP2 2.0
  • Disposition Summary:

    Remove Constraints and OCL syntax of natural langaue description if necessary

    The formalization of natural language constraints into OCL code was rather done in a rush for the revised submission. As a result, many OCL constraints were not correctly written. In these situation, the OCL code shall be removed in the first place.
    In some cases, entire Constraints were too restrictive and will be removed.

  • Updated: Wed, 3 Oct 2018 14:16 GMT