Checking e-service consistency using Description Logics

  • Luigi Dragone
  • Published 2007 in
    IEEE International Conference on Services…

Abstract

We propose a new framework for the analysis of functional properties of e-services supporting the development of cooperative information systems. The framework aims at extending and integrating different approaches providing both a rich domain specification and a suitable operational semantics of the e-service contract, on which we define functional… (More)
DOI: 10.1109/SCC.2007.40

Topics

1 Figure or Table

Slides referencing similar topics