Universidad Complutense de Madrid
E-Prints Complutense

Formal specification of multi-agent systems by using EUSMs



Downloads per month over past year

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Formal specification of multi-agent systems by using EUSMs. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 318-333. ISBN 978-3-540-75697-2

[thumbnail of 20.pdf]

Official URL: http://www.springerlink.com/content/t22233x70x6466q1/fulltext.pdf


The 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 formalism focuses on describing the economic goals rather on how they are achieved. Though this approach is suitable to specify the objectives of e-commerce agents, as well as to construct formal analysis methodologies, this framework is not suitable to define the strategic behavior of agents. In this paper we develop a new formalism to explicitly define the strategic behavior of agents in a modular way. In particular, we reinterpret the role of utility functions, already used in USMs in a more restrictive manner, so that they define strategic preferences and activities of agents. We apply the formalism to define the agents in a benchmark e-commerce agent environment, the Supply Chain Management Game. Since the strategic behavior of agents is located in a specific part of the formalism, different strategies can be easily considered, which enhances the reusability of the proposed specification.

Item Type:Book Section
Additional Information:

International Symposium on Fundamentals of Software Engineering. APR 17-19, 2007. Teherán. Irán.

Uncontrolled Keywords:Formal specification of multi-agent systems; Autonomous agents; E-commerce; Mediated electronic commerce; Semantics; Design
Subjects:Sciences > Mathematics > Operations research
ID Code:15789
Deposited On:28 Jun 2012 08:21
Last Modified:22 Aug 2018 11:32

Origin of downloads

Repository Staff Only: item control page