Figure 8

Synthesis example 3 In this workflow, which does not (yet) contain any EMBOSS services (left), a part of the loop body is a loosely specified and has to be concretized by an appropriate sequence of services. The workflow in the center contains one of the service sequences that were proposed by the synthesis algorithm for the manually created domain and constraints expressing that we want to ”Enforce the use of module Protein2dStructure” and ”UseDisplay as last service in solution”. The constraints ”Useshowreport as last service in solution” and ”Enforce the use of moduleprotein secondary structure prediction” used together with the automatically created domain leads to the results on the right side of the figure.