Skip to Main content Skip to Navigation

Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire

Julien Mercadal 1
1 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 : The sheer size and complexity of today's software systems pose challenges for both their programming and verification, making it critical to raise the level of abstraction of software development beyond the code. However, the use of high-level descriptions in the development process still remains rudimentary, improving and guiding this process marginally. This thesis proposes a new approach to making software development simpler and safer. This approach is based on the use of domain-specific languages and a tight coupling between a specification and architecture layer, and an implementation layer. It consists of describing functional and non-functional aspects of a software system at a high level of abstraction, using the specification and architecture layer. These high-level descriptions are then analyzed and used to customize the implementation layer, greatly facilitating the programming and verification of the software system. We have validated our approach in the domain of pervasive computing systems development. From a complete domain analysis, we have introduced two domain-specific languages, Pantaxou and Pantagruel, dedicated to the orchestration of networked smart devices.
Complete list of metadata

Cited literature [147 references]  Display  Hide  Download
Contributor : Julien Mercadal Connect in order to contact the contributor
Submitted on : Wednesday, December 21, 2011 - 2:34:48 PM
Last modification on : Tuesday, October 13, 2020 - 2:41:59 PM
Long-term archiving on: : Monday, December 5, 2016 - 6:48:50 AM


  • HAL Id : tel-00654268, version 1



Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire. Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français. ⟨tel-00654268⟩



Record views


Files downloads