Abstract :
The model-driven engineering approach tries to reduce the gap between the problem domain and software implementations. In this article, we propose to use this approach for solving the complex problem of service composition with security properties. During system design, paradigms such as abstraction, separation of concerns and language definition are used to de ne a model of the service composition with security properties. This model is transformed into an execution model.
KeyWords :
Service Composition, Non-Functional Properties. 
