, Aspect-Oriented Modeling Workshop Series
Concern-oriented behaviour modelling with sequence diagrams and protocol models, Behavior ModelingFoundations and Applications, vol.6368, 2015. ,
Modeling time(s), Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MODELS'07, pp.559-573, 2007. ,
Kompren: Modeling and Generating Model Slicers. Software and Systems Modeling, vol.14, pp.321-337, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00746566
Making aspects natural: Events and composition, 10th International Conference on Aspect-oriented Software Development (AOSD '11, 2011. ,
Supporting reflective practice in software engineering education through a studio-based approach, IEEE Software, vol.31, issue.4, pp.44-50, 2014. ,
Generic aspect-oriented design with Theme/UML, Aspect-Oriented Software Development, pp.425-458, 2005. ,
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
Reifying Concurrency for Executable Metamodeling, SLE-6th International Conference on Software Language Engineering, vol.8225, pp.365-384, 2013. ,
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
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
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
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
A discipline of programming, vol.1, 1976. ,
Model-Driven Engineering, IEEE Computer, vol.39, pp.41-47, 2006. ,
Providing support for model composition in metamodels, EDOC, pp.253-264, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00180463
Design Patterns. Addison Wesley, 1995. ,
A Model-Based Approach for Reconciliation of Polychronous Execution Traces, SEAA 2011-37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011. ,
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
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
Modeling the Car Crash Crisis Management System Using HiLA, pp.234-271, 2010. ,
, Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling, 2013.
Aspect-Oriented Multi-View Modeling, 8th International Conference on Aspect-Oriented Software Development (AOSD'09), pp.87-98, 2009. ,
Semantic-based weaving of scenarios, AOSD, pp.27-38, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00921480
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
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
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. ,
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
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
Protocol modelling, A modelling approach that supports reusable behavioural abstractions. SoSyM, vol.5, pp.91-107, 2006. ,
Workflow design using fragment composition, TAOSD VII, vol.6210, pp.200-233, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00531026
Aspect-Oriented User Requirements Notation, Canada, 2010. ,
,
,
Assessing composition in modeling approaches, Workshop CMA'12, 2012. ,
Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics, Aspect-Oriented Requirements Engineering, 2013. ,
Matching and merging of statecharts specifications, ICSE, 2007. ,
Petri nets, event structures and domains, Semantics of Concurrent Computation, vol.70, 1979. ,
, Unified Modeling Language (v2.5.0), 2015.
Uml infrastructure specification v2, vol.4, 2010. ,
On the criteria to be used in decomposing systems into modules, vol.15, pp.1053-1058, 1972. ,
Railroad Crossing Heterogeneous Model, GEMOC workshop 2013-International Workshop on The Globalization of Modeling Languages, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00867316
A Behavioral Coordination Operator Language (BCOoL), International Conference on Model Driven Engineering Languages and Systems (MODELS), vol.18, 2015. ,
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. ,
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
HiLA: High-level aspects for UML state machines, MoDELS Workshops, vol.6002, pp.104-118, 2009. ,