Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services

Résumé

The Domain-Specific Language (DSL) approach is being actively studied from both a software engineering viewpoint and a programming language viewpoint. It is being successfully applied to a variety of areas such as banking, graphics and networking. Yet, the concept of a DSL is still very vague, making both its applicability and implementation difficult. This paper introduces a layered approach to DSLs where (1) domain experts are provided with Domain-Specific Modeling Languages (DSMLs), requiring no programming skills and (2) implementation experts deal with Domain-Specific Programming Languages (DSPLs) that require a programming background but abstracts over the intricacies of underlying technologies. By separating domain and implementation concerns, we show that our layered DSL approach enables high-level tools to be used to both compile and reason about DSML programs. Compilation and program verification amount to defining high-level generative processes. We illustrate our approach with the domain of telephony service creation. We introduce a DSML for service creation and demonstrate the ease of compiling DSML programs using the Stratego/XT program transformation environment. Two compilation processes are defined for DSML programs targeting (1) a DSPL, illustrating a high-level compilation process and (2) the TLA+ specification language, exemplifying the verification of domain-specific properties.
Fichier principal
Vignette du fichier
latry-al_gpce4qos06.pdf (385.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00353576 , version 1 (15-01-2009)

Identifiants

  • HAL Id : inria-00353576 , version 1

Citer

Fabien Latry, Julien Mercadal, Charles Consel. Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services. Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems, Oct 2006, Portland, United States. ⟨inria-00353576⟩

Collections

CNRS INRIA INRIA2
148 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More