Results 181 to 190 of about 6,413 (258)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Effective Message-Sequence Generation for Testing BPEL Programs
IEEE Transactions on Services Computing, 2013Lu Zhang, Hong Mei
exaly +2 more sources
Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012Yunni Xia, Qingsheng Zhu
exaly +2 more sources
Formal semantics and analysis of control flow in WS-BPEL [PDF]
Science of Computer Programming, 2007 Web service composition refers to the creation of new (Web) services by combining functionalities provided by existing ones. A number of domain-specific languages for service composition have been proposed, with consensus being formed around a process ...
Chun Ouyang +2 more
exaly +2 more sources
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
We present a core subset of the Web Services Business Process Execution Language 2.0 (WS-BPEL), called Core BPEL, and a complete, idempotent transformation from WS-BPEL to the Core BPEL subset. This has two benefits: (1) it clarifies the WS-BPEL semantics by showing how complex constructs map to a composition of simpler constructs, and (2) it reduces ...
Højsgaard, Espen, Hallwyl, Tim
openaire +1 more source
We present a core subset of the Web Services Business Process Execution Language 2.0 (WS-BPEL), called Core BPEL, and a complete, idempotent transformation from WS-BPEL to the Core BPEL subset. This has two benefits: (1) it clarifies the WS-BPEL semantics by showing how complex constructs map to a composition of simpler constructs, and (2) it reduces ...
Højsgaard, Espen, Hallwyl, Tim
openaire +1 more source
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006), 2006
Self-Healing is an emerging exigence for Information Systems where processes are more and more complicated and where many autonomous actors are involved. Self-healing mechanisms can be viewed as a set of automatic recovery actions fired at run-time according to the detected fault.
Stefano Modafferi +2 more
openaire +2 more sources
Self-Healing is an emerging exigence for Information Systems where processes are more and more complicated and where many autonomous actors are involved. Self-healing mechanisms can be viewed as a set of automatic recovery actions fired at run-time according to the detected fault.
Stefano Modafferi +2 more
openaire +2 more sources
BPEL Fragments for Modularized Reuse in Modeling BPEL Processes
2009 Fifth International Conference on Networking and Services, 2009BPEL has been established as the standard for modeling business processes by orchestrating Web services. When modeling a BPEL process, users end up in basically three approaches: from scratch, by using a process template or a reference process, and by ad hoc modifying a existing process model to meet the current requirements.
Zhilei Ma, Frank Leymann
openaire +1 more source
IEEE Transactions on Services Computing, 2016
In enterprise organizations, the Bring-Your-Own-Device (BYOD) requirement has become prevalent as employees use their own mobile devices to process the workflow-oriented tasks.
Xuazhe Liu +4 more
semanticscholar +1 more source
In enterprise organizations, the Bring-Your-Own-Device (BYOD) requirement has become prevalent as employees use their own mobile devices to process the workflow-oriented tasks.
Xuazhe Liu +4 more
semanticscholar +1 more source
BPEL-Unit: JUnit for BPEL Processes
2006Thanks to unit test frameworks such as JUnit, unit testing has become a common practice in object-oriented software development. However, its application in business process programming is far from prevalent. Business process unit testing treats an individual process as the unit under test, and tests its internal logic thoroughly by isolating it from ...
Zhong Jie Li, Wei Sun 0001
openaire +1 more source
Model-Checking Behavioral Specification of BPEL Applications [PDF]
Electronic Notes in Theoretical Computer Science, 2006 To provide a framework to compose lots of specialised services flexibly, BPEL is proposed to describe Web service flows. Since the Web service flow description is basically a distributed collaboration, writing correct programs in BPEL is not easy ...
Shin Nakajima
exaly +2 more sources