Several applications require nontrivial interaction between services and consequently, stateful services

Behavioral compatibility is a major concern in service composition

Relevant languages, like WS-BPEL or BPMN, support the description of stateful services

Choreographies of stateful services may exhibit serious behavioural errors such as deadlocks or livelocks.

Service technology must therefore be aware of the behavioural aspects of services