24 search results - page 3 / 5 » Verifying Temporal and Epistemic Properties of Web Service C... |
109
Voted
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
107
click to vote
ICWS
2007
IEEE
15 years 3 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
104
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
118
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...