Fair BPEL Processes Transaction using Non-Repudiation Protocols

Authors:
M Bilal, J. P. Thomas;Mathews Thomas;Subil Abraham
Affiliations:
Oklahoma State University, USA;IBM Global Solution Center, USA;IBM Global Solution Center, USA
Venue:
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Year:
2005

Citing 0
Cited 1

Secure Web Service Workflow Execution

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is a need for protocols to achieve universal interoperability among web services and to provide a fair and secure environment with non-repudiation. BPEL provides a language for the formal specification of business processes and business interaction protocols. In this paper we propose and a verify nonrepudiation protocol using Petri Nets for chain-linked business transactions and show that they may be specified in BPEL.