Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Julien Mercadal Connect in order to contact the contributor
Submitted on : Thursday, January 15, 2009 - 5:03:22 PM
Last modification on : Saturday, June 25, 2022 - 7:46:26 PM
Long-term archiving on: : Friday, October 12, 2012 - 9:40:29 AM


Files produced by the author(s)


  • HAL Id : inria-00353576, version 1



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⟩



Record views


Files downloads