Results 101 to 110 of about 464,671 (149)

Implementing Workflow Reconfiguration in WS-BPEL. [PDF]

open access: yesJ. Internet Serv. Inf. Secur., 2012
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 BPMN.
Mazzara M, Dragoni N, Zhou M
core   +8 more sources

Methods for Enabling Recovery Actions in Ws-BPEL

open access: yes, 2006
Self-Healing is an emerging exigency for Information Systems where processes are everyday more complicated and where many autonomous actors are involved Roughly, self-healing mechanisms can be viewed as a set of automatic recovery actions fired at run-time according to the detected fault These actions can be at infrastructure level, i.e transparently ...
Stefano Modafferi, Eugenio Conforti
openaire   +2 more sources

An Access Control Framework for WS-BPEL processes

open access: yes, 2010
Business processes –the next generation workflows- have attracted considerable research interest in the last fifteen years. More recently, several XML-based languages have been proposed for specifying and orchestrating business processes, resulting in the WS-BPEL language.
Paci, Federica   +2 more
openaire   +3 more sources

Dependable Workflow Reconfiguration in WS-BPEL [PDF]

open access: yes, 2011
This paper describes a work ow reconguration and how to implement it in WS-BPEL, a language that would not naturally support reconguration. We state the requirements on a system implementing the work ow and its reconguration, and we describe the system's de- sign in BPMN. The WS-BPEL recovery framework is then exploited to implement the reconguration.
Mazzara M, Dragoni N, Zhou M
core   +8 more sources

Formal checking of WS-BPEL orchestrations

2014 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2014
This paper is focused on understanding techniques used to formally verify behaviour of business processes developed using WS-BPEL standard. The first part of the paper gives an overview of WSBPEL control-flow constructs. We analyze offered constructs and try to derive control-flow scenarios that can be built out of them.
Jelena Matkovic, Kresimir Fertalj
openaire   +3 more sources

Transforming WS-BPEL into Timed Automata

Proceedings of the 2019 3rd International Conference on Software and e-Business, 2019
Web Service Business Process Execution Language (WS-BPEL) has become the business standard for orchestration of services and implemented the business process from the service composition notion. Including kinds of activities or conditions for describing the complex business requirement, such as the interaction between the service provider and operation
Pramate Chandratarat, Wiwat Vatanawood
openaire   +2 more sources

A User Interface for Personalising WS-BPEL Scenarios

2021
Due to the huge volume of web services available, both locally and in the cloud, the performance of users and systems need significant research attention. Since WS-BPEL is the dominant language for orchestrating individual web services into business processes, by composing WS-BPEL scripts/scenarios, graphical notations facilitating WS-BPEL design can ...
Dionisis Margaris   +3 more
openaire   +1 more source

Formal Modeling of Transaction Behavior in WS-BPEL

2008 International Conference on Computer Science and Software Engineering, 2008
Web Services can be composed to build domain-specific application and solution. Some Web Services Composition (WSC) standards are proposed, for instance, WS-BPEL and WS-CDL. WS-BPEL consists of basic activity, structured activity and control-flow. It uses control-flow to construct sequence, branching, parallelism, synchronization, etc.
Yanxiang He   +3 more
openaire   +1 more source

An architecture for providing context in WS-BPEL processes

Proceedings of the 2008 conference of the center for advanced studies on collaborative research meeting of minds - CASCON '08, 2008
Web Service Business Process Execution Language (WS-BPEL) business processes are increasingly used by organizations to automate their business activities. As the pace of change in an organization increases, these processes will be required to be more flexible; to do so they will have to account for an increasing amount of changing environment state, or
Allen Ajit George, Paul A. S. Ward
openaire   +2 more sources

A standard-driven implementaion of WS-BPEL 2.0

Proceedings of the 2010 ACM Symposium on Applied Computing, 2010
We present a systematic study of the WS-BPEL 2.0 standard based on two complementary methods: the process of constructing a new high-level WS-BPEL implementation driven by the structure of the standard, and an empirical evaluation of existing interpretations of the standard reflected in five widely available WS-BPEL-implementations, both commercial and
Hildebrandt, Thomas   +2 more
openaire   +3 more sources

Home - About - Disclaimer - Privacy