Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, pp.329-366, 2002. ,
DOI : 10.1017/S0960129504004153
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
An overview of manifold and its implementation, Concurrency: Practice and Experience, vol.14, issue.1 ,
DOI : 10.1002/cpe.4330050103
Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Research Report RR-6925, 2002. ,
What do you mean, coordination? In Bulletin of the Dutch Association for Theoretical Computer Science (NVTI, pp.11-22, 1998. ,
Model Driven Architecture ? Foundations and Applications: Second European Conference, ECMDA-FA, Proceedings, chapter A Canonical Scheme for Model Composition, pp.346-360, 2006. ,
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
Problem frames: A case for coordination ,
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
Readings in hardware/software co-design. chapter Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, pp.527-543, 2002. ,
Modeling of mixed control and dataflow systems in mascot IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2001. ,
Globalized Domain Specific Language Engineering ,
DOI : 10.1007/978-3-319-26172-0_4
URL : https://hal.archives-ouvertes.fr/hal-01224283
Globalizing Domain-Specific Languages, Lecture Notes in Computer Science, vol.9400, pp.43-69 ,
URL : https://hal.archives-ouvertes.fr/hal-01224096
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
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
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest, pp.2015-2019 ,
Reifying Concurrency for Executable Metamodeling ,
DOI : 10.1007/978-3-319-02654-1_20
Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, 1997. ,
DOI : 10.1155/1997/632908
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
Compositional specification of behavioral semantics, Design, Automation Test in Europe Conference Exhibition, 2007. DATE '07, pp.1-6, 2002. ,
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
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
Globalizing Domain-Specific Languages, Lecture Notes in Computer Science, vol.9400, pp.70-87 ,
URL : https://hal.archives-ouvertes.fr/hal-01224096
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 ,
Operational Semantics of the Model of Concurrency and Communication Language, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01060601
Operational Semantics of the Model of Concurrency and Communication Language, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01060601
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
ECL: the Event Constraint Language, an Extension of OCL with Events, Research report ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
TimeSquare: Treat Your Models with Logical Time ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
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
Description et vérification d'architectures d'application temps réel : CLARA et les réseaux de Petri temporels, 1998. ,
Techniques for metamodel composition In in The 6th OOPSLA Workshop on Domain-Specific Modeling, pp.123-139, 2006. ,
SDL : formal object-oriented language for communicating systems, 1997. ,
Models in software engineering. chapter A Generic Approach for Automatic Model Composition, pp.7-15, 2002. ,
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
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
Coordination languages and their significance ,
Coordination languages and their significance ,
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. ,
AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994. ,
DOI : 10.1142/9789812798039_0001
An axiomatic basis for computer programming, COMMUNICATIONS OF THE ACM, vol.12, issue.10 21, pp.576-580, 1969. ,
Communicating Sequential Processes, 1985. ,
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
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
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
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
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. ,
Establishing correspondences between models with the epsilon comparison language, Model Driven Architecture -Foundations and Applications, pp.146-157, 2009. ,
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
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
Specification and analysis of system architecture using rapide, IEEE Trans. Softw. Eng, vol.21, issue.4, pp.336-355, 1995. ,
A framework for comparing models of computation, IEEE TCAD, 1998. ,
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. ,
Coordination models and languages, CWI (Centre for Mathematics and Computer Science), vol.3, issue.1, 1998. ,
A structural approach to operational semantics, 1981. ,
Model composition -a signature-based approach, Proceedings of the AOM Workshop at MODELS'05, 2001. ,
Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004. ,
Abstractions for software architecture and tools to support them. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.314-335, 1995. ,
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
Event structures In Petri Nets: Applications and Relationships to Other Models of Concurrency ,