2009
DOI: 10.1016/j.entcs.2009.06.036
|View full text |Cite
|
Sign up to set email alerts
|

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2011
2011
2016
2016

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 8 publications
0
2
0
Order By: Relevance
“…These notations are limited because branching and cyclic behaviors are not well supported by CDs and MSCs (e.g., no choice operator and repetition limited to a message at a time in CDs). [41] analyzes the computational complexity of the composition problem, which aims at generating a composition of services interacting via bounded buffers that satisfies a given goal. Our synthesis techniques are quite different because peers are obtained via projection from a choreography specification and controllers non-intrusively monitor those peers to make them respect the choreography ordering constraints.…”
Section: Related Workmentioning
confidence: 99%
“…These notations are limited because branching and cyclic behaviors are not well supported by CDs and MSCs (e.g., no choice operator and repetition limited to a message at a time in CDs). [41] analyzes the computational complexity of the composition problem, which aims at generating a composition of services interacting via bounded buffers that satisfies a given goal. Our synthesis techniques are quite different because peers are obtained via projection from a choreography specification and controllers non-intrusively monitor those peers to make them respect the choreography ordering constraints.…”
Section: Related Workmentioning
confidence: 99%
“…The client and the services exhibit infinite-state behavior: the transitions are labeled with guards over an infinite domain. In [2] the communication actions are performed through channels. Guards/conditions and constraints on the transitions have been introduced as well, e.g.…”
Section: Introductionmentioning
confidence: 99%