Behavior of Services
Beavior is one of the key aspects for assuring compatibility between (web) services. We report on work in progress regarding verification and synthesis of service behaviour. Our core concept is the notion of operating guidelines - a finite characterization of all correctly interacting partners of a given service. We show that many core problems related to service behavior can be solved by inspecting operating guidelines. This includes verifying substitutability of services, synthesis of partners of services, synthesis of adapters between incompatible services, test case generation, instance migration, verifying realizability of service choreographies and others.