Defining and modelling service-based coordinated systems

This paper introduces MEO – a model for securing service-based coordinated systems The model uses constraints for expressing the application logic of a coordinated system and its required security strategies Coordination activities are the key concepts used for controlling the execution of participating services Constraints are specified as pre and post conditions of these coordination activities.