Universidad Complutense de Madrid
E-Prints Complutense

Formal specification of multi-agent systems by using EUSMs



Último año

García Merayo, Mercedes y Núñez García, Manuel y 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

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


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

URLTipo de URL
http://www.springerlink.com/SIN ESPECIFICAR


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.

Tipo de documento:Sección de libro
Información Adicional:

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

Palabras clave:Formal specification of multi-agent systems; Autonomous agents; E-commerce; Mediated electronic commerce; Semantics; Design
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15789
Depositado:28 Jun 2012 08:21
Última Modificación:06 Feb 2014 10:31

Descargas en el último año

Sólo personal del repositorio: página de control del artículo