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 metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/inria-00353576
Contributor : Julien Mercadal <>
Submitted on : Thursday, January 15, 2009 - 5:03:22 PM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Long-term archiving on : Friday, October 12, 2012 - 9:40:29 AM

File

latry-al_gpce4qos06.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00353576⟩

Share

Metrics

Record views

385

Files downloads

210