An ontology-based approach to validation of e-services under static and dynamic constraints

Abstract

In this paper we present an enhanced approach to cope with consistency and validation issues arising in Service-Oriented Integration design using an expressive logic language. This approach goes beyond the traditional ones, which are focused on the simple consistency of a structural specification. Indeed, it is able to keep into account both static and dynamic constraints: while the former type applies to system states, the latter concerns the system state transitions. The present solution is oriented towards the analysis of dynamic features as e-services of a system described using a rich ontology specification based on Description Logics. The aim of such a solution is to provide the architect, at the design phase, with adequate support tools to check both the consistency of static and dynamic artifacts. It relies on the IOPE (Input, Output, Preconditions, and Effects) paradigm to specify operation semantics, and on a decidable fragment of the First-Order Logic in order to provide a reasoning-based tool able to verify various semantic properties. © 2008 Springer Berlin Heidelberg.