Satisfying Requirements for Pervasive Service Compositions

Abstract : Pervasive environments are characterised by highly heterogeneous services and mobile devices with dynamic availability. Approaches such as that proposed by the Connect project provide means to enable such systems to be discovered and composed, through mediation where necessary. As services appear and disappear, the set of feasible compositions changes. In such a pervasive environment, a designer encounters two related challenges: what goals it is reasonable to pursue in the current context and how to use the services presently available to achieve his goals. This paper proposes an approach to design service compositions, facilitating an interactive process to find the trade-off between the possible and the desirable. Following our approach, the system finds at runtime, where possible, compositions related to the developer's requirements. This process can realise the intent the developer specifies at design time, taking into account the services available at runtime, without a prohibitive level of pre-specification, inappropriate for such dynamic environments.
Type de document :
Communication dans un congrès
7th International Workshop on Models@run.time (MRT 2012), Oct 2012, Innsbruck, Austria. ACM, 2012
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger
Contributeur : Nelly Bencomo <>
Soumis le : dimanche 14 octobre 2012 - 23:01:34
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : mardi 15 janvier 2013 - 02:45:09


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00733346, version 1



Luca Cavallaro, Pete Sawyer, Daniel Sykes, Nelly Bencomo, Valérie Issarny. Satisfying Requirements for Pervasive Service Compositions. 7th International Workshop on Models@run.time (MRT 2012), Oct 2012, Innsbruck, Austria. ACM, 2012. 〈hal-00733346〉



Consultations de la notice


Téléchargements de fichiers