Issue 13948: UML2.2 chapter 16 : Actor constraint [1] has invalid OCL (uml2-rtf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: Actor constraint [1] says: self.ownedAttribute->forAll ( a | (a.association->notEmpty()) implies ((a.association.memberEnd.size() = 2) and (a.opposite.class.oclIsKindOf(UseCase) or (a.opposite.class.oclIsKindOf(Class) and not a.opposite.class.oclIsKindOf(Behavior))))

 

But Actor has no ownedAttribute property, so this constraint is ill-formed.

Resolution: 
Revised Text: 
Actions taken:
June 8, 2009: received issue
Discussion: 

End of Annotations:=====

m: Steve Cook <Steve.Cook@microsoft.com>
To: "issues@omg.org" <issues@omg.org>
Date: Mon, 8 Jun 2009 09:45:02 +0100
Subject: UML2.2 chapter 16 : Actor constraint [1] has invalid OCL
Thread-Topic: UML2.2 chapter 16 : Actor constraint [1] has invalid OCL
Thread-Index: AcnoFWnpK8YN/IuVSLG4cXMW9Fs+PQ==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US


Actor constraint [1] says: self.ownedAttribute->forAll ( a | (a.association->notEmpty()) implies ((a.association.memberEnd.size() = 2) and (a.opposite.class.oclIsKindOf(UseCase) or (a.opposite.class.oclIsKindOf(Class) and not a.opposite.class.oclIsKindOf(Behavior))))

 

But Actor has no ownedAttribute property, so this constraint is ill-formed.