Issue 9914: Section: 7.5.9 (ocl2-rtf)
Source: LIANTIS GmbH (Mr. Constantin Szallies, constantin.szallies(at)liantis.com)
Nature: Clarification
Severity: Minor
Summary: The spec states: ---- The operation oclInState(s) results in true if the object is in the state s. Values for s are the names of the states in the statemachine(s) attached to the Classifier of object. ---- How does this relate to the uml metamodell? A BehavioredClassifier may have several ownedBehaviors but only one(!) of those behaviors may be the behavior of the classifier himself. The other behaviors may be specifications for behavioral features of the classifier. ---- Clarification: Possible states for the operation oclInState(s) are all states of the statemachine that defines the classifier's behavior (property 'classifierBehavior' of the 'BehavioredClassifier' metaclass). 

Resolution: 
Revised Text: In Section 7.5.9, replace 
" Values for s are the names of the states in the statemachine(s) attached to the Classifier of object." 

by 

"Possible states for the operation oclInState(s) are all states of the statemachine that defines the classifier's behaviour"

Actions taken:
July 11, 2006: received issue
October 16, 2009: closed issue
Discussion: 
The clarification suggested by the author of the issue solves the problem.
End of Annotations:=====

m: webmaster@omg.org
Date: 11 Jul 2006 03:38:33 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



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

Name: Constantin Szallies
Company: Liantis GmbH & Co KG
mailFrom: constantin.szallies@liantis.com
Notification: Yes
Specification: Object Constraint Language
Section: 7.5.9
FormalNumber: formal/06-05-01
Version: 2.0
RevisionDate: 03/01/2006
Page: 20
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322; InfoPath.1)
Description
The spec states: ---- The operation oclInState(s) results in true if the object is in the state s. Values for s are the names of the states in the statemachine(s) attached to the Classifier of object. ---- How does this relate to the uml metamodell? A BehavioredClassifier may have several ownedBehaviors but only one(!) of those behaviors may be the behavior of the classifier himself. The other behaviors may be specifications for behavioral features of the classifier. ---- Clarification: Possible states for the operation oclInState(s) are all states of the statemachine that defines the classifier's behavior (property 'classifierBehavior' of the 'BehavioredClassifier' metaclass).