The Community for Technology Leaders
Proceedings of the 35th Annual Hawaii International Conference on System Sciences (2002)
Big Island, Hawaii
Jan. 7, 2002 to Jan. 10, 2002
ISBN: 0-7695-1435-9
pp: 2198-2206
Yao-Hua Tan , Dept. of Econ. & Bus. Adm., Free Univ., Amsterdam, Netherlands
ABSTRACT
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of business contracts. This formalism can be used to develop applications that can automatically negotiate and process contracts, or it can be used to develop online help systems that explain to the human negotiator what for him the implications are of a certain contract that is proposed to him by the counter-party. The formalism we develop is based upon recent developments in the field of the Formal Language for Business Communication (FLBC) and event semantics. In the paper we show how many key constructs of the content of business contracts can be modeled using event semantics. We also show that the formalism can be implemented in Prolog.
INDEX TERMS
contracts, negotiation support systems, electronic commerce
CITATION

Yao-Hua Tan and W. Thoen, "Using event semantics for modeling contracts," Proceedings of the 35th Annual Hawaii International Conference on System Sciences(HICSS), Big Island, Hawaii, , pp. 2198-2206.
doi:10.1109/HICSS.2002.994149
95 ms
(Ver 3.3 (11022016))