12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Satisfying requirements for pervasive service c...
View graph of relations

« Back

Satisfying requirements for pervasive service compositions

Research output: Contribution to conferenceConference paper

Published

  • Peter Sawyer
  • Luca Cavallaro
  • Daniel Sykes
  • Nelly Bencomo
  • V. Issarny
Publication date2012
Number of pages6
Original languageEnglish

Conference

Conference7th International Workshop on Requirements@run.time (MRT'12)
CountryAustria
CityInnsbruck
Period2/10/122/10/12

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-o 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.