Abstract
Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very specific types of business models or are too general to capture in a concise way the specific properties of information commerce processes. We introduce a language that is specifically designed for information commerce. It can be directly used for the implementation of the processes and communication required in information commerce. We demonstrate the use of the language by applying it to an important standard for specifying information commerce processes, the ICE Information and Content Exchange protocol [ICE1]. By doing so we also illustrate the benefit of using formal specifications for information commerce processes allowing to capture informal specifications, like ICE, in a concise way.
This work has been partially supported by the European Comission under contract IST-1999-10288 (OPELIX) as part of the Information Technology Society program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N. Asokan, V. Shoup, M. Waidner: Asynchronous Protocols for Optimistic Fair Exchange, Proc. of S&P 98, Oakland, California, 1998.
K. Aberer, A. Wombacher: A language for information commerce processes, Technical Report EPFL, 2001.
B. Cox: Superdistribution, Addison-Wesley, 1996.
T. W. Finin, R. Fritzson, D. McKay, R. McEntire: KQML As An Agent Communication Language. CIKM 1994: 456–463, 1994.
C. Günther, S. Weeks, A. Wright: Models and Languages for Digital Rights, Proceedings of the 34 th HICSS, 2001.
S. Kimbrough: Formal Language for Business Communication (FLBC): Sketch of a Basic Theory, forthcoming in International Journal of Electronic Commerce
J. D. Tygar: Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. VLDB 1998: 1–12, 1998.
H. Weigand, W.J. van de Heuvel: Meta-patterns for Electronic Commerce based on FLBC. Proc. HICSS’98, IEEE Press, 1998.
A. Wombacher, P. Kostaki, K. Aberer, WebXIce: An Infrastructure for Information Commerce on the Web, Proceedings of the 34 th HICSS, 2001.
Web References
W3C note of the ICE protocol. http://www.w3.org/TR/1998/NOTE-ice-19981026
Information and Content Exchange Protocol home page. http://www.icestandard.org/
Intertrust home page. http://www.intertrust.com
Micropayment Markup Language home page. http://www.w3c.org/ecommerce
NetBill home page. http://www.netbill.com
OPELIX home page. http://www.opelix.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wombacher, A., Aberer, K. (2001). Modelling the ICE Standard with a Formal Language for Information Commerce. In: Bauknecht, K., Madria, S.K., Pernul, G. (eds) Electronic Commerce and Web Technologies. EC-Web 2001. Lecture Notes in Computer Science, vol 2115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44700-8_14
Download citation
DOI: https://doi.org/10.1007/3-540-44700-8_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42517-5
Online ISBN: 978-3-540-44700-9
eBook Packages: Springer Book Archive