Results 81 to 90 of about 143 (139)

On the support of scientific workflows over Pub/Sub brokers. [PDF]

Sensors (Basel), 2013
Morales A, Robles T, Alcarria R, Cedeño E.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

WS-BPEL Extensions for Versioning

Information and Software Technology, 2009
This article proposes specific extensions for WS-BPEL (Business Process Execution Language) to support versioning of processes and partner links. It introduces new activities and extends existing activities, including partner links, invoke, receive, import, and onmessage activities.
Matjaz B Jurić
exaly   +2 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

An Access-Control Framework for WS-BPEL

International Journal of Web Services Research, 2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been proposed for specifying and orchestrating business processes, resulting in the WS-BPEL language.
Paci, Federica, Bertino, Elisa, Crampton, Jason   +2 more
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   +1 more source