Results 11 to 20 of about 3,933,674 (100)
Graph‐Based Semantic Web Service Composition for Healthcare Data Integration [PDF]
Within the numerous and heterogeneous web services offered through different sources, automatic web services composition is the most convenient method for building complex business processes that permit invocation of multiple existing atomic services.
Ngamnij Arch-int +4 more
wiley +2 more sources
Optimal Decomposition of Service Level Objectives into Policy Assertions [PDF]
WS‐agreement specifies quality objectives that each partner is obligated to provide. To meet quality objectives, the corresponding partner should apply appropriate policy assertions to its web services and adjust their parameters accordingly. Transformation of WS‐CDL to WSBPEL is addressed in some related works, but neither of them considers quality ...
Yousef Rastegari +2 more
wiley +2 more sources
Web service has become the technology of choice for service oriented computing to meet the interoperability demands in web applications. In the Internet era, the exponential addition of web services nominates the “quality of service” as essential parameter in discriminating the web services.
Deivamani Mallayya +3 more
wiley +2 more sources
Dependable Workflow Reconfiguration in WS-BPEL [PDF]
This paper describes a workflow reconfiguration and how to implement it in WS-BPEL, a language that would not naturally support reconfiguration. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the ...
Zhou M, Mazzara M, Dragoni N
core +6 more sources
BPEL4People - extending WS-BPEL for people [PDF]
BPEL, an XML based language, formally describes business processes and business interaction protocols. While WS-BPEL processes support automated process integration, there is a need to support human tasks, which naturally comes with new requirements ...
Holmes, Ta'id
core +4 more sources
A tool for rapid development of WS-BPEL applications [PDF]
We present BliteC, a software tool we have developed for supporting a rapid and easy development of WS-BPEL applications. BliteC translates service orchestrations written in Blite, a formal language inspired to but simpler than WS-BPEL, into executable ...
R. Pugliese +11 more
core +1 more source
Using formal methods to develop WS-BPEL applications [PDF]
In recent years, WS-BPEL has become a de facto standard language for orchestration of Web Services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task.
R. Pugliese +8 more
core +1 more source
Implementing Workflow Reconfiguration in WS-BPEL [PDF]
This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in ...
Zhou M, Mazzara M, Dragoni N
core +6 more sources
A Formal Account of WS-BPEL [PDF]
We introduce B lite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers.
R. Pugliese +8 more
core +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL.
R. Pugliese +8 more
core +1 more source

