We address the problem of ensuring that, when an application executing a service binds to a service that matches required functional properties, both the application and the service can work together, i.e., their composition is consistent. Our approach is based on a component algebra for service-oriented computing in which the configurations of applications and of services are modelled as async...

The Service-Oriented Architecture (soa) has become one of the most popular approaches to building large-scale network applications. The web service technologies are de facto the default implementation for soa. Simple Object Access Protocol (soap) is the key and fundamental technology of web services. Service composition is a way to deliver complex services based on existing partner services. Se...

In this paper we focus on a composition model of services, which are composed from pre-programmed components represented as Java classes. The main part of the paper is devoted to the examples of services synthesized automatically on the basis of their logical specifications. We use a simple logic and a specification language that enable us to reason about and deploy components automatically. Th...

In this paper we explore the use of action systems for distributed service composition Distributed systems can be composed out of a basic compu tation and a set of services Even though this way of designing a system out of components helps in managing the derivation task formal descrip tion techniques are needed due to the complexity of distributed systems We propose a method where services or ...

execution plan: a composite service in the representation format of the run-time execution technology. Abstract plan: a high-level schema that describes the control flow between atomic services, which form a composite service.plan: a high-level schema that describes the control flow between atomic services, which form a composite service. Abstract service: a high-level description of the capabi...

With the rapid increasing of the number of services in Web environment, single or simple composition of the service is unable to provide high-quality service for requesters. Although dynamic service composition provides the automatic composition methods for machines, it cannot handle complex service requests. The main objective of researching Semantic Web is to extend the current WorldWide-Web,...

Incorporating service composition and pervasive computing into managing user’s everyday activities gives rise to the paradigm of Pervasive Service Composition for everyday life. This paper presents a novel generic model for services supporting everyday activities. The resulting service composition consists of local services within service peers and services are executed as specified in peer coo...

The critical issue of web services success is the ability to compose web services in order to build complex added-value services. In web service compositions both functional and non functional properties, i.e. quality of service, should be taken into account. The quality of service in web service compositions plays a vital role and has opened a wide spectrum of challenges. We survey and analyze...