Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Florent Latombe 1 Xavier Crégut 2 Julien Deantoni 3, 4 Marc Pantel 1 Benoit Combemale 5
2 ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
4 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
5 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Communication dans un congrès
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada. CEUR, 2015, <http://www.modelexecution.org/?page_id=1619>
Liste complète des métadonnées

https://hal.inria.fr/hal-01222999
Contributeur : Benoit Combemale <>
Soumis le : dimanche 1 novembre 2015 - 00:22:54
Dernière modification le : samedi 18 février 2017 - 01:20:41

Fichier

CopingWithSemanticVariationPoi...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01222999, version 1

Relations

Citation

Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale. Coping with Semantic Variation Points in Domain-Specific Modeling Languages. 1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada. CEUR, 2015, <http://www.modelexecution.org/?page_id=1619>. <hal-01222999>

Partager

Métriques

Consultations de
la notice

327

Téléchargements du document

120