Deductive E-Bargaining System

This paper proposes a new method EER/FL to specify e-bargaining in logic form such to infer and validate e-bargaining process under logic foundation. The bargaining process between initiator (buyer) and participant (seller), involve several activities. The decision process in bargaining is to get the mutual goal and gain. However, being due to complexity of bargaining process, the final contract is still performed manually unsupported by computer systems. This paper proposes a reference template of e-bargaining based on EER (extended entity-relationship) data model and FL (frame logic) to express the static structure and dynamic behavior of multi agents in e-bargaining. The development framework of the EER/FL includes three levels, i.e. conceptual level, logical level and simulation and validation level. The interface of different level is a mapping from a source model to a target model using a set of transformation rules. Finally, the simulation level is supported by FLORID tools to evaluate the correctness and the adequacy of the model. After validating the e-bargaining model, the e-commerce system can be synthesized further. This paper will apply an example of e-bargaining to validate the feasibility of the EER/FL model.