TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
A4  - Arbab, F
A4  - Sirjani, M
PY  - 2007
DO  - 10.1007/978-3-540-75698-9_21
SN  - 978-3-540-75697-2
UR  - https://hdl.handle.net/20.500.14352/53130
AB  - 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...
LA  - eng
M2  - 318
PB  - SPRINGER-VERLAG BERLIN
KW  - Formal specification of multi-agent systems
KW  - Autonomous agents
KW  - E-commerce
KW  - Mediated electronic commerce
KW  - Semantics
KW  - Design
TI  - Formal specification of multi-agent systems by using EUSMs
TY  - book part
ER  -