Det finns ett behov av protokoll för att uppnå allmän interoperabilitet mellan webbtjänster och för att skapa en rättvis och säker miljö utan att kräva ersättning. BPEL tillhandahåller ett språk för den formella specifikationen av affärsprocesser och affärsinteraktion protokoll. I detta dokument föreslår vi och ett verifiera icke repuation protokoll med Petri Nets för kedjebundna affärstransaktioner och visar att de kan specificeras i BPEL.
REF visar hur man beskriver icke-repetitionsprotokoll i BPEL.
Fair BPEL processes transaction using non-repudiation protocols
{'venue': "2005 IEEE International Conference on Services Computing (SCC'05) Vol-1", 'journal': "2005 IEEE International Conference on Services Computing (SCC'05) Vol-1", 'mag_field_of_study': ['Computer Science']}