Non-Functional Properties and Services Coordination Using Contracts

Abstract : This paper presents an approach for building reliable applications based on services oriented paradigm and the use of a contract based coordination model. Thanks to contracts describing the logic of a services based application running in a dynamic environment it is possible to associate a personalized behavior in an orthogonal way. Contracts ensure, for example, transactional properties at execution time in the presence of exceptions and make applications aware of their execution context.