Defining MARTE’s VSL as an Extension of Alf
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.
KeywordsType System Primitive Type Syntactic Rule Call Expression Syntactic Construct
Unable to display preview. Download preview PDF.
- 1.OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2010)Google Scholar
- 2.OMG: Action Language for Foundational UML (Alf), Beta 1 (2010)Google Scholar
- 3.OMG: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.0 (2011)Google Scholar
- 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.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.Chattopadhyay, S.: Compiler Design. Prentice Hall of India, Englewood Cliffs (2008)Google Scholar