In: 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, pages 337-342. 2005. http://doi.ieeecomputersociety.org/10.1109/SCC.2005.52.
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.