Communicating sequential processes
Communicating sequential processes
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
A Graph-Based Approach to Web Services Composition
SAINT '05 Proceedings of the The 2005 Symposium on Applications and the Internet
A Graph-Based Framework for Composition of Stateless Web Services
ECOWS '06 Proceedings of the European Conference on Web Services
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A Logical Reasoning Approach to Automatic Composition of Stateless Components
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Hi-index | 0.00 |
Reusing available software components in developing new systems is always a priority, as it usually saves a considerable amount of time, money and human effort. An ideal scenario for software reuse is to build a new software system by composing existing components based on their behavioral properties. In this paper we take advantage of logical reasoning to find a solution for automatic composition of stateless components, which are components with a simple two step workflow: receiving inputs and then returning the corresponding outputs. We provide a concrete algorithm to find possible component compositions for a requested behavior. We then validate those compositions using a process algebra, which is specifically designed for this purpose.