Status: closed Implementation work Blocked
Source: Fraunhofer FOKUS ( Marc-Florian Wendland)
Many Constraints of stereotypes are inconsistent with respect to OCL and natural language.
See section 220.127.116.11.2 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
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