Knowledge-based verification of service compositions / vorgelegt von Sven Walther