Skip to Main content Skip to Navigation

Vers une méthodologie dédiée à l'orchestration d'entités communicantes

Zoé Drey 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 : Networked technologies, omnipresent in our surroundings, have increasingly more computing power, offering interfaces to easily access their functionalities. These technologies offer a wide testing ground for research, especially in applied computer science. They form an evident assistive support to help people in their daily activities. Applications that address people needs are found in various application areas, each related to specific goals : comfort, security, information management, or assisted-living. The goal of this thesis is to propose an approach that bridges the gap between a user requirements and the applications that satisfy them. To do so, we define Pantagruel, an expressive and accessible visual language that is parameterized by an application area. To further reconcile accessibility with expressiveness, we provide the user with a domain-specific methodology to guide the development of applications. This methodology draws a bridge between the user needs and the applications, and is strongly coupled with the language concepts. In doing so, satisfying the requirements and evolving the applications according to new requirements is facilitated. To increase the user confidence in using Pantagruel language, and because the applications aim at being seamlessly integrated in his everyday life, Pantagruel programs need to be reliable. To this end, we extend our methodology with a programming approach driven by properties. These properties can be verified using the language semantics, which is formally defined.
Complete list of metadata

Cited literature [83 references]  Display  Hide  Download
Contributor : Zoé Drey Connect in order to contact the contributor
Submitted on : Tuesday, July 17, 2012 - 5:10:56 PM
Last modification on : Saturday, June 25, 2022 - 7:41:25 PM
Long-term archiving on: : Thursday, October 18, 2012 - 3:35:09 AM


  • HAL Id : tel-00718634, version 1



Zoé Drey. Vers une méthodologie dédiée à l'orchestration d'entités communicantes. Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2010. Français. ⟨tel-00718634⟩



Record views


Files downloads