JCJC - Jeunes chercheuses & jeunes chercheurs

PERvasive Service cOmposition – PERSO

Submission summary

Pervasive Computing (PerCom) envisions the unobtrusive diffusion of computing and networking resources in physical environments, enabling users to access information and computation anywhere and at anytime, in a user-centric way. Ambient Intelligence (AmI) is a strategic domain for the EC that complements PerCom with a more everyday user- or consumer-oriented application of computation integrating into physical environments. Service-Oriented Computing (SOC) is a recent computing paradigm which seems particularly appropriate to PerCom and AmI. Therein, networked devices and their hosted applications are abstracted as services delivered and consumed on demand. The interest in SOC (e.g., using Web Services – WS) has vertically increased in the last five years as it can provide the answer to the integration of heterogeneous devices, software platforms, applications and, finally, whole systems, whether on the Web, on wireless networks or on enterprise intranets. Nevertheless, the SOC paradigm alone cannot guarantee valid (automatic) service composition in the open pervasive environment. Issues include: (i) interaction between services is based on their syntactic description, for which common understanding is hardly achievable in open environments; (ii) service behaviour is often assumed to be simple, i.e., reduced to stateless service invocations, or assumed to follow a standard interaction model, e.g., client-server; and (iii) non-functional properties of service compositions, such as quality of service (QoS) and context, are not taken into account, which makes resulting user's satisfaction in AmI highly uncertain. The objectives of the proposed research project comprise the study, analysis and elaboration of a comprehensive approach to service composition in pervasive environments. We explicitly associate the research issues identified above with three description levels for service interfaces: behavioural level, non-functional level and semantic level. These three levels enrich the standard description level for service interfaces, which is the service signature level. We specifically aim at supporting all three advanced description levels and their integration towards a thorough approach to service composition. Two axes are further identified in the research. The first axis concerns the foundations of service composition in terms of underlying formal models and related algorithms for: service interface specification; service discovery based on a required interface specification; service composition and adaptation, the latter when composed services do not perfectly match; service execution semantics; and composite service reconfiguration, when conditions change during service execution. More specifically, we propose to base interface descriptions on enrichments of formal models such as Labelled Transition Systems (yielding, e.g., Symbolic Transition Systems) or Process Algebras (yielding, e.g., Temporal Process Algebras). We have shown in recent work that integration of formal models is possible on top of a strong formal basis. We propose to exploit and extend further these results towards the integration of interface description levels both from a model viewpoint – which will enable integrated model-based service composition at different interface description levels – and from an algorithmic viewpoint – which will enable integration of the individual service composition algorithms related to each interface description level. We have in previous work produced base results regarding the latter viewpoint. Model-based composition techniques will be addressed first in order to promote formal and language-independent solutions. In a second step, model transformation into selected service languages or extensions will be tackled to associate models with existing service language standards. Further on, we will address assessment of the proposed solutions through the development of a prototype tool for model-based service composition. The special features of the pervasive environment will be taken into account all through our approach and always in view of our second research axis. This second axis concerns the application of the elaborated first axis outcomes to the runtime pervasive environment, tackling issues such as: efficiency and performance of algorithms for the interactive pervasive environment; resource consumption on resource-constrained portable devices; monitoring mechanisms for detecting change of conditions and for triggering composite service reconfiguration; runtime mechanisms for ensuring QoS in the face of change.

Project coordination

Pascal POIZAT (Organisme de recherche)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


Help of the ANR 133,464 euros
Beginning and duration of the scientific project: - 36 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter