Issue 12787: Unspecified constraint [2] on Activity (uml2-rtf) Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov) Nature: Uncategorized Issue Severity: Summary: Source: UML 2.2 Superstructure document and XMI http://www.omg.org/cgi-bin/doc?ptc/08-05-05 http://www.omg.org/cgi-bin/doc?ptc/08-05-12 Nature: Unspecified OCL constraint Summary: The following constraint on Activity (12.3.4) is unspecified: [2] An activity cannot be autonomous and have a classifier or behavioral feature context at the same time. Discussion: OCL 101. Revised Text: Change the specification of the constraint to the following: [2] An activity cannot be autonomous and have a classifier or behavioral feature context at the same time. self.isActive implies (self.getContext()->isEmpty() and self.classifierBehavior->isEmpty()) Change the Superstructure XMI accordingly. Resolution: Revised Text: Actions taken: August 15, 2008: received issue Discussion: End of Annotations:===== te: Sat, 16 Aug 2008 01:16:23 -0700 From: Nicolas Rouquette User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) To: uml2-rtf@omg.org Subject: Unspecified constraint [2] on Activity X-Source-IP: vpn-149-246-038.jpl.nasa.gov [128.149.246.38] X-Source-Sender: nicolas.rouquette@jpl.nasa.gov X-AUTH: Authorized Source: UML 2.2 Superstructure document and XMI http://www.omg.org/cgi-bin/doc?ptc/08-05-05 http://www.omg.org/cgi-bin/doc?ptc/08-05-12 Nature: Unspecified OCL constraint Summary: The following constraint on Activity (12.3.4) is unspecified: [2] An activity cannot be autonomous and have a classifier or behavioral feature context at the same time. Discussion: OCL 101. Revised Text: Change the specification of the constraint to the following: [2] An activity cannot be autonomous and have a classifier or behavioral feature context at the same time. self.isActive implies (self.getContext()->isEmpty() and self.classifierBehavior->isEmpty()) Change the Superstructure XMI accordingly. -- Nicolas.