OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Latombe, Florent and Crégut, Xavier and De Antoni, Julien and Pantel, Marc and Combemale, Benoit Coping with Semantic Variation Points in Domain-Specific Modeling Languages. (2015) In: 1st International Executable Modeling Workshop (EXE 2015) co-located with MODELS 2015, 27 September 2015 - 2 October 2015 (Ottawa, Canada).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
6MB

Abstract

Even if they exhibit differences, many Domain-Specific Modeling Languages (DSMLs) share elements from their concepts, notations and semantics. StateCharts is a well known family of DSMLs that share many concepts but exhibit notational differences and many execution semantics variants (called Semantic Variation Points – SVPs –). For instance, when two conflicting transitions in a state machine are enabled by the same event occurrence, which transition is fired depends on the language variant (Harel original StateCharts, UML, Rhapsody, etc.) supported by the execution tool. Tools usually provide only one implementation of SVPs. It complicates communication both between tools and end-users, and hinders the co-existence of multiple variants. More generally, Language Workbenches dedicated to the specification and implementation of eXecutable Domain-Specific Modeling Languages (xDSMLs) often do not offer the tools and facilities to manage these SVPs, making it a time-consuming and troublesome activity. In this paper, we describe a modularized approach to the operational execution semantics of xDSMLs and show how it allows us to manage SVPs. We illustrate this proposal on StateCharts.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor, a free open-access publication service of Sun SITE Central Europe operated under the umbrella of RWTH Aachen University. This paper appears in volume 1560 of Ceur Workshop Proceedings ISSN : 1613-0073 The definitive version is available at : http://ceur-ws.org/Vol-1560/paper4.pdf
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Other partners > Institut National des Sciences Appliquées de Rennes - INSA (FRANCE)
French research institutions > Institut National de la Santé et de la Recherche Médicale - INSERM (FRANCE)
Other partners > Institut Mines-Télécom (FRANCE)
Other partners > Université Nice Sophia Antipolis (FRANCE)
Other partners > Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Bretagne Sud - UBS (FRANCE)
Other partners > Université de Rennes 1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:06 Dec 2017 09:19

Repository Staff Only: item control page