The emerging service-oriented computing paradigm advocatesbuilding distributed information systems by chaining reusable servicesinstead of by programming from scratch. To do so, not only businessprocesses, but also business rules, policies and constraints need tobe encoded in a process language...