31 Cesare Pautasso 2005 Executable Modeling of Generic Service Compositions with JOpera DERI Innsbruck, Austria 25.10.2005