On lean messaging with wrapping and unfolding for E-commerce

EDI (electronic data interchange) messages are notoriously lean and difficult to interpret without additional information. While sympathising with the many criticisms that have been made of the design of EDI protocols, we argue that there is something basically correct in the noted leanness of EDI messages. We present a framework that describes how interpretation of EDI messages works, and indeed must work. Central elements of this framework are what we call wrapping and unfolding of messages. We demonstrate hour to exploit these concepts an formalizations for electronic commerce. In particular, we show how Kimbough's event semantics for speech acts (1997) and Tan's theory of directed obligation (1998) can be fit naturally and fruitfully into this framework, and to each other. Much work remains to be done, but the progress in formalization in evidence should be generalizable.

[1]  Steven Orla Kimbrough,et al.  On hypermedia-based argumentation decision support systems , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[2]  G. Segal,et al.  Knowledge of Meaning: An Introduction to Semantic Theory , 1995 .

[3]  Garett O. Dworman,et al.  On pattern-directed search of archives and collections , 2000, J. Am. Soc. Inf. Sci..

[4]  Christen Krogh,et al.  Obligations directed from bearers to counterparts , 1995, ICAIL '95.

[5]  Jay M. Tenenbaum,et al.  eCo System: CommerceNet's Architectural Framework for Internet Commerce , 1997, Electron. Mark..

[6]  Steven Orla Kimbrough Sketch of a basic theory for a formal language for business communication , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[7]  Phyllis K. Sokol From Edi to Electronic Commerce: A Business Initiative , 1995 .

[8]  Yao-Hua Tan,et al.  A logical model of transfer of obligations in trade contracts , 1998 .

[9]  K. Bach,et al.  Linguistic Communication and Speech Acts , 1983 .

[10]  J. Nunamaker,et al.  Proceedings of the 32nd Hawaii International Conference on System Sciences , 1999 .

[11]  Matthew Fuchs,et al.  Designing XML Internet applications , 1998 .

[12]  Steven Orla Kimbrough On electronic commerce, subatomic semantics and Caesar's stabbing , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[13]  Yao-Hua Tan,et al.  Modeling directed obligations and permissions in trade contracts , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[14]  Steven O. Kimbrough,et al.  On obligation, time, and defeasibility in systems for electronic commerce , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[15]  James F. Allen Natural language understanding (2nd ed.) , 1995 .

[16]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[17]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[18]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[19]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[20]  Yao-Hua Tan,et al.  Facilitating international electronic commerce by formalising the Incoterms , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[21]  Steven Orla Kimbrough,et al.  Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..

[22]  Steven Orla Kimbrough,et al.  On representation schemes for promising electronically , 1990, Decis. Support Syst..

[23]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[24]  John R. Sivori Evaluated receipts and settlement at Bell Atlantic , 1996, CACM.

[25]  Steven Orla Kimbrough On ES/spl Theta/ theory and the logic of the X12 date/time qualifiers , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[26]  Fritz Lehmann,et al.  Machine-Negotiated, Ontology-Based EDI (Electronic Data Interchange) , 1994, Electronic Commerce.

[27]  J. Searle,et al.  Expression and Meaning. , 1982 .

[28]  Philip R. Cohen,et al.  Toward a Semantics for an Agent Communications Language Based on Speech-Acts , 1996, AAAI/IAAI, Vol. 1.

[29]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .