, Aspect-Oriented Modeling Workshop Series

M. Wisam-al-abed, A. Schöttle, J. Ayed, and . Kienzle, Concern-oriented behaviour modelling with sequence diagrams and protocol models, Behavior ModelingFoundations and Applications, vol.6368, 2015.

C. André, F. Mallet, and R. Simone, Modeling time(s), Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MODELS'07, pp.559-573, 2007.

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Kompren: Modeling and Generating Model Slicers. Software and Systems Modeling, vol.14, pp.321-337, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00746566

C. Bockisch, S. Malakuti, M. Ak?it, and S. Katz, Making aspects natural: Events and composition, 10th International Conference on Aspect-oriented Software Development (AOSD '11, 2011.

C. Bull and J. Whittle, Supporting reflective practice in software engineering education through a studio-based approach, IEEE Software, vol.31, issue.4, pp.44-50, 2014.

S. Clarke and R. J. Walker, Generic aspect-oriented design with Theme/UML, Aspect-Oriented Software Development, pp.425-458, 2005.

M. Clavreul, O. Barais, and J. Jézéquel, Integrating legacy systems with MDE, 32nd ACM/IEEE International Conference on Software Engineering (ICSE'10), pp.69-78, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00504669

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE-6th International Conference on Software Language Engineering, vol.8225, pp.365-384, 2013.

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01087442

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01087442

J. Deantoni and F. Mallet, TimeSquare: Treat your Models with Logical Time, TOOLS-50th International Conference on Objects, Models, Components, vol.7304, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J. Babau et al., RT-simex: retro-analysis of execution traces, of Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.377-378, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00587116

. Edsger-wybe-dijkstra, A discipline of programming, vol.1, 1976.

C. Douglas and . Schmidt, Model-Driven Engineering, IEEE Computer, vol.39, pp.41-47, 2006.

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing support for model composition in metamodels, EDOC, pp.253-264, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00180463

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Addison Wesley, 1995.

K. Garcés, J. Deantoni, and F. Mallet, A Model-Based Approach for Reconciliation of Polychronous Execution Traces, SEAA 2011-37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011.

C. Glitia, J. Deantoni, and F. Mallet, Logical Time @ Work: Capturing Data Dependencies and Platform Constraints, System Specification and Design Languages, vol.106, pp.223-238, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00651864

A. Goknil, J. Deantoni, M. Peraldi-frati, and F. Mallet, Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare, ICECCS'201318th International Conference on Engineering of Complex Computer Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00850673

M. Hölzl, A. Knapp, and G. Zhang, Modeling the Car Crash Crisis Management System Using HiLA, pp.234-271, 2010.

J. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling, 2013.

J. Kienzle, A. Wisam, J. Abed, and . Klein, Aspect-Oriented Multi-View Modeling, 8th International Conference on Aspect-Oriented Software Development (AOSD'09), pp.87-98, 2009.

J. Klein, L. Hélouet, and J. Jézéquel, Semantic-based weaving of scenarios, AOSD, pp.27-38, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00921480

M. E. Kramer, J. Klein, J. R. Steel, B. Morin, J. Kienzle et al., Achieving practical genericity in model weaving through extensibility, 6th International Conference on Model Transformation (ICMT'13), vol.7909, pp.108-124, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00921058

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

A. Edward, A. Lee, and . Sangiovanni-vincentelli, The tagged signal model-a preliminary version of a denotational framework for comparing models of computation, Memorandum UCB/ERL M, vol.96, p.71, 1996.

F. Mallet, J. Deantoni, C. André, and R. Simone, The Clock Constraint Specification Language for building timed causality models, Innovations in Systems and Software Engineering, vol.6, issue.1-2, pp.99-106, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00464894

J. Marchand, B. Combemale, and B. Baudry, A Categorical Model of Model Merging and Weaving, 4th International Workshop on Modelling in Software Engineering, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00714373

A. Mcneile and N. Simons, Protocol modelling, A modelling approach that supports reusable behavioural abstractions. SoSyM, vol.5, pp.91-107, 2006.

S. Mosser, M. Blay-fornarino, and R. France, Workflow design using fragment composition, TAOSD VII, vol.6210, pp.200-233, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00531026

G. Mussbacher, Aspect-Oriented User Requirements Notation, Canada, 2010.

G. Mussbacher, O. Alam, M. Alhaj, S. Ali, N. Amálio et al.,

M. Lethbridge, A. Luckey, F. Moreira, A. Mutz, A. Padua et al.,

M. Petriu, L. Schöttle, V. M. Troup, and . Werneck, Assessing composition in modeling approaches, Workshop CMA'12, 2012.

G. Mussbacher, D. Amyot, and J. Whittle, Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics, Aspect-Oriented Requirements Engineering, 2013.

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave, Matching and merging of statecharts specifications, ICSE, 2007.

M. Nielsen, G. Plotkin, and G. Winskel, Petri nets, event structures and domains, Semantics of Concurrent Computation, vol.70, 1979.

, Unified Modeling Language (v2.5.0), 2015.

. Omg, Uml infrastructure specification v2, vol.4, 2010.

D. L. Parnas, On the criteria to be used in decomposing systems into modules, vol.15, pp.1053-1058, 1972.

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

M. Ezequiel-vara-larsen, J. Deantoni, B. Combemale, and F. Mallet, A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems (MODELS), vol.18, 2015.

J. Whittle, P. Jayaraman, A. Elkhodary, A. Moreira, and J. Araújo, MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation, Transactions on Aspect-Oriented Software Development VI, vol.5560, pp.191-237, 2009.

G. Winskel, Event structures, Advances in Petri Nets 1986, Part II on Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00148921

G. Zhang and M. M. Hölzl, HiLA: High-level aspects for UML state machines, MoDELS Workshops, vol.6002, pp.104-118, 2009.