Generation and verification of heterogeneous purchase processes

Complex purchase protocols allow several participants (merchants and clients) to be involved within a single purchase transaction. Moreover, they provide the possibility to merge dierent heterogeneous payments into one atomic transaction. Although such complex purchases are urgently required, they are, so far, neither provided by existing protocols nor by available products or research prototypes. In this paper we show how to dynamically build such complex heterogeneous purchase processes in a reliable way, by modeling complex interactions between several merchants and clients as transactional processes. Apart from the distribution aspect, we focus on the heterogeneity of the electronic purchase, by allowing dierent existing protocols for payment or goods transfer to be merged incrementally, as the user performs a distributed purchase on the Internet. Before executing such a complex purchase, we provide a (technical) analysis of the resulting process which yields the properties of the compound transaction like atomicity, debit/credit character, or anonymity. We have implemented a Purchase Coordinator prototype which allows for an incremental analysis of compound purchase transactions and which supports the execution of the corresponding purchase processes.

[1]  J. Doug Tygar,et al.  Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce , 1998, VLDB.

[2]  Bharat K. Bhargava,et al.  Ensuring relaxed atomicity for flexible transactions in multidatabase systems , 1994, SIGMOD '94.

[3]  Bennet S. Yee,et al.  Anonymous Atomic Transactions , 1996 .

[4]  Özgür Ulusoy,et al.  A Transaction Model for Multidatabase Systems , 1996, Euro-Par, Vol. II.

[5]  Andreas Reuter,et al.  ConTracts Revisited , 1997, Advanced Transaction Models and Architectures.

[6]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[7]  Mike P. Papazoglou.  The Role of Agent Technology in Business to Business Electronic Commerce , 1999, CIA.

[8]  L. Tang,et al.  Verifiable transaction atomicity for electronic payment protocols , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[9]  Sushil Jajodia,et al.  Advanced Transaction Models and Architectures , 2012, Springer US.

[10]  Gustavo Alonso,et al.  Transactional coordination agents for composite systems , 1999, Proceedings. IDEAS'99. International Database Engineering and Applications Symposium (Cat. No.PR00265).

[11]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[12]  Heiko Schuldt,et al.  Execution Guarantees in Electronic Commerce Payments , 1999, FMLDO.

[13]  Xun Yi,et al.  Secure Agent-Mediated Auctionlike Negotiation Protocol for Internet Retail Commerce , 1999, CIA.

[14]  Larry Kerschberg,et al.  An Agency-Based Framework for Electronic Business , 1999, CIA.

[15]  J. Doug Tygar,et al.  Atomicity in electronic commerce , 1996, NTWK.

[16]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[17]  Matthias Nussbaum.  Database Transaction Models for Advanced Applications , 1992 .

[18]  Gustavo Alonso,et al.  Concurrency control and recovery in transactional process management , 1999, PODS '99.

[19]  Gerhard Weikum,et al.  What workflow technology can do for electronic commerce , 1999 .

[20]  Umeshwar Dayal,et al.  A transactional nested process management system , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[21]  Heiko Schuldt,et al.  Automatic generation of reliable e-commerce payment processes , 2000, Proceedings of the First International Conference on Web Information Systems Engineering.

[22]  Jari Veijalainen,et al.  Transactions in Mobile Electronic Commerce , 1999, FMLDO - Selected Papers.

[23]  Lei Tang.  A Set of Protocols for Micropayments in Distributed Systems , 1995, USENIX Workshop on Electronic Commerce.