Formalizing agent-based English auctions using finite state process algebra
The vision of global agent-based e-commerce environments that enable dynamic trading between business partners requires the study and development of suitable formal modeling frameworks. In particular, negotiation is a necessary and important activity 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 for modeling and analysis of interaction protocols in agent-based negotiations. The approach is demonstrated by applying the framework to model agent interactions in a single-item English aution scenario.
english auction process algebra multi agent system formal specification