Analysis of interacting BPEL web services

By Xiang Fu, Tevfik Bultan, Jianwen Su. The Web Conference, 2004

729 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Automated composition of Web services via planning in asynchronous domains (2005, background): “A further crucial characteristic of web services has been again widely recognized ( Fu, Bultan, & Su 2004; Bultan et al. 2003; Foster et al. 2003), but has never been addressed by planning for web service composition: web services interactions are intrinsically asynchronous.”
Formal semantics and analysis of control flow in WS-BPEL (2007, methodology): “WSAT (Web Service Analysis Tool) [16,17] is a formal specification, verification, and analysis tool for web service compositions based on so-called Guarded Automata (GA).”
Soundness of workflow nets: classification, decidability, and analysis (2011, background): “In the last 15 years, we have witnessed a shift from “data-aware” information systems to “process-aware” information systems [DAH05].”
Automatic Composition of Transition-based Semantic Web Services with Messaging (2005, background): “In [9] an extension of the framework is proposed where services are specified as guarded automata, having local XML variables in order to deal with data semantics.”
Transforming BPEL to Petri Nets (2005, background): “Among the existing attempts, there are some based on nite state machines [4, 5 ], process algebras [6], and abstract state machines [7, 8]. Though all of them are successful in unravelling weaknesses in the informal specication, they are of dierent signicance for formal verication.”