Issue 11853: MARTE-AADL Issue 6 (marte-ftf) Source: THALES (Dr. Madeleine Faugere, madeleine.faugere(at)thalesgroup.com) Nature: Enhancement Severity: Significant Summary: MARTE provides a language for expressions (VSL), including mathematical, logical, and time expressions. AADL also provides the ability to specify expressions. A detailed mapping should be provided in order to transform VSL expressions into AADL expressions. AADL is more limited in terms of expressions. We tried to not grow the property expressions into a full constraint language but offer the constraint language through the annex mechanism (construct). In this case we may define an AADL annex that covers the constraint expression capabilities of VSL in MARTE. Also in MARTE properties carry meta information about the property values as attributes. At this time in AADL we do not support a general attribute mechanism on properties (properties on properties – although it turns out the meta model of AADL has that in). Here we need to make some decisions on the AADL side. Input on what we should do better on the AADL side is welcome Resolution: AADL expression language and VSL language are not based on the same construction mechanism. These language alignments implies de definition of new features on the AADL side, action is not a priority at the moment in the AADL communauty. Disposition: Closed, no change Revised Text: Actions taken: December 21, 2007: received issue October 16, 2009: closed issue Discussion: Discussion: A detailed mapping should be provided in order to transform VSL expressions into AADL expressions. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 21 Dec 2007 04:57:42 -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 6] MARTE provides a language for expressions (VSL), including mathematical, logical, and time expressions. AADL also provides the ability to specify expressions. A detailed mapping should be provided in order to transform VSL expressions into AADL expressions. AADL is more limited in terms of expressions. We tried to not grow the property expressions into a full constraint language but offer the constraint language through the annex mechanism (construct). In this case we may define an AADL annex that covers the constraint expression capabilities of VSL in MARTE. Also in MARTE properties carry meta information about the property values as attributes. At this time in AADL we do not support a general attribute mechanism on properties (properties on properties . although it turns out the meta model of AADL has that in). Here we need to make some decisions on the AADL side. Input on what we should do better on the AADL side is welcome.