Contemporary logic design
Dynamic Logic
IEEE Intelligent Systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Conversations + Interfaces = Business Logic
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Tools for composite web services: a short overview
ACM SIGMOD Record
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
| Hi-index | 0.00 |
In this paper we discuss an effective technique for automatic service composition and we present the prototype software that implements it. In particular, we characterize the behavior of a service in terms of a finite state machine. In this setting we discuss a technique based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition problem. Specifically, given (i) a client specification of his desired service, i.e., the service he would like to interact with, and (ii) a set of available services, our technique synthesizes the orchestration schema of a composite service that uses only the available services and fully realizes the client specification. The developed system is an open-source software tool, called (e-service composer), that implements our composition technique starting from services, each of them described in terms of a WSDL specification and a behavioral description expressed in any language that can capture finite state machines.