A BDL-Based E-Commerce Transaction Architecture

This paper describes extensions to a behavioral description language (BDL), which was originally proposed to characterize concurrent behavior of simple objects and a group of objects. One of the novelties of this paper is its application to the field of E-commerce transaction systems. Based on the BDL, we propose new concepts, namely, transaction patterns and transaction architectures, which have event-based semantics to describe large-scale transaction systems. Furthermore, the transaction architecture is introduced as a unified medium for specifying and verifying distributed, heterogeneous and complex E-commerce transaction processes. It is also illustrated as a powerful modeling technique which is easy-to- use, flexible and promotes re-usability.