Issue 10976: Section: 15.3.11 (uml2-rtf)
Source: Paranor AG (Dr. Earl D. Waldin, )
Nature: Revision
Severity: Minor
Summary: State.stateInvariant should subset ownedRule The stateInvariant property of State currently subsets Element.ownedElement. Given that a State is a Namespace and a stateInvariant is a Constraint, the stateInvariant property of State should subset ownedRule. Likewise, the opposite end of this association should subset Constraint.context instead of Element.owner. This change is needed so that a state invariant has a context and, thus, can be specified using OCL.

Resolution: 
Revised Text: 
Actions taken:
April 30, 2007: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 30 Apr 2007 07:03:58 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



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

Name: Earl Waldin
Company: Paranor AG
mailFrom: waldin@paranor.ch
Notification: Yes
Specification: Unified Modeling Language: Superstructure
Section: 15.3.11
FormalNumber: formal/2007-02-05
Version: 2.1.1
RevisionDate: 2/2007
Page: 547
Nature: Revision
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Description
State.stateInvariant should subset ownedRule The stateInvariant property of State currently subsets Element.ownedElement. Given that a State is a Namespace and a stateInvariant is a Constraint, the stateInvariant property of State should subset ownedRule. Likewise, the opposite end of this association should subset Constraint.context instead of Element.owner. This change is needed so that a state invariant has a context and, thus, can be specified using OCL.