Unmarrying non-functional properties and services coordination using contracts
Javier A. Espinosa-Oviedo, Genoveva Vargas‐Solar, José-Luis Zechinelli-Martini, Christine Collet · 2009
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.