In the Language Grid, automatically composing Web services is a crucial task. This task involves vertical and horizontal composition. Vertical composition consists of defining an appropriate combination of simple processes to perform a composition task. Horizontal composition consists of determining the most appropriate Web service from among a set of functionally equivalent ones for each compo...

Techniques of automated service composition can shorten development time by generating a concrete service composition out of a set of abstract composition requirements. However, no existing fully automated approach is able to deal with timed services and timed composition requirements. In this work, we propose an approach for the automated composition of timed services, represented as timed i/o...

In this paper, we identify two major issues related to Web service composition: the lack of formal specifications for services and service compositions and the inability of current service composition approaches to support dynamicity and QoS-awareness in an effective and scalable way. We analyze the underlying research challenges for each of these issues and propose a tentative research plan to...

With the emergence of X-as-a-Service (e.g., software as a service, platform as a service, and infrastructure as a service), QoS (quality of service) delivery is becoming increasingly important as users are becoming more and more demanding on good or better services. Traditional service delivery mainly focuses on function or information provisioning, and leaves behind service quality. In this pa...

Service composition provides a promising solution to integrate service components and business process, enabling cooperation with new partners. It increasingly relies on multiple service providers to fulfill a given complex business goal. Despite significant progress, most approaches of service composition are still impractical and almost unusable, because the current methods of service composi...

This paper presents an active quality of service (QoS) aware service composition protocol for mobile ad hoc networks (MANETs), with the goal of conserving resources subject to QoS requirements. A problem of QoS based service composition in MANETs is transformed into a problem of the service path discovery. We extend Dynamic Source Routing protocol to discover and compose elementary services acr...

Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service composition methods can hardly meet the requirements of dynamism and performance for pervasive computing. This paper proposes a Petri net based service model to formally describe the function of services and employs a parameter...

The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Composition) is to develop a framework that service providers can use in order to model, develop, and execute composite services. The FRESCO framework will include conceptual tools, such as models for service composition and aggre...

The relationships between the loosely coupled services of a composition can be non-deterministic and unreliable. This requires that a composite application have the ability to adaptively reconfigure itself to continuously satisfy the system requirements. Imperative composition approaches, such as BPEL, do not provide the abstractions necessary to create adaptive compositions. In this paper we i...

The development of pervasive computing has put the light on a challenging problem: how to dynamically compose services in heterogeneous and highly changing environments? We propose a survey that defines the service composition as a sequence of four steps: the translation, the generation, the evaluation, and finally the execution. With this powerful and simple model we describe the major service...