Figure 7.

Synthesis example 2 Loosely specified workflow starting with makeprotseq and ending with showfeat (left). The synthesis problem is given by the output type of makenucseq, and the input type of showfeat. Obviously, the shortest solution is the empty service sequence. Using conditional constraints, it is possible to, e.g., enforce the use of particular services or types. Enforcing the use of ehmmemit leads to inserting a three-step service sequence in case of the manually created domain (center). For the automatically created domain, no solution can be found (right).