Discovering service compositions that feature a desired behaviour