Fair BPEL Processes Transaction using Non-Repudiation Protocols

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M Bilal, J P Thomas Articles by Mathews Thomas Articles by Subil Abraham

2005 IEEE International Conference on Services Computing (SCC'05) Vol-1

Orlando, Florida

July 11-July 15

ISBN: 0-7695-2408-7

	ASCII Text	x
	M Bilal, J P Thomas, Mathews Thomas, Subil Abraham, "Fair BPEL Processes Transaction using Non-Repudiation Protocols," Services Computing, IEEE International Conference on, vol. 1, pp. 337-342, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, 2005.

	BibTex	x
	@article{ 10.1109/SCC.2005.52, author = {M Bilal, J P Thomas and Mathews Thomas and Subil Abraham}, title = {Fair BPEL Processes Transaction using Non-Repudiation Protocols}, journal ={Services Computing, IEEE International Conference on}, volume = {1}, year = {2005}, isbn = {0-7695-2408-7}, pages = {337-342}, doi = {http://doi.ieeecomputersociety.org/10.1109/SCC.2005.52}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Services Computing, IEEE International Conference on TI - Fair BPEL Processes Transaction using Non-Repudiation Protocols SN - 0-7695-2408-7 SP337 EP342 A1 - M Bilal, J P Thomas, A1 - Mathews Thomas, A1 - Subil Abraham, PY - 2005 KW - null VL - 1 JA - Services Computing, IEEE International Conference on ER -

M Bilal, J P Thomas, Oklahoma State University, USA

Mathews Thomas, IBM Global Solution Center, USA

Subil Abraham, IBM Global Solution Center, USA

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.