Updating logical databases
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Types as models: model checking message-passing programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Object-Oriented Software Construction
Object-Oriented Software Construction
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Modeling and Analysis of Interactions in Virtual Enterprises
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Relationships with other formalisms
The description logic handbook
The description logic handbook
Communications of the ACM - Service-oriented computing
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Using tableau to decide expressive description logics with role negation
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Verifying mediated service interactions considering expected behaviours
Journal of Network and Computer Applications
| Hi-index | 0.01 |
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.