Issue 14519: Active class should not have to have classifier behaviors (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 Constraint [1] “If isActive is true, then the class must be a behavior or have a classifier behavior” is too strong. It should at least be possible to have an abstract active class that does not have a classifier behavior. Indeed, the execution model for an active class still works even if concrete classes are allowed to have no classifier behavior (instances just don’t do anything once started), so perhaps the constraint is not necessary at all. Resolution: It is agreed that it is not necessary to require that an active class have a classifier behavior. However, it is still necessary to have a constraint requiring a class to be active if it has a classifier behavior. Revised Text: In Subclause 7.2.2.2.3 Class, replace constraint [1] with: [1] active_class_classifier_behavior Only active classes may have classifier behaviors. self.classifierBehavior->notEmpty() implies self.isActive Actions taken: October 6, 2009: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== ubject: Active class should not have to have classifier behaviors Date: Tue, 6 Oct 2009 15:51:41 -0400 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Active class should not have to have classifier behaviors 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 Constraint [1] .If isActive is true, then the class must be a behavior or have a classifier behavior. is too strong. It should at least be possible to have an abstract active class that does not have a classifier behavior. Indeed, the execution model for an active class still works even if concrete classes are allowed to have no classifier behavior (instances just don.t do anything once started), so perhaps the constraint is not necessary at all.