Issue 4893: Missing constraint on the FCMOperation invoked by an EAICompoundOperator (uml-eai-ftf) Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com) Nature: Uncategorized Issue Severity: Summary: Document: UML Profile and Interchange Models for EAI Section: 6.3.10.2 (EAICompoundOperator) Description: Section 6.3.10.1 includes a constraint that requires the FCMOperation invoked by an EAIPrimitiveOperator to be an EAIMessageOperation. An EAICompoundOperator is a kind of FCMCommand, which is a kind of FCMFunction, and, therefore, it also has an invoked FCMOperation. But there is not constraint on this operation in Section 6.3.10.2. Further, this operation is important, because it would seem to be the operation whose parameters provide the basis for the terminals of the EAICompoundOperator and, therefore, for the terminals of EAISources and EAISinks in the implementingComposition of the operator. Recommendation: Add the following constraints to EAICompoundOperator. An EAICompoundOperator invokes an EAIMessageOperation. self.invokes->oclIsKindOf(EAIMessageOperation) All EAISources in the implementingComposition of an EAICompoundOperator must implement the EAIMessageOperation invoked by the EAICompoundOperator. self.implementingComposition.nodes-> select(oclIsKindOf(EAISource))->forAll(implements = self.invokes) Resolution: Revised Text: Actions taken: February 22, 2002: received issue Discussion: End of Annotations:===== From: Edwin Seidewitz To: "'uml-eai-ftf@omg.org'" Cc: "'issues@omg.org'" , Jean Payne , "Igor Teselko (E-mail)" Subject: Issues on the UML for EAI Specification (4) Date: Fri, 22 Feb 2002 17:11:15 -0500 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C1BBED.D89AC730" X-UIDL: Dlj!!pkk!!im2e9~AB!! Yet more issues on Chapter 6. Issue: Missing constraint on the FCMOperation invoked by an EAICompoundOperator Document: UML Profile and Interchange Models for EAI Section: 6.3.10.2 (EAICompoundOperator) Description: Section 6.3.10.1 includes a constraint that requires the FCMOperation invoked by an EAIPrimitiveOperator to be an EAIMessageOperation. An EAICompoundOperator is a kind of FCMCommand, which is a kind of FCMFunction, and, therefore, it also has an invoked FCMOperation. But there is not constraint on this operation in Section 6.3.10.2. Further, this operation is important, because it would seem to be the operation whose parameters provide the basis for the terminals of the EAICompoundOperator and, therefore, for the terminals of EAISources and EAISinks in the implementingComposition of the operator. Recommendation: Add the following constraints to EAICompoundOperator. An EAICompoundOperator invokes an EAIMessageOperation. self.invokes->oclIsKindOf(EAIMessageOperation) All EAISources in the implementingComposition of an EAICompoundOperator must implement the EAIMessageOperation invoked by the EAICompoundOperator. self.implementingComposition.nodes-> select(oclIsKindOf(EAISource))->forAll(implements = self.invokes)