S. D. Batory and R. A. , Scaling step-wise refinement, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.355-371, 2004.
DOI : 10.1109/TSE.2004.23

B. E. Fleurey-f, . Steel-j, . Baudry-b, and . Traon-y, « Metamodel-Based test generation for model transformations : an algorithm and a tool, pp.85-94, 1998.

C. O. , C. B. Muller-a, and . Vanwormhoudt-g, « A Framework for Supporting Views in Component Oriented Information Systems, OOIS 2003, pp.164-178, 2003.

C. D. and S. L. Laborde-r, Coordinating access control in grid services, Concurrency and Computation : Practice and Experience, pp.1071-1094, 2008.

C. X. , C. B. Pantel-m, and P. J. Faudoux-r, « Generative technologies for model animation in the TopCased platform, 6th European Conference on Modelling Foundations and Applications, pp.90-103, 2010.

D. Fombelle, G. Blanc-x, and G. Rioux-l, Finding a Path to Model Consistency, European Conference on Model Driven Architecture -Foundations and Applications(ECMDA-FA 2006), 2006.
DOI : 10.1007/11787044_9
URL : https://hal.archives-ouvertes.fr/hal-01351679

. G. De, « Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles, 2007.

M. A. Gaignard, « A distributed security policy for neuroradiological data sharing », Heal- thGrid'09, pp.257-262, 2009.

. E. Gamma, J. R. Helm-r, and . J. Vlissides, Design Patterns : Abstraction and Reuse of Object- Oriented Design, 1993.

. Gervais-m.-p, « Towards an MDA-oriented methodology », 26th annual international computer software and applications conference(COMPSAC 02), pp.265-270, 2002.

H. Ha and C. , A model design of the Track & Trace system for e-logistics, Operational Research, vol.18, issue.7, pp.5-15, 2002.
DOI : 10.1007/BF02940118

. T. Lodderstedt, D. J. Basin-d, and . Secureuml, SecureUML: A UML-Based Modeling Language for Model-Driven Security, pp.426-441, 2002.
DOI : 10.1007/3-540-45800-X_33

M. K. and M. I. Wuyts-r, « Supporting Software Development Through Declaratively Codified Programming Patterns, journal on Expert Systems with Applications, vol.23, issue.4, pp.405-413, 2002.

M. T. Kniesel-g and R. O. , « Transformation dependency analysis. A comparison of two approaches, Langages et Modèles à Objets(LMO), Hermes, pp.167-182, 2006.

M. S. Blay-fornarino, « Réflexions autour de la construction dirigée par les modèles d'un atelier de composition d'orchestrations », 15ème conférence francophone sur les Langages et Modèles à Objets, Cépadues, 2009.

. Mou and . A. Mougenot, Detection of inconsistency within distributed models, 2010.

M. A. , C. O. , and C. B. Vanwormhoudt-g, « On Some Properties of Parameterized Model Application, First European Conference on Model Driven Architecture -Foundations and Applications(ECMDA-FA'2005), 2005.

N. O. Blay-fornarino, « Annotations et transformations de modèles pour l'intégration de services, RSTI -Série L'Objet (RSTI-Objet), pp.2-3, 2004.

. C. Nemo and . M. Blay-fornarino, « Collaborative Modeling for Integrating Security Properties on a Medical Sharing Application, p.3, 2009.

. C. Nemo, « Construction et validation de modèles guidées par l'application idempotente de transformations, 2010.

. C. Nemo and . M. Blay-fornarino, « Construction of Models Needs Idempotent Transformations », Sophia-Antipolis Formal Analysis Group, pp.1-4

P. R. Duchien-l, . Seinturier-l, and . Compar, Ensuring Safe Around Advice Composition Formal Methods for Open Object-Based Distributed Systems, pp.7-13

P. F. Diapason, une approche formelle et centrée architecture pour la composition évolutive de services Web, 2007.

D. Silva, M. A. , M. A. Blanc-x, and . Bendraou-r, Towards Automated Inconsistency Handling in Design Models, Lecture Notes in Computer Science, vol.6051, pp.348-362, 2010.
DOI : 10.1007/978-3-642-13094-6_28
URL : https://hal.archives-ouvertes.fr/hal-01292626

. Ste and . Stevens-p, « Bidirectional Model Transformations in QVT : Semantic Issues and Open Questions, 2010.