Issue 11850: MARTE-AADL Issue 3 (marte-ftf) Source: THALES (Dr. Madeleine Faugere, madeleine.faugere(at)thalesgroup.com) Nature: Enhancement Severity: Significant Summary: [MARTE-AADL Issue 3] The set of new stereotypes provided in the AADL annex of MARTE (e.g., port group, subprogram, data type) seems to show that MARTE (and UML) does not support some AADL concepts. However: a) AADL Subprogram clearly maps to an UML Operation. More refined Operations can be modelled by “Requested Service” (GQAM chapter, p.263). b) AADL Data concept clearly maps to MARTE MutualExclusionResource (GRM chapter) or SharedResource (SAM chapter). The latter includes additional stereotype attributes useful for schedulability analysis. It may be a combination of both. This brings up the question of what the overlap and difference is between MutualExclusionResource and SharedResource. One represents the mechanism to achieve mutual exclusion, while the second is the entity that may require mutual exclusion in the context of concurrent access. Resolution: Summary table, most component and associated features representation and property table have been upgraded and aligned: a) on MARTE issues for ports, b) data representation, c) data and bus access representations, d) new reference on flow and mode sections. Non MARTE stereotypes have been removed. Revised Text: see ptc/2009-05-12 pages 95 - 117 Actions taken: December 21, 2007: received issue October 16, 2009: closed issue Discussion: Discussion: In order to keep the guidance role of the annex A, and the in there defined stereotypes shall be removed. UML/MARTE construct have been proposed in issue #11848 to express AADL data, AADL System, AADL end-to-end flows, inverse concept, AADL Port Group, Server subprogram, AADL subprogram, Thread group. Delayed (sampled, immediate) communication types are missing in MARTE. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 21 Dec 2007 04:55:13 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Madeleine Faugere, Huascar Espinoza, Peter Feiler Company: Thales TRT, CEA LIST, CMU SEI mailFrom: madeleine.faugere@thalesgroup.com Notification: Yes Specification: UML Profile for MARTE Section: Annex A: AADL-like models with MARTE FormalNumber: ptc/07-08-04 Version: Beta 1 RevisionDate: 21/12/07 Page: 345-382 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 2.0.50727; InfoPath.1) Description [MARTE-AADL Issue 3] The set of new stereotypes provided in the AADL annex of MARTE (e.g., port group, subprogram, data type) seems to show that MARTE (and UML) does not support some AADL concepts. However: a) AADL Subprogram clearly maps to an UML Operation. More refined Operations can be modelled by .Requested Service. (GQAM chapter, p.263). b) AADL Data concept clearly maps to MARTE MutualExclusionResource (GRM chapter) or SharedResource (SAM chapter). The latter includes additional stereotype attributes useful for schedulability analysis. It may be a combination of both. This brings up the question of what the overlap and difference is between MutualExclusionResource and SharedResource. One represents the mechanism to achieve mutual exclusion, while the second is the entity that may require mutual exclusion in the context of concurrent access.