Communicating sequential processes
Communicating sequential processes
Introduction to algorithms
Notes on the methodology of CCS and CSP
ACP '95 Proceedings from the international workshop on Algebra of communicating 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
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Web service composition with case-based reasoning
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Dynamic service composition using semantic information
Proceedings of the 2nd international conference on Service oriented computing
A Graph-Based Approach to Web Services Composition
SAINT '05 Proceedings of the The 2005 Symposium on Applications and the Internet
BF*: Web Services Discovery and Composition as Graph Search Problem
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
ACM SIGMOD Record
A Graph-Based Framework for Composition of Stateless Web Services
ECOWS '06 Proceedings of the European Conference on Web Services
A survey on web services composition
International Journal of Web and Grid Services
Automatic composition of stateless components: a logical reasoning approach
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Automated discovery of compositions of services described with separate ontologies
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
| 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. Since it might not always be possible to find a single component that provides the sought functionality, an ideal scenario for software reuse would be 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. Stateless components are components with a simple two step behavior: they receive all their inputs at the same time, and then return the corresponding outputs also at the same time. We provide concrete algorithms to find possible component compositions for a requested behavior. We then validate the returned compositions using composition algebraic rules. Composition algebra is a minimal process algebra that is specifically designed for this validation. In order to understand the functionality of the proposed approach in realistic situations, we also study some of the experimental results obtained by implementing the algorithm and running it on some test cases.