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