Sciweavers

120 search results - page 2 / 24
» Probing and Monitoring of WSBPEL Processes with Web Services
Sort
View
BTW
2009
Springer
90views Database» more  BTW 2009»
13 years 8 months ago
Streaming Web Services and Standing Processes
: Today, service orientation is a well established concept in modern IT infrastructures. Web services and WS-BPEL as the two key technologies handle large structured data sets very...
Steffen Preissler, Hannes Voigt, Dirk Habich, Wolf...
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 6 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
ICSOC
2005
Springer
13 years 10 months ago
Dynamo: Dynamic Monitoring of WS-BPEL Processes
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
Luciano Baresi, Sam Guinea
ICWS
2008
IEEE
13 years 6 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart
DEBU
2008
121views more  DEBU 2008»
13 years 5 months ago
Choreography Design Using WS-BPEL
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an ...
Oliver Kopp, Frank Leymann