On the degree of ambuguity of finite automata
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
On sparseness, ambiguity and other decision problems for acceptors and transducers
3rd annual symposium on theoretical aspects of computer science on STACS 86
Serial Composition of 2-Way Finite-State Transducers and Simple Programs on Strings
Proceedings of the Fourth Colloquium on Automata, Languages and Programming
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
The equivalence problem for deterministic two-way sequential transducers is decidable
SFCS '80 Proceedings of the 21st Annual Symposium on Foundations of Computer Science
Composability of infinite-state activity automata
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Deterministic Simulation of a NFA with k---Symbol Lookahead
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Hi-index | 0.00 |
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objective is the utilization of existing services to respond to new business requirements in a timely manner. In this context, the service delegation problem can be formulated as follows: When a user poses a sequence of requests to a "service community", how to delegate the requests to the available services registered in the community so that the user requests are satisfied via a collaboration of these services. Here, we present a formal analysis of the constrained service delegation problem where users also provides a set of quality constraints about the delegation of their requests. We follow the "Roman" service composition framework and extend it with a QoS model. We use the Presburger arithmetic to specify constraints. We show that there exists a linear time algorithm for the service delegation problem. In fact, this algorithm is a finite memory algorithm that solves two variations of the service delegation problem by reading the activity sequence in two or multiple passes. We also show that these results are tight in the sense that the number of passes can't be further reduced. We also prove that the constrained service delegation problem can be solved in polynomial time in the number of service requests and delegation constraints.