A Language and Environment for Rigorous Modeling and Analysis of e-commerce Architectures

Abstract

The main issue in the development of agent-based architectures for e-commerce applications is to produce agents that collaborate with correct functional and temporal properties. They should be able to cope with large, complex, multi-lingual, and multi-platform systems. In order to achieve this potential, specific techniques for modeling, specification, analysis, and evolution of agent-based architectures must be provided. This paper advocates and presents one such approach.