Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 14 / Issue 7

available in:   PDF (241 kB) PS (114 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-014-07-1118


Formalizing Agent-Based English Auctions Using Finite State Process Algebra

Amelia Bădică (University of Craiova, Romania)

Costin Bădică (University of Craiova, Romania)

Abstract: The vision of global agent-based e-commerce environments that enable dy-namic trading between business partners requires the study and development of suitable formal modeling frameworks. In particular, negotiation is a necessary and importantactivity to allow engagement of business parties in non-trivial business relationships. In this paper we propose a formal framework based on finite state process algebra formodeling and analysis of interaction protocols in agent-based negotiations. The approach is demonstrated by applying the framework to model agent interactions in asingle-item English auction scenario.

Keywords: English auction, formal specification, multi-agent system, process algebra

Categories: I.2.11, I.2.4, K.4.4