In other words, an enactment transaction can either involve an activity enacting the model or a change to the model itself. This raises questions about enactment consistency. So far we approached this problem with very weak consistency criteria and focussed mostly on identifying and implementing the necessary mechanisms. The server is a very general active object server . Assumptions about workflow models, their modification and enactment are implemented in various clients.
All clients are stateless up to caching.
All state is provided by the server.