M. Amrani, J. Dingel, L. Lambers, L. Lúcio, R. Salay et al., Towards a model transformation intent catalog, Proceedings of the First Workshop on the Analysis of Model Transformations, AMT '12
DOI : 10.1145/2432497.2432499

M. Amrani, L. Lúcio, G. Selim, B. Combemale, J. Dingel et al., A Tridimensional Approach for Studying the Formal Verification of Model Transformations, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
DOI : 10.1109/ICST.2012.197
URL : https://hal.archives-ouvertes.fr/hal-00684717

M. Amrani, L. Lúcio, G. Selim, B. Combemale, J. Dingel et al., A Survey of Formal Verification Techniques for Model Transformations : A Tridimensional Classification

J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev et al., Model Transformations? Transformation Models!
DOI : 10.1007/11880240_31

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152
DOI : 10.1016/j.entcs.2005.10.021

N. Anquetil, J. Royer, P. André, G. Ardourel, P. Hnetynka et al., JavaCompExt: Extracting Architectural Elements from Java Source Code, 2009 16th Working Conference on Reverse Engineering, pp.317-318, 2009.
DOI : 10.1109/WCRE.2009.53
URL : https://hal.archives-ouvertes.fr/hal-00457219

L. Aversano, C. Grasso, and M. Tortorella, A literature review of Business/IT alignment strategies, Enterprise Information Systems, number 141 in LNBIP, pp.471-488, 2013.

H. Brunelière and G. Dupé, Virtual EMF -transparent composition, weaving and linking of models, EclipseCon Europe, 2011.

J. Capirossi, Architecture d'entreprise. Collection Management et informatique, Hermes, 2011.

J. Choi, D. L. Nazareth, and H. K. Jain, The Impact of SOA Implementation on IT-Business Alignment, ACM Transactions on Management Information Systems, vol.4, issue.1, pp.1-322, 2013.
DOI : 10.1145/2445560.2445563

M. Clavreul, Composition de modèles et de métamodèles : Séparation des correspondances et des interprétations pour unifier les approches de composition existantes, 2011.

V. De-castro, E. Marcos, and J. M. Vara, Applying CIM-to-PIM model transformations for the service-oriented development of information systems, Information and Software Technology, vol.53, issue.1, pp.87-105, 2011.
DOI : 10.1016/j.infsof.2010.09.002

P. Desfray and G. Raymond, TOGAF en pratique : Modèles d'architecture d'entreprise, 2012.

M. Didonet, D. Fabro, J. Bézivin, and P. Valduriez, Weaving models with the eclipse AMW plugin, Eclipse Modeling Symposium, Eclipse Summit Europe, 2006.

G. Disic and . France, Cadre commun d'Architecture d'Entreprise applicable au système d'information de l'Etat et à sa transformation, 2012.

M. Duedahl, J. Andersen, and M. K. Sein, When models cross the border, Proceedings of the 2005 ACM SIGMIS CPR conference on Computer personnel research , CPR '05, pp.40-48, 2005.
DOI : 10.1145/1055973.1055983

M. Galster, Dependencies, traceability and consistency in software architecture, Proceedings of the 5th European Conference on Software Architecture, ECSA '11, pp.1-1, 2011.
DOI : 10.1145/2031759.2031761

B. Lahna, O. Roudiès, and J. Giraudin, Approches par points de vue pour l'ingénierie des systèmes d'information. e-TI -la revue électronique des technologies d'information, 2009.

