Abstract
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.
Chapter PDF
References
OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2010)
OMG: Action Language for Foundational UML (Alf), Beta 1 (2010)
OMG: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.0 (2011)
Espinoza, H.: An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems, PhD Thesis (September 2007)
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)
Chattopadhyay, S.: Compiler Design. Prentice Hall of India, Englewood Cliffs (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cuccuru, A., Gérard, S., Terrier, F. (2011). Defining MARTE’s VSL as an Extension of Alf. In: Whittle, J., Clark, T., Kühne, T. (eds) Model Driven Engineering Languages and Systems. MODELS 2011. Lecture Notes in Computer Science, vol 6981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24485-8_51
Download citation
DOI: https://doi.org/10.1007/978-3-642-24485-8_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24484-1
Online ISBN: 978-3-642-24485-8
eBook Packages: Computer ScienceComputer Science (R0)