• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & 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
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 [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.
Mainwork
Electronic commerce and web technologies  
Conference
International Conference on Electronic Commerce and Web Technology 2001  
Open Access
DOI
10.1007/3-540-44700-8_14
File(s)
001.pdf (147.88 KB)
Rights
Under Copyright
Language
English
IPSI  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024