Satisfying requirements for pervasive service compositions

Luca Cavallaro, Pete Sawyer, Daniel Sykes, Nelly Bencomo, Valérie Issarny

Research output: Chapter in Book/Report/Conference proceedingConference publication

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.
Original languageEnglish
Title of host publicationMRT '12 Proceedings of the 7th Workshop on Models@run.time
Place of PublicationNew York, NY (US)
PublisherACM
Pages17-22
Number of pages6
ISBN (Print)978-1-4503-1802-0
DOIs
Publication statusPublished - 2012
Event7th international workshop on Models@run.time - Innsbruck, Austria
Duration: 2 Oct 2012 → …

Conference

Conference7th international workshop on Models@run.time
Abbreviated titleMRT'12
CountryAustria
CityInnsbruck
Period2/10/12 → …

Fingerprint Dive into the research topics of 'Satisfying requirements for pervasive service compositions'. Together they form a unique fingerprint.

  • Research Output

    • 1 Conference contribution

    Summary of the 7th international workshop on Models@run.time

    Bencomo, N., Blair, G., Götz, S., Morin, B. & Rumpe, B., 1 Jan 2012, MRT '12 proceedings of the 7th Workshop on Models@run.time . New York, NY (US): ACM, p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference publication

  • Cite this

    Cavallaro, L., Sawyer, P., Sykes, D., Bencomo, N., & Issarny, V. (2012). Satisfying requirements for pervasive service compositions. In MRT '12 Proceedings of the 7th Workshop on Models@run.time (pp. 17-22). ACM. https://doi.org/10.1145/2422518.2422522