Issue 14529: OCL incomplete for CallBehaviorAction::proper_context (fuml-ftf)
Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03)
Subclause:  7.5.2.2.3 CallBehaviorAction

 

The OCL for constraint [3] of CallBehaviorAction (propert_context) is incomplete.


Resolution: Agreed.
Revised Text: In Subclause 7.5.2.2.3 CallBehaviorAction, replace constraint [3] proper_context with
self.behavior.context->notEmpty() implies
  self.context->union(self.context.allParents())->includes(self.behavior.context)

Actions taken:
October 6, 2009: received issue
July 23, 2010: closed issue
Discussion: 

End of Annotations:=====
ubject: OCL incomplete for CallBehaviorAction::proper_context
Date: Tue, 6 Oct 2009 19:09:01 -0400
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: OCL incomplete for CallBehaviorAction::proper_context
thread-index: AcpG2f3qk/LMCYZVS0iyhlLdCpJRvQ==
From: "Ed Seidewitz" <ed-s@modeldriven.com>
To: <Issues@omg.org>


Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03)
Subclause:  7.5.2.2.3 CallBehaviorAction

 

The OCL for constraint [3] of CallBehaviorAction (propert_context) is incomplete.