A simple formal method to synthesize an orchestrator in web service composition
Ahmed Khoumsi · 2013
We study the following web service composition problem: given existing web services S1, ⋯, Snand a desired web service S0, the objective is to synthesize an orchestrator Orch that coordinates S1, ⋯, Snso that S0is provided. We develop a simple input-output automata-based method that solves this composition problem. We also study whether the desired service S0is totally or partially provided by the system ((Si)i=1⋯n, Orch). The studied problem can be seen as a control problem, where Orch is a controller that restricts the behaviors of S1, ⋯, Snso that the controlled system conforms to S0.