Abstract. Service-oriented computing aims at composing independent services to achieve a common goal. Although very flexible, this independence may result in incompatibilities. A pragmatic approach to overcome such incompatibilities offer adapters. An adapter is again a service which reorganizes the message exchange in a service composition to avoid incompatibilities. Given a set of domain-specific message transformation rules, adapters can be generated fully automatically. This paper presents a graphical user interface to support the systematic design of these transformation rules. 1

Abstract. We sketch an undecidability result concerning the decentralized controllability problem of open nets and discuss some consequences. 1

Copyright © 2010 for the individual papers by the papers ' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editor.