Results 211 to 220 of about 6,413 (258)
Some of the next articles are maybe not open access.
BPEL orchestration of secure webmail
Proceedings of the 3rd ACM workshop on Secure web services, 2006WebMail proposes to migrate existing SMTP-based mail systems to Web-Services. We show how a verifiably-correct, generic mail service that enables extensions of SMTP-based standard mail use cases that avoids known misuse cases can be specified using WSDL and orchestrated using BPEL.
Saket Kaushik +2 more
openaire +1 more source
2013
In previous chapters, particularly in Chaps. 8 and 9, we have studied a wide range of constructs that can be used to design the flow of an orchestration. These constructs have been represented graphically by means of certain shapes, but more important than being able to represent them, it is fundamental to understand the concepts that underlie those ...
openaire +1 more source
In previous chapters, particularly in Chaps. 8 and 9, we have studied a wide range of constructs that can be used to design the flow of an orchestration. These constructs have been represented graphically by means of certain shapes, but more important than being able to represent them, it is fundamental to understand the concepts that underlie those ...
openaire +1 more source
Orchestrating Web Services with BPEL
IEEE Software, 2008Effective Web services demand careful synchronization on various abstraction levels. The Business Process Execution Language supports modeling and executing business processes from both the user and systems perspectives. In this way, Web services application developers can use BPEL to orchestrate service interactions in a global system view and to ...
openaire +1 more source
Reliable Messaging for BPEL Processes
2006 IEEE International Conference on Web Services (ICWS'06), 2006There are currently two specifications that address reliable messaging in Web Services: WS-ReliableMessaging and WS-Reliability. Both specifications consider the general case of Web Services as being black boxes with WSDL interfaces. In this paper, we address the reliable messaging requirements of Composite Web Services in BPEL.
Anis Charfi +2 more
openaire +1 more source
Design of a BPEL Verification Tool
2012The objective of this paper is to define a formal framework for expressing a BPEL transformation based semantics of BPEL constructs. Our main contribution is twofold. First, the transformation patterns are specified in a language close to the target's realtime verification language FIACRE.
Elie Fares +2 more
openaire +1 more source
Evaluation of BPEL to Scientific Workflows
Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06), 2006We investigate the requirements of Scientific Workflows in context of the Business Process Execution Language for Web Services (BPEL4WS/ BPEL. The complexity, unpredictability and inter-dependency of the components in a scientific workflow often demand flexibility in a workflowlanguage in order to support; 1) exception handling, 2) recovery from ...
Asif Akram +2 more
openaire +1 more source
Analyzing Compatibility of BPEL Processes
Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming ...
Axel Martens +3 more
openaire +1 more source
BPEL Behavioral Abstraction and Matching
2006BPEL is the most popular language for describing business process and business interaction based on Web services for inter-organizational cooperation. Nevertheless, BPEL requires a static binding of services to the flows. We propose in this paper a new approach enabling dynamic binding.
Nomane Ould Ahmed M'Bareck, Samir Tata
openaire +1 more source
2007
This report summarizes the results of a hands-on survey on Business Process Execution Language (BPEL) execution engines.BPEL is one of the most promising new languages intended for automatic business process execution.BPEL supports implementation of both intra- and extra enterprise processes.The form of BPEL most often associated with the Service ...
Kanniainen, Jenni, Haajanen, Jyrki
openaire +1 more source
This report summarizes the results of a hands-on survey on Business Process Execution Language (BPEL) execution engines.BPEL is one of the most promising new languages intended for automatic business process execution.BPEL supports implementation of both intra- and extra enterprise processes.The form of BPEL most often associated with the Service ...
Kanniainen, Jenni, Haajanen, Jyrki
openaire +1 more source
Formal verification of cloud orchestration design with TOSCA and BPEL
International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, 2016Warun Chareonsuk, W. Vatanawood
semanticscholar +1 more source