A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures

Authors:
Vasu S. Alagar;Zheng Xi
Affiliations:
-;-
Venue:
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Year:
2001

Citing 5
Cited 0

Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Multi-agent cooperation, dynamic workflow and XML for e-commerce automation

AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Animating Real-Time Reactive Systems

ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Real-time reactive system development: a formal approach based on uml and pvs

Real-time reactive system development: a formal approach based on uml and pvs

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.