Denotational Semantics of A User-Oriented, Domain-Specific Language

Julien Mercadal 1, 2 Zoé Drey 3 Charles Consel 4, 5
1 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
3 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire en sciences et technologies de l'information, de la communication et de la connaissance [Brest]
4 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks. Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that make it accessible to developers that do not necessarily have programming skills. It has been used to develop a number of applications by non-programmers. We show how the user-oriented programming concepts of Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used to derive an interpreter for Pantagruel and to provide a basis to reason about Pantagruel programs.
Type de document :
Article dans une revue
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. <10.4204/EPTCS.129.14>
Liste complète des métadonnées


https://hal.inria.fr/hal-00865381
Contributeur : Zoé Drey <>
Soumis le : jeudi 17 avril 2014 - 16:48:50
Dernière modification le : samedi 18 juin 2016 - 01:04:49
Document(s) archivé(s) le : vendredi 7 avril 2017 - 02:18:10

Fichier

1309.5141.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Julien Mercadal, Zoé Drey, Charles Consel. Denotational Semantics of A User-Oriented, Domain-Specific Language. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. <10.4204/EPTCS.129.14>. <hal-00865381>

Partager

Métriques

Consultations de
la notice

760

Téléchargements du document

380