Discovered Pathway Rendered in yEd. For brevity, we display only shortened names for nodes in the graph. We keep the full name containing either the ontological path for entity nodes or the WSML service path for both service and operation nodes in a separate description field (not shown here). In addition, we omit in this Figure pre- and post-condition details of operation linking edges such as the two forming a loop between operation coverStomachWall and entity Stomach_Cell. Such details are kept by our algorithm and used during simulation. The precondition along the upper edge states that Stomach_Cell is not covered by Mucus and the postcondition along the lower edge states that Stomach Cell is covered by Mucus.