Figure 6

Synthesis example 1 Loosely specified workflow starting withmakenucseq and ending withshowalign (left). The synthesis problem is given by the output type ofmakenucseq, and the input type ofshowalign. For the manually defined domain, a shortest solution is to insert the multiple alignment algorithmemma (center). For the automatically created domain, no solution can be found (right).