Sciweavers

Share
IRI
2008
IEEE

Modeling and synthesis of service composition using tree automata

9 years 8 months ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state machine and graph-based approaches to the problem of service composition, tree automata offers a more flexible and faithful modeling of multi-input services and their admissible compositions. In our framework, tree automata is used to express both type signature constraints of individual services as well as constraints on the order in which services must be invoked. To synthesize service compositions, users may provide optional specifications on the desired composit service. The user specifications are also expressed as tree automata. We employee a combination of tree automata algorithms to compute the set of all possible valid service compositions which satisfy the user specifications.
Ken Q. Pu, Ying Zhu
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where IRI
Authors Ken Q. Pu, Ying Zhu
Comments (0)
books