For the most recent entries see the Petri Nets Newsletter.

Fair BPEL Processes Transaction using Non-Repudiation Protocols.

Bilal, M.; Thomas, J. P.; Thomas, Mathews; Abraham, Subil

In: 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, pages 337-342. 2005.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography