Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Theoretical Computer Science
New Decidability Results Concerning Two-Way Counter Machines
SIAM Journal on Computing
Reversal-Bounded Multicounter Machines and Their Decision Problems
Journal of the ACM (JACM)
On the automatic generation of workflow processes based on product structures
Computers in Industry
Agent-oriented technology in support of e-business
Communications of the ACM
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
The Equivalence Problem for Deterministic Pushdown Automata is Decidable
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Binary Reachability Analysis of Discrete Pushdown Timed Automata
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Generalized discrete timed automata: decidable approximations for safety verification
Theoretical Computer Science - Computing and combinatorics
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Presburger liveness verification of discrete timed automata
Theoretical Computer Science
Pushdown timed automata: a binary reachability characterization and safety verification
Theoretical Computer Science
Synthesizing Distributed Systems
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Semantic correctness of transactions and workflows
Semantic correctness of transactions and workflows
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Automatic verification of multi-queue discrete timed automata
COCOON'03 Proceedings of the 9th annual international conference on Computing and combinatorics
Minimum-cost delegation in service composition
Theoretical Computer Science
Hi-index | 5.23 |
Let M be a class of (possibly nondeterministic) language acceptors with a one-way input tape. A system (A; A1,..., Ar) of automata in M is composable if for every string w = a1...an of symbols accepted by A, there is an assignment of each symbol aj in w to one of the Ai's such that for each 1 ≤ i ≤ r, the subsequence of w assigned to Ai is accepted by Ai. For a nonnegative integer k, a k-lookahead delegator for (A; A1,..., Ar) is a deterministic machine D in M which, knowing (a) the current states of A, A1,...,Ar and the accessible "local" information of each machine (e.g., the top of the stack if each machine is a pushdown automaton, whether a counter is zero or nonzero if each machine is a multicounter automaton, etc.), and (b) the k lookahead symbols to the right of the current input symbol being processed, can uniquely determine the Ai to assign the current symbol. Moreover, every string w accepted by A is also accepted by D; i.e., the subsequence of string w delegated by D to each Ai is accepted by Ai. Thus, k-lookahead delegation is a stronger requirement than composability, since the delegator D must be deterministic. A system that is composable may not have a k-delegator for any k.We study the decidability of composability and existence of k-delegators for various classes of machines M. Our results generalize earlier ones (and resolve some open questions) concerning composability of deterministic finite automata as e-services to finite automata that are augmented with unbounded storage (e.g., counters and pushdown stacks) and finite automata with discrete clocks (i.e., discrete timed automata). The results have applications to automated composition of e-services.