Figure 6From: Semantics-based composition of EMBOSS servicesSynthesis 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).Back to article page