A formal specification strategy for electronic commerce

  • Authors:

  • Sylvanus A. Ehikioya;Ken Barker

  • Affiliations:

  • Advanced Database Systems Laboratory, Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, Canada;Advanced Database Systems Laboratory, Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, Canada

  • Venue:
  • IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Most current web applications perform operations that are basically read-only (retrieval of data/documents) so conflicts between trancations do not arise. However, as web applications increasingly become more sophisticated, permitting both concurrent data retrieval and update operations to remote databases, the potentials for conflicts between transactions becomes very high. Therefore, we must ensure correct transaction operation and the correct synchronization of concurrent transactions to avoid deadlock and ensure correctness. This paper presents a formal specification methodology based on the concept of concurrent execution that provides automatic communication and synchronization mechanisms between concurrent processes. This paper explores the issues of correctness, reliability, and recovery of data distributed across the enterprise, describes techniques for guaranteeing and enhancing correctness and procedures for recovering transactions and data in case of any transaction failures to guarantee a high degree of system dependability. Formal methods simplifies the writing of concurrent programs by taking most of the burden of synchronization away from the programmer. Further, specifying transaction systems formally, enhances application quality and reliability by verifying the functionalities of applications and the correctness of data.