• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Modelling the ICE standard with a formal language for information commerce
 
  • Details
  • Full
Options
2001
Conference Paper
Titel

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 [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.
Author(s)
Wombacher, A.
Aberer, K.
Hauptwerk
Electronic commerce and web technologies
Konferenz
International Conference on Electronic Commerce and Web Technology 2001
DOI
10.1007/3-540-44700-8_14
File(s)
001.pdf (147.88 KB)
Language
English
google-scholar
IPSI
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022