Defining MARTE’s VSL as an Extension of Alf

  • Arnaud Cuccuru
  • Sébastien Gérard
  • François Terrier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981)


VSL and Alf are two OMG standards providing a textual notation for complex mathematical expressions and detailed activities respectively. Since these two notations have been designed by separate communities (real-time embedded for VSL and software engineering for Alf), they differ in syntax and semantics. Nevertheless, they clearly exhibit intersections in their form and use cases. The purpose of this article is to demonstrate that an alignment effort between the two languages would be beneficial for both users and tool providers. We show that most of the syntactic constructs introduced in VSL are related to general-purpose concerns (i.e., they are not specific to the real-time domain), most of them being covered by Alf. In this paper, we first identify the subset of VSL which is valuable for the real-time domain, and then propose a way of extending Alf with this subset.


Type System Primitive Type Syntactic Rule Call Expression Syntactic Construct 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2010)Google Scholar
  2. 2.
    OMG: Action Language for Foundational UML (Alf), Beta 1 (2010)Google Scholar
  3. 3.
    OMG: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.0 (2011)Google Scholar
  4. 4.
    Espinoza, H.: An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems, PhD Thesis (September 2007)Google Scholar
  5. 5.
    Cuccuru, A., Mraidha, C., Radermacher, A., Gérard, S., Rioux, L., Vergnaud, T., Hachet, O.: Methodological Guidelines on the Usage of MARTE VSL for Specification of Time Constraints. In: 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Grenoble, France (March 2011)Google Scholar
  6. 6.
    Chattopadhyay, S.: Compiler Design. Prentice Hall of India, Englewood Cliffs (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Arnaud Cuccuru
    • 1
  • Sébastien Gérard
    • 1
  • François Terrier
    • 1
  1. 1.CEA LISTGif-sur-YvetteFrance

Personalised recommendations