Figure 6.
Synthesis example 1 Loosely specified workflow starting with makenucseq and ending with showalign (left). The synthesis problem is given by the output type of makenucseq, and the input type of showalign. For the manually defined domain, a shortest solution is to insert the multiple alignment algorithm emma (center). For the automatically created domain, no solution can be found (right).