Fair BPEL processes transaction using non-repudiation protocols

摘要

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.