OCL 2.0 FTF Issues: Clarify the semantics of forAll



Date view Thread view Subject view Author view Attachment view

From: Hubert Baumeister (baumeist@informatik.uni-muenchen.de)
Date: Wed 05 Nov 2003 - 16:31:28 GMT


Dear all,

please find attached an issue for the OCL 2.0 finalization process.

Greetings,
     Hubert

--
Dr. Hubert Baumeister, Institut für Informatik, Universität München
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2180-9375  * fax -9175


Clarify the semantics of forAll

Author: Hubert Baumeister, Rolf Hennicker, Alexander Knapp {baumeist,hennicke,knapp}@informatik.uni-muenchen.de

Description: Clarify the semantics of forAll

Rationale: 

According to the informal explanation (page 6-16) the following
expression

Set { 1 }->forAll(x | x/0 < 0)

would evaluate to false. However, according to the OCL definition it
evaluates to undefined.

Thus we propose to omit "otherwise, result is false" in the informal
explanation.

Date view Thread view Subject view Author view Attachment view