Modelling the ICE standard with a formal language for information commerce

Andreas  Wombacher; Karl Aberer

doi:10.1007/3-540-44700-8_14

Modelling the ICE standard with a formal language for information commerce

Andreas Wombacher, Karl Aberer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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. 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.

Original language	English
Title of host publication	Electronic Commerce and Web Technologies
Subtitle of host publication	Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings
Editors	Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	142-153
Number of pages	12
ISBN (Electronic)	978-3-540-44700-9
ISBN (Print)	978-3-540-42517-5
DOIs	https://doi.org/10.1007/3-540-44700-8_14
Publication status	Published - Jul 2001
Externally published	Yes
Event	2nd International Conference on Electronic Commerce and Web Technologies, EC-Web 2001 - Munich, Germany Duration: 4 Sep 2001 → 6 Sep 2001 Conference number: 2

Publication series

Name	Lecture notes in Computer Science
Publisher	Springer
Volume	2115
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Conference on Electronic Commerce and Web Technologies, EC-Web 2001
Abbreviated title	EC-Web
Country/Territory	Germany
City	Munich
Period	4/09/01 → 6/09/01

Keywords

EWI-10616

Access to Document

10.1007/3-540-44700-8_14

Cite this

Wombacher, A., & Aberer, K. (2001). Modelling the ICE standard with a formal language for information commerce. In K. Bauknecht, S. Kumar Madria, & G. Pernul (Eds.), Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings (pp. 142-153). (Lecture notes in Computer Science; Vol. 2115). Springer. https://doi.org/10.1007/3-540-44700-8_14

Wombacher, Andreas ; Aberer, Karl. / Modelling the ICE standard with a formal language for information commerce. Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings. editor / Kurt Bauknecht ; Sanjay Kumar Madria ; Günther Pernul. Berlin, Heidelberg : Springer, 2001. pp. 142-153 (Lecture notes in Computer Science).

@inproceedings{99a089c3990e43d394b900de965f8c14,

title = "Modelling the ICE standard with a formal language for information commerce",

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. 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.",

keywords = "EWI-10616",

author = "Andreas Wombacher and Karl Aberer",

year = "2001",

month = jul,

doi = "10.1007/3-540-44700-8_14",

language = "English",

isbn = "978-3-540-42517-5",

series = "Lecture notes in Computer Science",

publisher = "Springer",

pages = "142--153",

editor = "Kurt Bauknecht and {Kumar Madria}, Sanjay and G{\"u}nther Pernul",

booktitle = "Electronic Commerce and Web Technologies",

note = "2nd International Conference on Electronic Commerce and Web Technologies, EC-Web 2001, EC-Web ; Conference date: 04-09-2001 Through 06-09-2001",

}

Wombacher, A & Aberer, K 2001, Modelling the ICE standard with a formal language for information commerce. in K Bauknecht, S Kumar Madria & G Pernul (eds), Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings. Lecture notes in Computer Science, vol. 2115, Springer, Berlin, Heidelberg, pp. 142-153, 2nd International Conference on Electronic Commerce and Web Technologies, EC-Web 2001, Munich, Germany, 4/09/01. https://doi.org/10.1007/3-540-44700-8_14

Modelling the ICE standard with a formal language for information commerce. / Wombacher, Andreas ; Aberer, Karl.

Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings. ed. / Kurt Bauknecht; Sanjay Kumar Madria; Günther Pernul. Berlin, Heidelberg : Springer, 2001. p. 142-153 (Lecture notes in Computer Science; Vol. 2115).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modelling the ICE standard with a formal language for information commerce

AU - Wombacher, Andreas

AU - Aberer, Karl

N1 - Conference code: 2

PY - 2001/7

Y1 - 2001/7

N2 - 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. 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.

AB - 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. 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.

KW - EWI-10616

U2 - 10.1007/3-540-44700-8_14

DO - 10.1007/3-540-44700-8_14

M3 - Conference contribution

SN - 978-3-540-42517-5

T3 - Lecture notes in Computer Science

SP - 142

EP - 153

BT - Electronic Commerce and Web Technologies

A2 - Bauknecht, Kurt

A2 - Kumar Madria, Sanjay

A2 - Pernul, Günther

PB - Springer

CY - Berlin, Heidelberg

T2 - 2nd International Conference on Electronic Commerce and Web Technologies, EC-Web 2001

Y2 - 4 September 2001 through 6 September 2001

ER -

Wombacher A, Aberer K. Modelling the ICE standard with a formal language for information commerce. In Bauknecht K, Kumar Madria S, Pernul G, editors, Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4–6, 2001 Proceedings. Berlin, Heidelberg: Springer. 2001. p. 142-153. (Lecture notes in Computer Science). doi: 10.1007/3-540-44700-8_14

Modelling the ICE standard with a formal language for information commerce

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this