Fair BPEL processes transaction using non-repudiation protocols
Muhammad Qamar Bilal, J.P. Thomas, Mark P. Thomas, Subil Abraham · 2005
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 verify a non-repudiation protocol using Petri nets for chain-linked business transactions and show that they may be specified in BPEL.