solutions that make services behave well

We provide a collection of approaches, tools, and research results which are related to behavioural aspects of service technology such as service composition, discovery, mediation, substitution, and others. This technology is the result of joint research efforts of the theory of programming groups at Humboldt-Universität zu Berlin, the University of Rostock, the Technische Universiteit Eindhoven, and several cooperation partners.