STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The Michigan Internet AuctionBot: a configurable auction server for human and software agents
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Communications of the ACM
A Replicable Web-Based Negotiation Server For E-Commerce
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
Formally Defining Coordination Processes to Support Contract Negotiation
Formally Defining Coordination Processes to Support Contract Negotiation
An algorithm for optimal winner determination in combinatorial auctions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Sound Multi-party Business Protocols for Service Networks
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
DynG: a protocol-based prototype for non-monolithic electronic collaboration
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
| Hi-index | 0.00 |
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation, and to this end, a formalism is needed which allows for the serialization and visualization of the rules. Furthermore, this formal description should be executable, in order to simulate the negotiation process and investigate its compliance with the underlying requirements. As a consequence of such formalization, the negotiation process and the software supporting it may be separated. This paper discusses the requirements for a formalism that is appropriate for capturing negotiation processes. It then presents five major techniques and formalisms for describing such processes and evaluates them according to the requirements. The paper concludes that the Statechart formalism is most suitable for the negotiation types considered.