Issue 14520: A passive class should not be able to specialize an active class (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.2.2.2.3 Class If a class has any parents that are active, then the class should be active, since it effectively “inherits” the classifier behaviors from its active parents. (This would still allow an active class to have passive parents, though.) Resolution: Agreed. Revised Text: In Subclause 7.2.2.2.3 Class, add the constraint [2] active_class_specialization Only an active class may specialize an active class. self.parents()->exist(isActive) implies self.isActive Actions taken: October 6, 2009: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== ubject: A passive class should not be able to specialize an active class Date: Tue, 6 Oct 2009 16:34:40 -0400 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: A passive class should not be able to specialize an active class thread-index: AcpGvT3NxSLmqXZXRg2p60dlD0HIjQ== From: "Ed Seidewitz" To: Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03) Subclause: 7.2.2.2.3 Class If a class has any parents that are active, then the class should be active, since it effectively .inherits. the classifier behaviors from its active parents. (This would still allow an active class to have passive parents, though.)