2005 IEEE International Conference on Services Computing (SCC'05) Vol-1 Fair BPEL Processes Transaction using Non-Repudiation Protocols Orlando, Florida July 11-July 15 ISBN: 0-7695-2408-7
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2005.52
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.
Citation:
M Bilal, J P Thomas, Mathews Thomas, Subil Abraham, "Fair BPEL Processes Transaction using Non-Repudiation Protocols," scc, vol. 1, pp.337-342, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||