MARTE 1.0b2 FTF Avatar
  1. OMG Issue


  • Key: MARTE-99
  • Legacy Issue Number: 11853
  • Status: closed  
  • Source: THALES ( Madeleine Faugere)
  • 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

  • Reported: MARTE 1.0b1 — Fri, 21 Dec 2007 05:00 GMT
  • Disposition: Resolved — MARTE 1.0b2
  • Disposition Summary:

    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
    Disposition: Closed, no change

  • Updated: Fri, 6 Mar 2015 20:58 GMT