24 search results - page 3 / 5 » Verifying Temporal and Epistemic Properties of Web Service C... |
IEEESCC
2005
IEEE
14 years 1 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 ...
ICWS
2007
IEEE
13 years 9 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 ...
PODS
2006
ACM
14 years 7 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
13 years 11 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...
BPM
2006
Springer
13 years 9 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...