Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.13/24566

OpenURL Link
Title
An event algebra based system for verifying E-Commerce transactions
Author/Creator
Zhao, R. Y.;  Narasimhan, V. Lakshimi
Description
This paper describes extensions to a Behavioural Description Language (BDL), which was originally proposed to characterize concurrent behaviour 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 reusability.
Relation
Journal of Research and Practice in Information Technology Vol. 37, no. 4, p. 399-429
Date
2005
Publisher
Australian Computer Society Inc.
Keyword(s)
E-commerce;  transactions;  Behavioural Description Language;  models
Resource Type
journal article
Identifier
http://hdl.handle.net/1959.13/24566
Identifier
ISSN:1443-458X
Language
eng
Reviewed
Reviewed
10 Visitors 11 Hits 0 Downloads
Save/E-mail Citation
Citation Format
E-mail Address
Subject
"Journal of Research and Practice in Information Technology"
 
OR