ABSTRACT
Reliability is a key challenge in e-commerce platforms in general and in autonomous commerce multi-agent systems in particular. Most formal methods proposed to check reliability of these systems focus on checking low-level details such as the communication protocols among agents. In this paper we present a formalism to specify autonomous commerce agents as well as systems made of them. This formalism focuses on describing the high-level behavior of agents. Thus, agents are considered economic entities that have different preferences along time and must perform transactions according to them. Besides, we specify systems as environments where all the agents fulfill their own specification. These formalisms can be applied to check the reliability of an agent or system by comparing its behavior with that of its specification.
- A. Bhimani. Securing the commercial Internet. Comm. of the ACM, 39(6):29--35, 1996.]] Google ScholarDigital Library
- A. Chavez and P. Maes. Kasbah: An agent marketplace for buying and selling goods. In PAAM'96, pages 75--90, 1996.]]Google Scholar
- M. Dastani, N. Jacobs, C. Jonker, and J. Treur. Modelling user preferences and mediating agents in electronic commerce. In Agent Mediated Electronic Commerce, LNAI 1991, pages 163--193. Springer, 2001.]] Google ScholarDigital Library
- B. Geisler, V. Ha, and P. Haddawy. Modeling user preferences via theory refinement. In Int. Conf. on Intelligent User Interfaces, pages 87--90. ACM Press, 2001.]] Google ScholarDigital Library
- R. Guttman, A. Moukas, and P. Maes. Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review, 13(2):147--159, 1998.]] Google ScholarDigital Library
- V. Ha and P. Haddawy. Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence, 146(2):149--173, 2003.]] Google ScholarDigital Library
- M. He, N. Jennings, and H. Leung. On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering, 15(4):985--1003, 2003.]]Google ScholarDigital Library
- N. López, M. Núñez, and F. Rubio. An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Aspects of Computing, 2004. To appear.]] Google ScholarCross Ref
- M. Ma. Agents in e-commerce. Communications of the ACM, 42(3):79--80, 1999.]] Google ScholarDigital Library
- T. Sandholm. Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In CIA '98, LNCS 1435, pages 113--134. Springer, 1998.]] Google ScholarDigital Library
Recommendations
Specification and testing of autonomous agents in e-commerce systems: Research Articles
This paper presents a generic formal framework to specify and test autonomous e-commerce agents. First, the formalism to represent the behaviour of agents is introduced. The corresponding machinery to define how implementations can be tested follows. ...
Executable specifications of resource-bounded agents
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20 years of research. Such logical theories are used in many ways, one of which is as the basis for executable agent specifications. Here, agents are ...
Formal specification of multi-agent systems by using EUSMs
FSEN'07: Proceedings of the 2007 international conference on Fundamentals of software engineeringThe behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has been proposed. Due to its high level of abstraction, this ...
Comments