Issue 11085: 8.2.2 Well-formedness Rules for the Types Package (ocl2-rtf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: Thhis expression context TupleType inv: TupleType.allInstances()->forAll (t | ( t.allProperties()->forAll (tp | -- make sure at least one tuplepart has the same name -- (uniqueness of tuplepart names will ensure that not two -- tupleparts have the same name within one tuple) self.allProperties()->exists(stp|stp.name = tp.name) and -- make sure that all tupleparts with the same name conforms. self.allProperties()->forAll(stp | (stp.name = tp.name) and stp.type.conformsTo(tp.type)) ) implies self.conformsTo(t) ) ) should be context TupleType inv: TupleType.allInstances()->forAll (t | ( t.allProperties()->forAll (tp | -- make sure at least one tuplepart has the same name -- (uniqueness of tuplepart names will ensure that not two -- tupleparts have the same name within one tuple) self.allProperties()->exists(stp|stp.name = tp.name) and -- make sure that all tupleparts with the same name conforms. self.allProperties()->forAll(stp | (stp.name = tp.name) implies stp.type.conformsTo(tp.type)) ) implies self.conformsTo(t) ) ) it means "implies" instead of "and" in this part: (stp.name = tp.name) and stp.type.conformsTo(tp.type)

Resolution: 
Revised Text: n Section 8.2.1 TupleType, replace:

context TupleType 
inv: TupleType.allInstances()->forAll (t | 
( t.allProperties()->forAll (tp | 
-- make sure at least one tuplepart has the same name 
-- (uniqueness of tuplepart names will ensure that not two 
-- tupleparts have the same name within one tuple) 
self.allProperties()->exists(stp|stp.name = tp.name) and 
-- make sure that all tupleparts with the same name conforms. 
self.allProperties()->forAll(stp | (stp.name = tp.name) and 
stp.type.conformsTo(tp.type)) 
) 
implies 
self.conformsTo(t) 
) 

By

context TupleType 
inv: TupleType.allInstances()->forAll (t | 
( t.allProperties()->forAll (tp | 
-- make sure at least one tuplepart has the same name 
-- (uniqueness of tuplepart names will ensure that not two 
-- tupleparts have the same name within one tuple) 
self.allProperties()->exists(stp|stp.name = tp.name) and 
-- make sure that all tupleparts with the same name conforms. 
self.allProperties()->forAll(stp | (stp.name = tp.name) implies 
stp.type.conformsTo(tp.type)) 
) 
implies 
self.conformsTo(t) 
)
Actions taken:
May 31, 2007: received issue
October 16, 2009: closed issue
Discussion: 
Fixing needed "(stp.name = tp.name) and …" 
becomes "(stp.name = tp.name) implies …"
End of Annotations:=====

m: webmaster@omg.org
Date: 31 May 2007 01:00:06 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Peter Klein
Company: YMS
mailFrom: peter.zrnko@gmail.com
Notification: Yes
Specification: Object Constraint Language
Section: 8.2.2 Well-formedness Rules for the Types Package
FormalNumber: 1?
Version: 2.0
RevisionDate: formal/06-05-01
Page: 38
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; sk; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Description
Thhis expression context TupleType inv: TupleType.allInstances()->forAll (t | ( t.allProperties()->forAll (tp | -- make sure at least one tuplepart has the same name -- (uniqueness of tuplepart names will ensure that not two -- tupleparts have the same name within one tuple) self.allProperties()->exists(stp|stp.name = tp.name) and -- make sure that all tupleparts with the same name conforms. self.allProperties()->forAll(stp | (stp.name = tp.name) and stp.type.conformsTo(tp.type)) ) implies self.conformsTo(t) ) ) should be context TupleType inv: TupleType.allInstances()->forAll (t | ( t.allProperties()->forAll (tp | -- make sure at least one tuplepart has the same name -- (uniqueness of tuplepart names will ensure that not two -- tupleparts have the same name within one tuple) self.allProperties()->exists(stp|stp.name = tp.name) and -- make sure that all tupleparts with the same name conforms. self.allProperties()->forAll(stp | (stp.name = tp.name) implies stp.type.conformsTo(tp.type)) ) implies self.conformsTo(t) ) ) it means "implies" instead of "and" in this part: (stp.name = tp.name) and stp.type.conformsTo(tp.type)