M. Marc and . Lankhorst, Enterprise Architecture at Work -Modelling, Communication and Analysis (3 The Enterprise Engineering Series, 2013.

C. Longépé, Le projet d'urbanisation du SI : Cas concret d'architecture d'entreprise. InfoPro, 2009.

J. Luftman, R. Papp, and T. Brier, Enablers and inhibitors of business-IT alignment, Commun. AIS, vol.1, issue.3es, 1999.

C. Morley, Management d'un projet Système d'Information -Principes, techniques, mise en oeuvre et out : Principes, techniques, mise en oeuvre et outils, 2012.

K. Normantas, S. Sosunovas, and O. Vasilecas, An overview of the knowledge discovery meta-model, Proceedings of the 13th International Conference on Computer Systems and Technologies, CompSysTech '12, pp.52-57
DOI : 10.1145/2383276.2383286

J. Printz, Architecture logicielle -Concevoir des applications simples, sûres et adaptables, Etudes et développement. Dunod, 2012.

R. Reix, Systèmes d'information et management des organisations, 2011.

J. Saat, U. Franke, R. Lagerstrom, and M. Ekstedt, Enterprise Architecture Meta Models for IT/Business Alignment Situations, 2010 14th IEEE International Enterprise Distributed Object Computing Conference, pp.14-23, 2010.
DOI : 10.1109/EDOC.2010.17

A. Ullah and R. Lai, A Systematic Review of Business and Information Technology Alignment, ACM Transactions on Management Information Systems, vol.4, issue.1, pp.1-430, 2013.
DOI : 10.1145/2445560.2445564

U. Club, Urbanisme des SI et gouvernance : Bonnes pratiques de l'architecture d'entreprise. InfoPro, 2010.

. Dans-la-théorie-des-catégorie, et les langages métaprogrammés,quisonttrèsprochesdeslangages de programmation usuels et en partagent donc les fondements théoriques

M. Amrani, A Formal Semantics of Kermeta Formal and Practical Aspects of Domain-Specific Languages : Recent Developments, 2013.

M. Amrani, Towards The Formal Verification of Model Transformations ? An Application to Kermeta.P h Dt h e s i s ,U n i v e r s i t

M. Amrani, B. Combemale, P. Kelsen, and Y. L. Traon, Une Revue des Techniques de Vérification Formelle pour la Transformation de Modèles : Une Classification Tridimensionnelle, Actes de la Conférence en Ingénierie du Logiciel

M. Amrani, J. Dingel, L. Lambers, L. Lúcio, R. Salay et al., Towards a model transformation intent catalog, Proceedings of the First Workshop on the Analysis of Model Transformations, AMT '12
DOI : 10.1145/2432497.2432499

M. Amrani, L. Lúcio, G. Selim, B. Combemale, J. Dingel et al., A Tridimensional Approach for Studying the Formal Verification of Model Transformations, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
DOI : 10.1109/ICST.2012.197
URL : https://hal.archives-ouvertes.fr/hal-00684717

M. Amrani, L. Lúcio, G. Selim, B. Combemale, J. Dingel et al., A Survey of Formal Verification Techniques for Model Transformations : A Tridimensional Classification, Journal of Technology, vol.2, issue.4

X. Benoit-combemale, P. Crégut, X. Garoche, and . Thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958

J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev et al., Model Transformations? Transformation Models!, Conference on Model Driven Engineering Languages and Systems
DOI : 10.1007/11880240_31

J. Cabot, R. Clarisó, E. Guerra, J. , and L. , Verification and validation of declarative model-to-model transformations through invariants, Journal of Systems and Software, vol.83, issue.2, pp.283-302, 2010.
DOI : 10.1016/j.jss.2009.08.012
URL : https://hal.archives-ouvertes.fr/hal-00540816

M. Clavel, F. Duran, S. Eker, P. Lincoln, N. M. Oliet et al., All About Maude. A High-Performance Logical Framework, Lecture Notes in Computer Science, 2007.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

D. Varró and A. Pataricza, Automated Formal Verification of Model Transformations, Workshop on Critical Systems Development in UML

Z. Drey, C. Faucher, F. Fleurey, V. Mahé, and D. Vojtisek, Kermeta Language ? Reference Manual.U n i v e r s i t yo fR e n n e s ,T r i s k e l lT e a m

L. Lúcio, B. Barroca, and V. Amaral, A Technique for Automatic Validation of Model Transformations, Conference on Model Driven Engineering Languages and Systems
DOI : 10.1007/978-3-642-16145-2_10

L. Lúcio, M. Amrani, J. Dingel, L. Lambers, R. Salay et al., Model transformation intents and their properties, Software & Systems Modeling, vol.211, issue.1
DOI : 10.1007/s10270-014-0429-x

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152
DOI : 10.1016/j.entcs.2005.10.021

A. Narayanan and G. Karsai, Verifying Model Transformation By Structural Correspondence . Workshop on Graph Transformation and Visual Modeling Techniques

M. Object and . Group, Meta-Object Facility 2.0 Core Specification (06-01-01), 2006.

E. José, F. Rivera, A. Durán, and . Vallecillo, Formal Specification and Analysis of Domain-Specific Models Using Maude Simulation : Transactions of the Society for Modeling and Simulation International

J. Sánchez-cuadrado, E. Guerra, J. , and L. , Generic Model Transformations : Write Once, Reuse Everywhere.I n International Conference on Theory and Practice of Model Transformations,L e c t u r eN o t e si nC o m p u t e rS c i e n c e

E. Syriani and H. Vangheluwe, De-/Re-constructing Model Transformation Languages. Workshop on Graph Transformation and Visual Modeling Techniques, pp.1-1

G. Winskel, The Formal Semantics of Programming Languages : An Introduction (Foundations of Computing).M I TP r e s s ,C a m b r i d g

T. Mens, Introduction and roadmap : History and challenges of software evolution In Software Evolution,p a g e s1 ? 1 1 .S p r i n g e rB e r l i nH e i d e l b e r g

M. M. Lehman, Programs, life cycles, and laws of software evolution, Proceedings of the IEEE, pp.1060-1076, 1980.

M. W. Godfrey and D. M. German, The past, present, and future of software evolution, 2008 Frontiers of Software Maintenance, 2008.
DOI : 10.1109/FOSM.2008.4659256

D. C. Schmidt, Why software reuse has failed and how to make it work for you, C++ Report, vol.11, issue.1, 1999.

S. De-cesare, M. Lycett, and R. D. Macredie, Development Of Component-based Information Systems (Advances in Management Information Systems).M . E . S h a r p e , I n c, 2005.

C. Szyperski, Component Software : Beyond Object-Oriented Programming.A d d i s o n -W e s l e yL o n g, 2002.

Q. Wang, J. Shen, X. Wang, and H. Mei, A component-based approach to online software evolution, Journal of Software Maintenance and Evolution: Research and Practice, vol.2, issue.3
DOI : 10.1002/smr.324

J. Dowling and V. Cahill, The K-Component Architecture Meta-Model for Self-Adaptive Software, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, REFLECTION '01, pp.81-88, 2001.
DOI : 10.1007/3-540-45429-2_6

C. Costa-soria, J. Perez, and J. A. Carsi, Handling the Dynamic Reconfiguration of Software Architectures Using Aspects, 2009 13th European Conference on Software Maintenance and Reengineering, pp.2-6
DOI : 10.1109/CSMR.2009.33

P. C. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, Software Composition
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

N. Pessemier, L. Seinturier, L. Duchien, and T. Coupaye, A component-based and aspect-oriented model for software evolution, International Journal of Computer Applications in Technology, vol.31, issue.1/2
DOI : 10.1504/IJCAT.2008.017722
URL : https://hal.archives-ouvertes.fr/inria-00269895

. Acceleo, Implementation of mof to text language

R. Krzysztof, M. Apt, and . Wallace, Constraint logic programming using ECLiPSe, 2007.

L. Bass, P. Clements, and R. Kazman, Software architecture in practice.A d d i s o n -W e s l e y , 2012. [6] BCEL. The byte code engineering library

C. Lionel, W. Briand, Y. Dzidek, and . Labiche, Using aspect-oriented programming to instrument ocl contracts in java

L. C. Briand and Y. Labiche, Massimiliano Di Penta, and Han (Daphne) Yan-Bondoc. An experimental investigation of formality in uml-based development, 2005.

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07
DOI : 10.1145/1321631.1321737

B. Demuth, The dresden ocl toolkit and its role in information systems development, Proc. of the 13th International Conference on Information Systems Development

M. Giese and D. Larsson, Simplifying Transformations of OCL Constraints, Model Driven Engineering Languages and Systems, pp.309-323, 2005.
DOI : 10.1007/11557432_23

K. Hassam, S. Sadou, and R. Fleurquin, Adapting ocl constraints after a refactoring of their model using an mde process, BElgian-NEtherlands software eVOLution seminar, pp.1-6, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00664877

H. Hussmann, B. Demuth, and F. Finger, Modular architecture for a toolset supporting ocl, UML 2000?The Unified Modeling Language, pp.278-293, 2000.

C. Jeanneret, L. Eyer, T. Markovic, and . Baar, Roclet: Refactoring ocl expressions by transformations, Software & Systems Engineering and their Applications, 19th International Conference

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

. Octopus, Ocl tool for precise uml specifications

T. Reenskaug, Thing-model-view editor an example from a planning system, xerox parc technical note, 1979.

J. Abrial, The B-book : Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

G. Arévalo, N. Desnos, M. Huchard, C. Urtado, and S. Vauttier, FCAbased service classification to dynamically build efficient software component directories, International Journal of General Systems

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.9-9

A. Mokni and M. Huchard, Christelle Urtado, Sylvain Vauttier, and Huaxi (Yulin) Zhang. Formal modeling of software architectures at three abstraction levels, 2014.

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.0-5
DOI : 10.1145/141874.141884

I. Sommerville, Software engineeringA d d i s o n -W e s l e

R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, J. et al., A component- and message-based architectural style for GUI software, Proceedings of the 17th ICSE, pp.295-304, 1995.
DOI : 10.1109/32.508313

H. Zhang, C. Urtado, and S. Vauttier, Architecture-Centric Component-Based Development Needs a Three-Level ADL, Proceedings of the 4th ECSA,v o l u m e6 2 8 5o fLNCS, pp.295-310, 2010.
DOI : 10.1002/smr.377
URL : https://hal.archives-ouvertes.fr/hal-00534682

. Huaxiyulin, L. Zhang, C. Zhang, S. Urtado, M. Vauttier et al., A three-level component model in component-based software development, Proceedings of the 11th GPCE, pp.70-79, 2012.

F. Boulanger and C. Hardebolle, Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying Concurrency for Executable Metamodeling, 6th International Conference on Software Language Engineering, 2013.
DOI : 10.1007/978-3-319-02654-1_20

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, p.1
DOI : 10.1109/JPROC.2002.805829

F. Fleurey, B. Baudry, R. France, and S. Ghosh, Models in software engineering . chapter A Generic Approach for Automatic Model Composition, pp.7-15, 2008.

A. Girault, B. Lee, and E. A. Lee, Hierarchical finite state machines with multiple concurrency models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.18, issue.6, pp.742-760, 1999.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging Models with the Epsilon Merging Language (EML), Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (Models/UML 2006
DOI : 10.1007/11880240_16

A. George, F. Papadopoulos, and . Arbab, Coordination models and languages, 1998.

M. Vara-larsen and A. Goknil, Railroad Crossing Heterogeneous Model. In GEMOC workshop 2013 -International Workshop on The Globalization of Modeling Languages, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867316

J. Babau and M. Kerboeuf, Domain specific language modeling facilities, 5th MoDELS workshop on Models and Evolution
URL : https://hal.archives-ouvertes.fr/hal-00632336

K. Czarnecki, Bidirectional transformations : A cross-discipline perspective grace meeting notes, state of the art, and outlook, 2009.

M. Herrmannsdoerfer, S. Vermolen, and G. Wachsmuth, An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models, SLE
DOI : 10.1007/978-3-642-19440-5_10

M. Kerboeuf and J. Babau, A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306

S. Sen, Reusable model transformations, Journal of Software and Systems Modeling (SoSyM)
DOI : 10.1007/s10270-010-0181-9
URL : https://hal.archives-ouvertes.fr/inria-00542766

P. Vallejo, M. Kerboeuf, and J. Babau, Specification of a legacy tool by means of a dependency graph to improve its reusability In 7th MoDELS workshop on Models and Evolution, United States, 2013. References [1] Beno??tBeno??t Combemale, Xavier Crégut, Marc Pantel, et al. A design pattern to build executable dsmls and associated v&v tools, The 19th Asia-Pacific Software Engineering Conference

I. Iec, ISO/IEC 15288 : Systems and software engineering -System life cycle processes, 2008.

G. Anneke and . Kleppe, A language description is more than a metamodel, 2007.

J. Oden, . Belytschko, . Fish, C. Hughes, . Johnson et al., Simulation-based engineering science: Revolutionizing engineering science through simulation?report of the national science foundation blue ribbon panel on simulation-based engineering science, 2006.

C. Douglas and . Schmidt, Model-driven engineering, Computer Society-IEEE, vol.9, issue.2

F. Boulanger and C. Hardebolle, Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, pp.318-327, 2008.
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188

D. Cafe, F. V. Santos, C. Hardebolle, C. Jacquet, and F. Boulanger, Multi-paradigm semantics for simulating SysML models using SystemC-AMS, Specification and Design Languages, pp.82-89, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00838859

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, p.1
DOI : 10.1109/JPROC.2002.805829

A. Ferrari, L. Mangeruca, O. Ferrante, and A. Mignogna, Desyreml: a sysml profile for heterogeneous embedded systems, Embedded Real Time Software and Systems

. Gemoc, On the globalization of Modeling Languages, 2011.

C. Grimm, M. Barnasconi, A. Vachoux, and K. Einwich, An introduction to modeling embedded analog/mixed-signal systems using SystemC AMS extensions, DAC

C. Hardebolle and F. Boulanger, ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Models in Software Engineering, pp.247-258, 2008.
DOI : 10.1007/978-3-540-69073-3_26
URL : https://hal.archives-ouvertes.fr/hal-00554780

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

E. A. Lee, Disciplined Heterogeneous Modeling, Model Driven Engineering Languages and Systems, pp.273-287, 2010.
DOI : 10.1007/3-540-45874-3_2

H. D. Patel and S. K. Shukla, Systemc kernel extensions for heterogeneous system modeling. The Netherlands, pp.9-71, 2004.

G. Alonso, D. Agrawal, and . Abbadi, Process synchronization in workflow management systems, Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing, pp.581-588, 1996.
DOI : 10.1109/SPDP.1996.570387

A. Barros, M. Dumas, and A. Hofstede, Service Interaction Patterns, Business Process Management, pp.302-318, 2005.
DOI : 10.1007/11538394_20

S. Bhiri, C. Godart, and O. Perrin, Transactional patterns for reliable web services compositions, Proceedings of the 6th international conference on Web engineering , ICWE '06, pp.137-144, 2006.
DOI : 10.1145/1145581.1145613
URL : https://hal.archives-ouvertes.fr/inria-00113956

D. Bunting, . Chapman, . Hurley, . Little, . Mischkinsky et al., Web services transaction management (ws-txm) version 1.0. Arjuna

K. Ahmed and . Elmagarmid, Transaction models for advanced database applications, 1991.

W. Robert, H. Freund, F. Tom-freund, I. Leymann, T. Robinson et al., Web services business activity framework (ws-businessactivity), 2005.

M. Graiet, I. Abbassi, L. Hamel, M. T. Bhiri, M. Kmimech et al., Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior, 2013 IEEE 20th International Conference on Web Services, pp.251-259, 2013.
DOI : 10.1109/ICWS.2013.42
URL : https://hal.archives-ouvertes.fr/hal-00967037

S. Jablonski and C. Bussler, Workflow management: modeling concepts, architecture and implementation, 1996.

N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon et al., Web services choreography description language version 1.0. W3C candidate recommendation

S. W. Vitus and . Lam, Dynamic workflow patterns, Enterprise Information Systems and Web Technologies

F. Mustafa and T. L. Mccluskey, Dynamic Web Service Composition, 2009 International Conference on Computer Engineering and Technology
DOI : 10.1109/ICCET.2009.191

N. Russell, A. Hm-ter-hofstede, D. Edmond, M. Wil, and . Van-der-aalst, Workflow Data Patterns: Identification, Representation and Tool Support, Conceptual Modeling?ER 2005, pp.353-368, 2005.
DOI : 10.1007/11568322_23

N. Russell, A. Hm-ter-hofstede, and N. Mulyar, Workflow controlflow patterns: A revised view, 2006.

N. Russell, M. Wil, . Van-der-aalst, H. Arthur, D. Ter-hofstede et al., Workflow Resource Patterns: Identification, Representation and Tool Support, Advanced Information Systems Engineering, pp.216-232, 2005.
DOI : 10.1007/11431855_16

D. Tidwell, J. Snell, and P. Kulchenko, Programming Web Services with SOAP, 2001.

A. H. Ter-hofstede, W. M. Van-der-aalst, A. P. Barros, and B. Kiepuszewski, Advanced workflow patterns, 5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS'00

F. Boulanger, C. Hardebolle, C. Jacquet, and D. Marcadet, Semantic Adaptation for Models of ComputationApplication of Concurrency to System Design, Proceedings of ACSD 2011

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

B. Meyers, J. Denil, F. Boulanger, C. Hardebolle, C. Jacquet et al., A DSL for Explicit Semantic Adaptation, Proceedings of MPM 2013 (Multi- Paradigm Modeling workshop at Models 2013), number 1112 in CEUR Workshop Proceedings, pp.47-56, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00875798

P. J. Mosterman, H. Vangheluwe-david-benavides, S. Segura, and A. R. Cortés, Computer Automated Multi-Paradigm Modeling : An Introduction Automated analysis of feature models 20 years later: A literature review, Inf. Syst, vol.43, issue.0 9 6, pp.5-6

T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430513

H. Do, S. Mirarab, L. Tahvildari, and G. Rothermel, An empirical study of the effect of time constraints on the cost-benefits of regression testing, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16
DOI : 10.1145/1453101.1453113

K. C. Kang, J. Lee, and P. Donohoe, Feature-oriented product line engineering, IEEE Software, vol.19, issue.4, pp.58-65, 2002.
DOI : 10.1109/MS.2002.1020288

C. W. Krueger, Easing the Transition to Software Mass Customization, PFE,v o l u m e2 2 9 0, pp.282-293, 2001.
DOI : 10.1007/3-540-47833-7_25

J. Martinez, T. Ziadi, J. Klein, and Y. Le-traon, Identifying and Visualising Commonality and Variability in Model Variants, Proceedings of the 2014 European Conference on Models Foundations and Applications, 2014.
DOI : 10.1007/978-3-319-09195-2_8
URL : https://hal.archives-ouvertes.fr/hal-01215547

T. Ziadi, L. Frias, M. A. Almeida-da-silva, and M. Ziane, Feature Identification from the Source Code of Product Variants, 2012 16th European Conference on Software Maintenance and Reengineering
DOI : 10.1109/CSMR.2012.52
URL : https://hal.archives-ouvertes.fr/hal-01270063

T. Ziadi, C. Henard, M. Papadakis, M. Ziane, and Y. Le-traon, Towards a language-independant approach for reverse-engineering of software product lines, Proceedings of the 29th Symposium On Applied Computing, 2014.

. Références, Alanen and I. Porres. Difference and Union of Models, Proceedings of 6th International Conference on the Unified Modeling Language, Modeling Languages and Applications (UML'03), volume 2863 of LNCS, pp.2-17, 2003.

M. Barbero and J. Bézivin, Structured Libraries of Models, Proceedings of 1st International Workshop on Towers of Models

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture, 2005.
DOI : 10.1007/11538097_3

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Modeling Model Slicers, Proceedings of 14th International Conference on Model Driven Engineering Languages and Systems (Mo- DELS'11), pp.62-76, 2011.
DOI : 10.1016/S0164-1212(98)10055-9
URL : https://hal.archives-ouvertes.fr/inria-00609072

B. Carré, G. Vanwormhoudt, and O. Caron, From subsets of model elements to submodels, a characterization of submodels and their properties. Software and Systems Modeling, pp.29-2013

R. B. France, J. M. Bieman, and B. H. Cheng, Repository for Model Driven Development (ReMoDD), Proceeding of MoDELS'06 Workshops, pp.311-317

P. Kelsen, Q. Ma, and C. Glodt, Models within Models: Taming Model Complexity Using the Sub-model Lattice, Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering, pp.171-185, 2011.
DOI : 10.1007/978-3-642-19811-3_13

D. Lucrédio, R. Pontin-de-mattos, J. Fortes, and . Whittle, Moogle : a metamodel-based model search engine. Software and System Modeling

T. Reiter, E. Kapsammer, W. Retschitzegger, and W. Schwinger, Model Integration Through Mega Operations, Proceedings of the International Workshop on Model-driven Web Engineering (MDWE'05)

M. Siikarla, J. Peltonen, and J. Koskinen, Towards unambiguous model fragments, Nordic Journal of Computing

H. Störrle, VMQL: A visual language for ad-hoc model querying, Journal of Visual Languages and Computing
DOI : 10.1016/j.jvlc.2010.11.004

. Java-card, the java card 3.0 specification

R. A. Bazzi, K. Makris, P. Nayeri, and J. Shen, Dynamic software updates, Proceedings of the Second International Workshop on Hot Topics in Software Upgrades, HotSWUp '09, pp.1-7, 2009.
DOI : 10.1145/1656437.1656447

C. Boyapati, B. Liskov, L. Shrira, C. H. Moh, and S. Richman, Lazy modular upgrades in persistent object stores. SIGPLAN Not

D. Gupta, Online software version change.P h Dt h e s i s ,I n d i a nI n s t i t u t eo fT e c h n o l o g y ,I n d i a, pp.9-9

R. Lounas, M. Mezghiche, and J. L. Lanet, Towards a General Framework for Formal Reasoning about Java Bytecode Transformation, SCSS,v olume 122 of EPTCS, pp.6-9
DOI : 10.4204/EPTCS.122.6
URL : https://hal.archives-ouvertes.fr/hal-00937253

Y. Murarka, Online Update of Concurrent Object Oriented Programs.P h Dt h e s i s ,I n d i a nI n s t i t u t e of Technology, 2010.

A. C. Noubissi, J. Iguchi-cartigny, and J. L. Lanet, Hot updates for Java based smart cards, 2011 IEEE 27th International Conference on Data Engineering Workshops, pp.1-6
DOI : 10.1109/ICDEW.2011.5767630

S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes, Runtime Support for Type-Safe Dynamic Java Classes, Proceedings of the 14th European Conference on Object-Oriented Programming, pp.337-361, 2000.
DOI : 10.1007/3-540-45102-1_17

G. Marathe and . Pei, Cascading failures in multiple infrastructures: From transportation to communication network, Critical Infrastructure, 5th Intl Conf on, pp.1-8

W. Beyeler, R. Glass, and G. Lodi, Modeling and Risk Analysis of Information Sharing in the Financial Infrastructure, Collaborative Financial Infrastructure Protection, pp.41-52, 2012.
DOI : 10.1007/978-3-642-20420-3_2

J. Boardman and B. Sauser, System of Systems - the meaning of of, 2006 IEEE/SMC International Conference on System of Systems Engineering, 2006.
DOI : 10.1109/SYSOSE.2006.1652284

R. Bobba, H. Khurana, M. Alturki, F. Ashrafa, and S. I. , PBES, Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, ASIACCS '09
DOI : 10.1145/1533057.1533093

D. J. Bodeau, System-of-systems security engineering, Tenth Annual Computer Security Applications Conference, pp.228-235, 1994.
DOI : 10.1109/CSAC.1994.367304

R. T. Brooks and A. P. Sage, System of systems integration and test. Information, Knowledge, Systems Management

M. Ciampi, G. Pietro, C. Esposito, M. Sicuranza, P. Mori et al., On Securing Communications among Federated Health Information Systems, Computer Safety, Reliability, and Security, pp.235-246, 2012.
DOI : 10.1007/978-3-642-33675-1_21

H. Cihan, N. Dagli, and . Kilicay-ergin, System of Systems Architecting,p a g e s7 7 ? 1 0 0 .J o h nW i l e y &S o n s

J. Dahmann, G. Rebovich, M. Mcevilley, and G. Turner, Security engineering in a system of systems environment, 2013 IEEE International Systems Conference (SysCon)
DOI : 10.1109/SysCon.2013.6549907

R. Delmas and T. Polacsek, Formal Methods for Exchange Policy Specification, Advanced Information Systems Engineering, pp.288-303, 2013.
DOI : 10.1007/978-3-642-38709-8_19

N. Doty-web and L. O. , The case for a location metasystem, Proceedings of the 2nd International Workshop on Location and the Web, LOCWEB '09
DOI : 10.1145/1507136.1507140

M. Duren, H. Aldridge, R. K. Abercrombie, and F. T. Sheldon, Designing and operating through compromise, Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop on, CSIIRW '13, pp.1-48, 2013.
DOI : 10.1145/2459976.2460031

D. L. Farroha and B. S. Farroha, Agile development for system of systems: Cyber security integration into information repositories architecture, 2011 IEEE International Systems Conference
DOI : 10.1109/SYSCON.2011.5929083

D. Flanigan and P. Brouse, Evaluating the Allocation of Border Security System of Systems Requirements, Conf on Systems Eng Research, pp.631-638, 2013.
DOI : 10.1016/j.procs.2013.01.066

I. N. Fovino and M. Masera, Emergent disservices in interdependent systems and system-ofsystems, IEEE Intl Conf on Systems, Man and Cybernetics

A. Gorod, R. Gove, B. Sauser, and J. Boardman, System of Systems Management: A Network Management Approach, 2007 IEEE International Conference on System of Systems Engineering, pp.1-5, 2007.
DOI : 10.1109/SYSOSE.2007.4304218

J. Hosey and R. Gamble, Extracting security control requirements, Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research, CSIIRW '10
DOI : 10.1145/1852666.1852715
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.322

M. Howard and S. Lipner, The security development lifecycle.O ' R e i l l yM e d i a

I. and I. Iso, Information security risk management, International Organization for Standardization (ISO), 2011.

M. Jamshidi, System of Systems - Innovations for 21st Century, 2008 IEEE Region 10 and the Third international Conference on Industrial and Information Systems, pp.6-7, 2008.
DOI : 10.1109/ICIINFS.2008.4798321

E. Jaramillo, M. Munier, and P. Aniorte, Information security in business intelligence based on cloud: A survey of key issues and the premises of a proposal, WOSIS
URL : https://hal.archives-ouvertes.fr/hal-01082063

R. S. Kalawsky, The Next Generation of Grand Challenges for Systems Engineering Research, Conf. on Systems Engineering Research, pp.834-843, 2013.
DOI : 10.1016/j.procs.2013.01.087

R. S. Kalawsky, D. Joannou, Y. Tian, and A. Fayoumi, Using Architecture Patterns to Architect and Analyze Systems of Systems, Procedia Computer Science, vol.16
DOI : 10.1016/j.procs.2013.01.030

M. Kennedy, D. Llewellyn-jones, Q. Shi, and M. Merabti, A framework for providing a secure system of systems composition, The 12th Annual Conference on the Convergence of Telecommunications , Networking & Broadcasting, 2011.

M. Kennedy, D. Llewellyn-jones, Q. Shi, and M. Merabti, System-of-systems security: A survey, The 11th Annual Conference on the Convergence of Telecommunications, Networking & Broadcasting, 2010.

A. D. Keromytis, A Comprehensive Survey of Voice over IP Security Research, IEEE Communications Surveys & Tutorials, vol.14, issue.2
DOI : 10.1109/SURV.2011.031611.00112

J. Klein, H. Van, and V. , A systematic review of system-of-systems architecture research, Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, QoSA '13, pp.13-22, 2013.
DOI : 10.1145/2465478.2465490

R. Koelle and M. Hawley, Sesar security 2020: How to embed and assure security in system-of-systems engineering?, 2012 Integrated Communications, Navigation and Surveillance Conference, pp.8-9, 2012.
DOI : 10.1109/ICNSurv.2012.6218393

P. Kotzanikolaou, M. Theoharidou, and D. Gritzalis, Interdependencies between Critical Infrastructures: Analyzing the Risk of Cascading Effects, Critical Information Infrastructure Security,v o l u m e6 9 8 3o fLecture Notes in Computer Science, pp.104-115, 2013.
DOI : 10.1007/978-3-642-41476-3_9

V. Lalanne, M. Munier, and A. Gabillon, Information Security Risk Management in a World of Services, 2013 International Conference on Social Computing
DOI : 10.1109/SocialCom.2013.88
URL : https://hal.archives-ouvertes.fr/hal-01020244

G. Lewis, E. Morris, P. Place, S. Simanta, D. Smith et al., Engineering Systems of Systems, 2008 2nd Annual IEEE Systems Conference, pp.1-6, 2008.
DOI : 10.1109/SYSTEMS.2008.4519005

L. Lucio, Q. Zhang, P. Hong-nguyen, M. Amrani, J. Klein et al., Advances in Model-Driven Security, Advances in Computers
DOI : 10.1016/B978-0-12-800162-2.00003-8

S. J. Lukasik, Vulnerabilities and failures of complex systems, Int. J. Eng. Educ, vol.1, issue.9 1, pp.2-2, 2003.

W. Mark and . Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.2-6, 1998.

M. W. Maier, Research Challenges for Systems-of-Systems, 2005 IEEE International Conference on Systems, Man and Cybernetics, 2005.
DOI : 10.1109/ICSMC.2005.1571630

M. Merabti, M. Kennedy, and W. Hurst, Critical infrastructure protection: A 21st century challenge, Communications and Information Technology (ICCIT), 2011 International Conference Page 156

D. Munante, L. Gallon, and P. Aniorte, An Approach Based on Model-Driven Engineering to Define Security Policies Using OrBAC, 2013 International Conference on Availability, Reliability and Security
DOI : 10.1109/ARES.2013.44
URL : https://hal.archives-ouvertes.fr/hal-01092973

M. Munier, V. Lalanne, P. Ardoy, and M. Ricarde, Legal Issues About Metadata Data Privacy vs Information Security, In DPM
DOI : 10.1007/978-3-642-54568-9_11
URL : https://hal.archives-ouvertes.fr/hal-01082056

E. I. Neaga, M. J. De, C. Henshaws-o, and S. E. , Modeling the linkage between systems interoperability and security engineering, 2010 5th International Conference on System of Systems Engineering
DOI : 10.1109/SYSOSE.2010.5544056

C. Nichols and R. Dove, Architectural patterns for self-organizing systems-of-systems, Insight, vol.4, pp.42-45, 2011.

C. E. Phillips, J. , T. C. Ting, and S. A. Demurjian, Information sharing and security in dynamic coalitions, Proceedings of the seventh ACM symposium on Access control models and technologies , SACMAT '02, pp.87-96, 2002.
DOI : 10.1145/507711.507726

N. Ricci, A. M. Ross, and D. H. Rhodes, A Generalized Options-based Approach to Mitigate Perturbations in a Maritime Security System-of-Systems, Conference on Systems Engineering Research, pp.718-727, 2013.
DOI : 10.1016/j.procs.2013.01.075

S. M. Rinaldi, J. P. Peerenboom, and T. K. Kelly, Identifying, understanding, and analyzing critical infrastructure interdependencies, IEEE Control Systems Magazine, vol.21, issue.6, pp.11-25, 2001.
DOI : 10.1109/37.969131

R. Saadi, M. Rahaman, V. Issarny, and A. Toninelli, Composing Trust Models towards Interoperable Trust Management, Trust Management V,v o l u m e3 5 8o fIFIP Advances in Information and Communication Technology
DOI : 10.1007/978-3-642-22200-9_7
URL : https://hal.archives-ouvertes.fr/inria-00617629

L. Simoncini, Dependable and historic computing. chapter Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience?, pp.486-497, 2011.

F. Skopik, A. Treytl, A. Geven, B. Hirschler, and T. Bleier, Andreas Eckel, Christian El-Salloum, and Armin Wasicek. Towards secure time-triggered systems, Proc of the 2012 Intl Conf on Computer Safety, Reliability, and Security, pp.365-372, 2012.

M. A. Solano, SoSE architecture principles for Net-Centric Multi-Int Fusion Systems, 2011 6th International Conference on System of Systems Engineering, pp.6-7
DOI : 10.1109/SYSOSE.2011.5966574

D. Trivellato, N. Zannone, and S. Etalle, Poster, Proceedings of the 18th ACM conference on Computer and communications security, CCS '11
DOI : 10.1145/2046707.2093513

D. Trivellato, N. Zannone, M. Glaundrup, J. Skowronek, and S. Etalle, A SEMANTIC SECURITY FRAMEWORK FOR SYSTEMS OF SYSTEMS, International Journal of Cooperative Information Systems, vol.22, issue.01
DOI : 10.1142/S0218843013500044

A. Waller and R. Craddock, Managing runtime re-engineering of a System-of-Systems for cyber security, 2011 6th International Conference on System of Systems Engineering
DOI : 10.1109/SYSOSE.2011.5966566

W. A. Wulf, Great achievements and grand challenges, National Academy of Engineering, 2000.

W. Young and N. G. Leveson, An integrated approach to safety and security based on systems theory, Communications of the ACM, vol.57, issue.2, pp.31-35, 2014.
DOI : 10.1145/2556938

Z. Zhang, C. Wu, and D. W. Cheung, A survey on cloud interoperability, ACM SIGMETRICS Performance Evaluation Review, vol.40, issue.4, pp.13-22, 2013.
DOI : 10.1145/2479942.2479945