Construction of negotiation protocols for E-commerce applications

A company doing e-business needs capabilities to negotiate electronically the parameters of its deals in order to fully utilize the potential of the Information and Communication technology (ICT). This paper focuses on construction of negotiation protocols for e-commerce with the following properties: (a) formal semantics, (b) compositionally constructed, and (c) dynamically reconfigurable. We apply the Reo coordination language to demonstrate that one can specify and implement negotiation protocols possessing the desired properties.