Construction of negotiation protocols for e-commerce applications

Authors:
Zlatko Zlatev;Nikolay Diakov;Stanislav Pokraev
Affiliations:
CTIT, University of Twente, the Netherlands;Centrum voor Wiskunde en Informatica, the Netherlands;Telematica Instituut, the Netherlands
Venue:
ACM SIGecom Exchanges
Year:
2004

Citing 5
Cited 9

Electronic markets and electronic hierarchies

Communications of the ACM
Coordination through Channel Composition

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance

TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Models and Temporal Logics for Timed Component Connectors

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference

Coordination and composition in multi-agent systems

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Symbolic Model Checking for Channel-based Component Connectors

Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Logic for Reasoning about Connector Reconfiguration

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Symbolic model checking for channel-based component connectors

Science of Computer Programming
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of reo circuits for implementation of component-connector automata specifications

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A Basic Logic for Reasoning about Connector Reconfiguration

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
HENRI: high efficiency negotiation-based robust interface for multi-party multi-issue negotiation over the internet

Proceedings of the CUBE International Information Technology Conference
A survey of flexible agent interaction approaches

Multiagent and Grid Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.