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.

Distributed Systems (acm C.2.4), Concurrent Programming (acm D.1.3), Language Classifications (acm D.3.2), Language Constructs and Features (acm D.3.3), LOGICS AND MEANINGS OF PROGRAMS (acm F.3), SOCIAL AND BEHAVIORAL SCIENCES (acm J.4)
Software (theme 1)
CWI
Software Engineering [SEN]
Computer Security

Zlatev, Z.V, Diakov, N.K, & Pokraev, S. (2004). Construction of negotiation protocols for E-commerce applications. Software Engineering [SEN]. CWI.