Sciweavers

102 search results - page 5 / 21
» A Behavioural Congruence for Web Services
Sort
View
CSAC
2006
13 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
SEFM
2007
IEEE
14 years 29 days ago
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
Javier Cámara, Gwen Salaün, Carlos Can...
INTELLCOMM
2004
Springer
14 years 1 days ago
On Using WS-Policy, Ontology, and Rule Reasoning to Discover Web Services
This paper proposes an approach to behaviour-based discovery of Web Services by which business rules that govern service behaviour are described as a policy. The policy is represen...
Natenapa Sriharee, Twittie Senivongse, Kunal Verma...
DEXA
2006
Springer
152views Database» more  DEXA 2006»
13 years 10 months ago
Concurrency Management in Transactional Web Services Coordination
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...
Adnene Guabtni, François Charoy, Claude God...
IPPS
2005
IEEE
14 years 8 days ago
WSPeer - An Interface to Web Service Hosting and Invocation
— This paper introduces WSPeer, a high level interface to hosting and invoking Web services. WSPeer aims to support the diversification of Web service deployments by providing a...
Andrew Harrison, Ian J. Taylor