F. Arbab and F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, pp.329-366, 2002.
DOI : 10.1017/S0960129504004153

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

I. [. Arbab, P. Herman, and . Spilling, An overview of manifold and its implementation, Concurrency: Practice and Experience, vol.14, issue.1
DOI : 10.1002/cpe.4330050103

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Research Report RR-6925, 2002.

A. Arbab, What do you mean, coordination? In Bulletin of the Dutch Association for Theoretical Computer Science (NVTI, pp.11-22, 1998.

J. Bézivin, S. Bouzitouna, M. D. Fabro, M. Gervais, F. Jouault et al., Model Driven Architecture ? Foundations and Applications: Second European Conference, ECMDA-FA, Proceedings, chapter A Canonical Scheme for Model Composition, pp.346-360, 2006.

G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu et al., A manifesto for model merging, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, pp.5-12, 2006.
DOI : 10.1145/1138304.1138307

. Bfj-+-04-]-l, J. L. Barroca, M. Fiadeiro, R. Jackson, B. Laney et al., Problem frames: A case for coordination

C. [. Boulanger and . 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

[. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Readings in hardware/software co-design. chapter Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, pp.527-543, 2002.

A. [. Bjureus and . Jantsch, Modeling of mixed control and dataflow systems in mascot IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2001.

[. Bryant, J. Jézéquel, R. Lämmel, and M. Mernik, Globalized Domain Specific Language Engineering
DOI : 10.1007/978-3-319-26172-0_4

URL : https://hal.archives-ouvertes.fr/hal-01224283

R. B. Cheng, J. France, B. Jézéquel, and . Rumpe, Globalizing Domain-Specific Languages, Lecture Notes in Computer Science, vol.9400, pp.43-69
URL : https://hal.archives-ouvertes.fr/hal-01224096

W. Cazzola, Domain-Specific Languages in Few Steps, Software Composition -11th International Conference Proceedings, pp.162-177, 2002.
DOI : 10.1007/978-3-642-30564-1_11

J. Le and N. , A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), pp.2016-2021
URL : https://hal.archives-ouvertes.fr/hal-01258358

J. Benoit-combemale, O. Deantoni, A. Barais, E. Blouin, C. Bousse et al., A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest, pp.2015-2019

J. Benoit-combemale, M. Deantoni, . Vara-larsen, . Fr-'ed-'eric, O. Mallet et al., Reifying Concurrency for Executable Metamodeling
DOI : 10.1007/978-3-319-02654-1_20

M. Chapman, P. Haines, H. Mehrota, J. Zima, and . Van-rosendale, Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, 1997.
DOI : 10.1155/1997/632908

K. Chen, J. Sztipanovits, and S. Neema, Toward a semantic anchoring infrastructure for domain-specific modeling languages, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.35-43, 2005.
DOI : 10.1145/1086228.1086236

K. Chen, J. Sztipanovits, and S. Neema, Compositional specification of behavioral semantics, Design, Automation Test in Europe Conference Exhibition, 2007. DATE '07, pp.1-6, 2002.

T. Clark, M. Van-den-brand, B. Combemale, and B. Rumpe, Conceptual Model of the Globalization for Domain-Specific Languages, Globalizing Domain-Specific Languages, pp.7-20
DOI : 10.1007/978-3-319-26172-0_2

URL : https://hal.archives-ouvertes.fr/hal-01224116

J. Deantoni, C. Brun, B. Caillaud, . Robertb, G. France et al., Domain Globalization: Using Languages to Support Technical and Social Coordination
DOI : 10.1007/978-3-319-26172-0_5

URL : https://hal.archives-ouvertes.fr/hal-01234653

J. France, B. Jézéquel, and . Rumpe, Globalizing Domain-Specific Languages, Lecture Notes in Computer Science, vol.9400, pp.70-87
URL : https://hal.archives-ouvertes.fr/hal-01224096

. Thomas-degueule, A. Benoit-combemale, O. Blouin, J. Barais, and . Jézéquel, Melange: A meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36

P. Deantoni, J. Issa-diallo, B. Champeau, C. Combemale, and . Teodorov, Operational Semantics of the Model of Concurrency and Communication Language, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01060601

P. Deantoni, J. Issa-diallo, B. Champeau, C. Combemale, and . Teodorov, Operational Semantics of the Model of Concurrency and Communication Language, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01060601

[. , D. Fabro, and P. Valduriez, Towards the efficient development of model transformations using model weaving and matching transformations. Software & Systems Modeling, p.305, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00483446

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, Research report
URL : https://hal.archives-ouvertes.fr/hal-00721169

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

M. Di-natale, F. Chirico, A. Sindico, and A. Sangiovanni-vincentelli, An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink, Model-Driven Engineering Languages and Systems, pp.353-369, 2014.
DOI : 10.1007/978-3-319-11653-2_22

E. Durand, Description et vérification d'architectures d'application temps réel : CLARA et les réseaux de Petri temporels, 1998.

M. Emerson and J. Sztipanovits, Techniques for metamodel composition In in The 6th OOPSLA Workshop on Domain-Specific Modeling, pp.123-139, 2006.

J. Ellsberger, A. Sarma, and D. Hogrefe, SDL : formal object-oriented language for communicating systems, 1997.

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

[. Ake-fredlund, B. Jonsson, and J. Parrow, An implementation of a translational semantics for an imperative language, Proceedings on Theories of Concurrency : Unification and Extension: Unification and Extension, CONCUR '90, pp.246-262, 1990.
DOI : 10.1007/BFb0039064

A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Goble, Heterogeneous composition of models of computation, Future Generation Computer Systems, vol.25, issue.5, pp.552-560, 2001.
DOI : 10.1016/j.future.2008.06.014

D. Gelernter and N. Carriero, Coordination languages and their significance

D. Gelernter and N. Carriero, Coordination languages and their significance

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

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994.
DOI : 10.1142/9789812798039_0001

]. C. Hoa69 and . Hoare, An axiomatic basis for computer programming, COMMUNICATIONS OF THE ACM, vol.12, issue.10 21, pp.576-580, 1969.

]. C. Hoa85 and . Hoare, Communicating Sequential Processes, 1985.

[. Jeanneret, R. France, and B. Baudry, A reference process for model composition, Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, AOM '08, pp.1-6, 2008.
DOI : 10.1145/1404920.1404921

J. Klein, F. Fleurey, and J. Jézéquel, Weaving Multiple Aspects in Sequence Diagrams, Transactions on Aspect-Oriented Software Development (TAOSD), pp.167-199, 2002.
DOI : 10.1007/978-3-540-75162-5_7

URL : https://hal.archives-ouvertes.fr/inria-00505223

J. Klein, L. Hélouët, and J. Jézéquel, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, pp.27-38, 2006.
DOI : 10.1145/1119655.1119662

URL : https://hal.archives-ouvertes.fr/hal-00921480

J. Klein and J. Jézéquel, Problems of the semantic-based weaving of scenarios, Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00795065

J. Klein, J. Kienzlekmds13-]-emilien-kofman, J. Millo, and R. Simone, Reusable aspect models Application Architecture Adequacy through an FFT case study, IN: Proceedings. Of The [ JRWRTC2013 -7th Junior Researcher Workshop on Real-Time Computing, 2013.

]. Kol09, . Dimitrioss, and . Kolovos, Establishing correspondences between models with the epsilon comparison language, Model Driven Architecture -Foundations and Applications, pp.146-157, 2009.

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, 2002.
DOI : 10.1007/11880240_16

[. Krahn, B. Rumpe, and S. Völkel, MontiCore: a framework for compositional development of domain specific languages, International Journal on Software Tools for Technology Transfer, vol.4, issue.2, pp.353-372, 2002.
DOI : 10.1007/s10009-010-0142-1

W. Mann, Specification and analysis of system architecture using rapide, IEEE Trans. Softw. Eng, vol.21, issue.4, pp.336-355, 1995.

A. Edward, A. Lee, and . Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE TCAD, 1998.

[. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, Proceedings of the 6th European SOFTWARE ENGINEERING Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC '97/FSE-5, pp.60-76, 1997.

A. George, F. Papadopoulos, and . Arbab, Coordination models and languages, CWI (Centre for Mathematics and Computer Science), vol.3, issue.1, 1998.

]. G. Plo81 and . Plotkin, A structural approach to operational semantics, 1981.

R. Reddy, S. France, F. Ghosh, B. Fleurey, and . Baudry, Model composition -a signature-based approach, Proceedings of the AOM Workshop at MODELS'05, 2001.

[. Rhepp, H. Stögner, and A. Uhl, Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004.

]. M. Sdk-+-95, R. Shaw, D. V. Deline, T. L. Klein, D. M. Ross et al., Abstractions for software architecture and tools to support them. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.314-335, 1995.

M. E. , V. Larsen, J. Deantoni, B. Combemale, and F. Mallet, A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems (MODELS), number 18 ACM. to be published in the proceedings of the Models 2015 conference, p.462, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

G. Winskel, Event structures In Petri Nets: Applications and Relationships to Other Models of Concurrency