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]
Résumé : Les technologies omniprésentes dans notre environnement intègrent des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d'expérimentation pour la recherche et en particulier pour l'informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d'applications, chacun servant des objectifs spécifiques : confort, sécurité, accès à l'information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu'elles s'adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l'utilisateur des outils pour programmer lui-même ses applications. Notre contribution consiste non seulement à définir un tel outil, sous la forme d'un langage visuel paramétré par un champ d'applications, mais aussi à proposer une méthodologie dont l'objectif est de guider un utilisateur dans la programmation d'applications à l'aide de ce langage. Cette méthodologie est dédiée à l'orchestration d'entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d'applications. Afin d'augmenter la confiance de l'utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie.
Type de document :
Thèse
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2010. Français
Liste complète des métadonnées

Littérature citée [83 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00718634
Contributeur : Zoé Drey <>
Soumis le : mardi 17 juillet 2012 - 17:10:56
Dernière modification le : mardi 5 février 2019 - 15:26:04
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 03:35:09

Identifiants

  • HAL Id : tel-00718634, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

283

Téléchargements de fichiers

676