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

Fabien Latry 1, 2 Julien Mercadal 1, 2 Charles Consel 1, 2
1 PHOENIX - Programming Language Technology For Communication Services
INRIA Futurs, Université Sciences et Technologies - Bordeaux 1, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
Abstract : 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.
Type de document :
Communication dans un congrès
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems, Oct 2006, Portland, United States. 2006
Liste complète des métadonnées


https://hal.inria.fr/inria-00353576
Contributeur : Julien Mercadal <>
Soumis le : jeudi 15 janvier 2009 - 17:03:22
Dernière modification le : jeudi 10 septembre 2015 - 01:06:30
Document(s) archivé(s) le : vendredi 12 octobre 2012 - 09:40:29

Fichier

latry-al_gpce4qos06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00353576, version 1

Collections

Citation

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. 2006. <inria-00353576>

Partager

Métriques

Consultations de
la notice

334

Téléchargements du document

156