Synthesis example 2 Loosely specified workflow starting withmakeprotseq and ending withshowfeat (left). The synthesis problem is given by the output type ofmakenucseq, and the input type ofshowfeat. 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 ofehmmemit 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).