A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures

  • Vasu S. Alagar
  • Zheng Xi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2021)


The main issue in the development of agent-based architectures for E-Commerce applications is to produce specifications that describe precisely the functional and temporal properties of agents and their roles. An agent should be able to dynamically change its behavior according to the context of its collaboration. Interactions among agents must remain secure and consistent with E-Commerce business rules. Formal modeling, and analysis of agent-based architectures promote understanding and reasoning on these issues. This paper presents a theory of agents, and a formal description of an E-Commerce architecture. The visual and formal descriptions are complementary,leading to validation and verification prior to committing to an implementation.


Control Message Agent User Agent Type Order Form Rigorous Approach 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Achuthan.: A Formal Model for Object-Oriented Development of Real-Time Reactive Systems. Ph.D. thesis, Concordia University, Montreal, Canada, October 1995Google Scholar
  2. 2.
    V.S. Alagar, R. Achuthan, and D. Muthiayen.: TROMLAB: An Object-Oriented Framework for Real-Time Reactive Systems Development, (RevisedVersion November 2000), submitted for publication. December 2000Google Scholar
  3. 3.
    V.S. Alagar and D. Muthiayen.:AFormalApproach toUMLModeling of Complex Real-Time Reactive Systems, submitted for publication. November 1999Google Scholar
  4. 4.
    V.S. Alagar, V. Bhaskar and Z. Xi.:Visual Modeling of e-Commerce Architectures. Technical Report, Department of Computer Science, Concordia University, Montreal, Canada, August 1999Google Scholar
  5. 5.
    R. Allen and D. Garlan.:A Formal Basis for Architectural Connection. ACMTransactions on Software Engineering and Methodology. July 1997Google Scholar
  6. 6.
    V. S. Alagar. D. Muthiayen, and R. Achuthan.: Animating Real-Time Reactive Systems. In Proceedings of Second IEEE International Conference on Engineering of Complex Computer Systems. ICECCSx2019;96, Montreal, Canada, October 1996Google Scholar
  7. 7.
    Q. Chen, M. Hsu, U. Dayal, M. Griss.: Multi-Agent Cooperation, Dynamic Workflow and XML for E-Commerce Automation. in Proceedings Autonomous Agents 2000, June, Barcelona, Spain, June 2000Google Scholar
  8. 8.
    M.L. Griss and R. Letsinger.:Games at Work:Agent-Mediated E-commerce Simulation. Workshop Proceedings, Autonomous Agents 2000, Barcelona, Spain, June 2000Google Scholar
  9. 9.
    J.V. Guttag and J.J. Horning.: Larch: Languages andTools forFormal Specifications. Springer-Verlag, 1993Google Scholar
  10. 10.
    D. Muthiayen.: Real-Time Reactive System Development-A Formal Approach Approach Based on UML and PVS. Ph.D. Thesis, Concordia University, Montreal, Canada, January 2000Google Scholar
  11. 11.
    O. Popistas.: Rose-GRC translator: Mapping UML visual models onto formal specifications. M.S. Thesis, Department of Computer Science, Concordia University, April 1999Google Scholar
  12. 12.
    H. Tao.: Static Analyzer: A Design Tool for TROM. M.S. Thesis, Concordia University, Montreal, Canada, August 1996Google Scholar

Copyright information

© Springer-Verlag Heidelberg 2001

Authors and Affiliations

  • Vasu S. Alagar
    • 1
  • Zheng Xi
    • 1
  1. 1.Department of Computer ScienceConcordia UniversityQuebecCanada

Personalised recommendations