Lakhdar Akroun

  • Citations Per Year
Learn More
This paper studies the extension of description logics with variables ranging over infinite domains of concept names and role names. As a preliminary work, we consider more specifically the extension of the logic EL with variables and we investigate in this context two reasoning mechanisms, namely compliance (a kind of matching) and pattern containment. The(More)
In this thesis we address the problem of analyzing specifications of data-centric Web service interaction protocols (also called data-centric business protocols). Specifications of such protocols include data in addition to operation signatures and messages ordering constraints. Analysis of data-centric services is a complex task because of the inherently(More)
This paper addresses the problem of analysing specifications of data-centric Web service interaction protocols (also called artefactcentric business business level protocols). Specifications of such protocols includes data in addition to operation signatures and messages ordering constraints. Reasoning about data-aware service interactions is a complex task(More)
  • 1