Issue 14871: MARTE-AADL component implmentation modeling (marte-rtf) Source: THALES (Dr. Madeleine Faugere, madeleine.faugere(at)thalesgroup.com) Nature: Clarification Severity: Significant Summary: Upgrade AADL component declaration relationship to a AADL component implementation (UML Realization -> UML Component Realization) Resolution: An AADL component type specifies the external interface of a component that its implementations satisfy. It contains declarations that represent features of a component and property associations. An AADL component implementation represents the realization of a component in terms of subcomponents, their connections, flow sequences, properties, component modes and mode transitions. UML 2 “Realization” semantics makes references to a specialized abstraction relationship between two sets of model elements, one representing a specification and the other representing an implementation of the latter. The UML 2 “ComponentRealization” concepts refine the “Realization” concepts, reducing the subset of linked elements to UML Components and Classifiers. This concepts suits better the the AADL component type/implementation relationship. Revised Text: Annex A.2.2.2 Remplace second paragraph with “ Component declarations and implementation could be modelized in different packages named Declaration and Implementation as shown Figure A.1 . A Uml “ComponentRealization” will be used to formalize this implementation relationship (“Gps” component can have two different implementations named “Gps.Basic” and “Gps.Handheld”). Component declaration and implementation could also be extended using a UML Generlization link (“Gps.handled” implementation extends “Gps.Basic”implementation) “ Actions taken: December 17, 2009: received issue January 14, 2011: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 17 Dec 2009 04:44:03 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Madeleine Faugere Company: Thales mailFrom: madeleine.faugere@thalesgroup.com Notification: Yes Specification: UML Profile for MARTE, v1.0 Section: A.2.2.2 FormalNumber: formal/09-11-02 Version: 1.0 RevisionDate: 11/2009 Page: 376 Title: MARTE-AADL component implmentation modeling Nature: Clarification Severity: Significant test: 3qw8 B1: Report Issue Description: Upgrade AADL component declaration relationship to a AADL component implementation (UML Realization -> UML Component Realization)