Non-deterministic OCL expressions lead to incorrect results

Description

If a non-deterministic OCL expression such as "any" or "one" is used in theta joins or calculated features, the editability constraints may fail since the calculated element at the time of the transformation may differ from the element chosen during the evaluation of the OCL constraint.

A possible fix could be to exclude non-deterministic operators from such ModelJoin operations.

Environment

Test case: keepcalculatedoutgoing

Activity

Show:
Martina Rapp
January 17, 2020, 11:17 AM

Closed issue due to 'ModelJoin' project discontinuation.

Martina Rapp
January 17, 2020, 11:16 AM

Closed issue due to 'ModelJoin' project discontinuation.

Won't Do

Assignee

Oliver Schneider

Reporter

Erik Burger

Labels

None

Requirement Category

Functional

External issue URL

None

Components

Priority

Major