A formal yet practical approach to electronic commerce

Author

Konopnicki, David ; Leiba, Lior ; Shmueli, Oded ; Sagiv, Yehoshua

Author_Institution

Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel

fYear

1999

fDate

1999

Firstpage

197

Lastpage

208

Abstract

This work explores (semi-) automated EC on the WWW. The EContracts framework enables EC WWW sites and EC automated tools to present standardized information. This information (1) allows each party to decide whether it wishes to engage in an EC activity with the other party, (2) enables automated negotiation between the parties, and (3) enables the establishment of an electronic contract, i.e., a formal description of an agreed upon EC transaction. The EContracts framework defines the basic software components of an EC party and their interconnections. Based on the EContracts framework, various applications can be built. Examples are deal making applications, deal feasibility checkers, brokers etc. Furthermore, the definitions of the data structures and the algorithms enable a theoretical investigation of automated commerce

Keywords

electronic commerce; formal specification; EC automated tools; EContracts framework; WWW; automated commerce; deal feasibility checkers; deal making; electronic commerce; interconnections; standardized information; Business; Contracts; Electronic commerce; HTML; Humans; Insurance; Natural languages; Protocols; Terminology; World Wide Web;

fLanguage

English

Publisher

ieee

Conference_Titel

Cooperative Information Systems, 1999. CoopIS '99. Proceedings. 1999 IFCIS International Conference on

Conference_Location

Edinburgh

Print_ISBN

0-7695-0384-5

Type

conf

DOI

10.1109/COOPIS.1999.792170

Filename

792170