Flexible integrity control of cooperative applications

This paper describes an approach which mixes both control of interactions and of behavior to support cooperation. Our general hypothesis is that people may agree to cooperate under the control of some computer system provided that it does not bother them more than necessary. Our approach tries to take this assumption into account while enforcing general properties on activity interactions and using the semantic of applications to ensure correctness of activity results