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. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Alagar, V. S., & Xi, Z. (2001). A rigorous approach to modeling and analyzing E-Commerce architectures? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2021 LNCS, pp. 173–196). Springer Verlag. https://doi.org/10.1007/3-540-45251-6_10
Mendeley helps you to discover research relevant for your work.