The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based modeling of the behavior of Web services. In the context of Semantic Web services, the logic-based approach has many applications, including service discovery, service choreography, enactment, and contracting for servic...

While web service technology is becoming a de facto standard for integration of business applications, it is also rapidly emerging as an effective means for achieving inter-operability among the devices in network centric ubiquitous systems. When such a web service enabled device engages in a conversation with a service provider, it becomes necessary to define an interaction logic required betw...

The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we focus on the problem of retrieving a web service, which can play a given choreography role, preserving at the same time a c...

The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we focus on the problem of retrieving a web service, which can play a given choreography role, preserving at the same time a c...

Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriente...

Web Service choreography management challenges the research on Service Oriented Architectures: different from Web Service composition, where a central orchestrator process invokes the Web Service suppliers, a choreographed service is decentralized and it is based on the coordination of a set of Web Service suppliers having a partial view of the overall service. In this paper, we present a frame...

Web services are loosely-coupled software components designed to support interoperable machineto-machine interaction over the Internet. To achieve such interoperability, web services are accesible through W3C web standards, independently of which language, operation system, or hardware platform they are developed. Due to these characteristics, simple web services can be combined in more complex...

This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Calculus, based on the computational logic SCIFF framework. Our choice enables us to enrich DecSerFlow and the ...

Nowadays, Web services technologies are adequate for designing and implementing complex inter-enterprise business applications. Web services choreography defines the required behaviors of Web services which participate in implementing such applications with their interactions through message exchanges. The designer of the application collects the Web services that implement the defined choreogr...

Recently web services choreography working group of W3C has published the working draft on WS-CDL (Web Services Choreography Description Language) version 1.0 which defines reusable common rules to govern the ordering of exchanged messages between web services participants. This paper considers a computing environment where mobile clients are interacting with web service providers based on a WS...