Bibliography

Major publications by the team in recent years

1M. Albert, J. Cabot, C. Gómez, V. Pelechano.

Automatic generation of basic behavior schemas from UML class diagrams, in: Software and System Modeling, 2010, vol. 9, n^o 1, p. 47-67.
2J. Bézivin, F. Büuttner, M. Gogolla, F. Jouault, I. Kurtev, A. Lindow.

Model Transformations? Transformation Models!, in: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS, Genova, Italy, LNCS, Springer Berlin / Heidelberg, October 1-6 2006, n^o 4199, p. 440–453.
3J. Bézivin, F. Jouault, P. Rosenthal, P. Valduriez.

Modeling in the Large and Modeling in the Small, in: Proceedings of the European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, LNCS 3599, U. Aßmann, M. Aksit, A. Rensink (editors), Springer-Verlag GmbH, 2005, p. 33–46.
4J. Cabot, R. Clarisó, E. Guerra, J. de Lara.

Verification and validation of declarative model-to-model transformations through invariants, in: Journal of Systems and Software, 2010, vol. 83, n^o 2, p. 283-302.
5J. Cabot, R. Pau, R. Raventós.

From UML/OCL to SBVR specifications: A challenging transformation, in: Inf. Syst., 2010, vol. 35, n^o 4, p. 417-440.
6J. Canovas, F. Jouault, J. Cabot, J. Garcia Molina.

API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering, in: Information and Software Technology, October 2011. [ DOI : 10.1016/j.infsof.2011.09.006 ]

http://hal.inria.fr/hal-00642154/en/
7F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev.

ATL: a Model Transformation Tool, in: Science of Computer Programming, 2008, vol. 72, n^o 3, Special Issue on Second issue of experimental software and toolkits (EST), p. 31–39.
8F. Jouault, I. Kurtev.

On the Interoperability of Model-to-Model Transformation Languages, in: Science of Computer Programming, 2007, vol. 68, n^o 3, p. 114-137, Special Issue on Model Transformation.
9R. Lemesle.

Transformation rules based on meta-modeling, in: Proceedings of the Second International Enterprise Distributed Object Computing conference (EDOC'98), 1998, p. 113–122.
10A. Vignaga, F. Jouault, M. C. Bastarrica, H. Brunelière.

Typing artifacts in megamodeling, in: Springer Journal on Software and Systems Modeling, February 2011, vol. 10, n^o 1, http://www.springerlink.com/content/j212100qq405n5q1/ p. [ DOI : 10.1007/s10270-011-0191-2 ]

http://hal.archives-ouvertes.fr/hal-00589277/en/

Publications of the year

Articles in International Peer-Reviewed Journal

11M. Albert, J. Cabot, C. Gómez, V. Pelechano.

Generating operation specifications from UML class diagrams: A model transformation approach, in: Data & Knowledge Engineering / Data and Knowledge Engineering, April 2011, vol. 70, n^o 4, p. 365-389. [ DOI : 10.1016/j.datak.2011.01.003 ]

http://hal.inria.fr/inria-00573717/en
12J. Cabot, R. Clarisó, M. Gogolla, B. Wolff.

Preface (OCL 2011 Proceedings)., in: Electronic Communication of the European Association of Software Science and Technology, October 2011, vol. 44.

http://hal.inria.fr/hal-00647006/en
13J. Cabot, M. Tisi.

The MDE Diploma: First International Postgraduate Specialization in Model-Driven Engineering, in: Journal of Computer Science Education, November 2011, vol. 21, n^o 4, p. 389-402. [ DOI : 10.1080/08993408.2011.630131 ]

http://hal.inria.fr/hal-00646898/en
14J. Canovas, F. Jouault, J. Cabot, J. Garcia Molina.

API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering, in: Information and Software Technology, October 2011. [ DOI : 10.1016/j.infsof.2011.09.006 ]

http://hal.inria.fr/hal-00642154/en
15P. Fraternali, M. Tisi.

Using Traceability Links and Higher Order Transformations for Easing Regression Testing of Web Applications, in: Journal of Web Engineering, 2011, vol. 10, n^o 1, p. 1-20.

http://hal.inria.fr/inria-00602420/en
16J. Pate, R. Tairas, N. Kraft.

Clone Evolution: A Systematic Review, in: Journal of Software Maintenance and Evolution: Research and Practice, September 2011.

http://hal.inria.fr/inria-00622949/en
17S. Roychoudhury, J. Gray, F. Jouault.

A Model-Driven Framework for Aspect Weaver Construction, in: LNCS Transactions on Aspect-Oriented Software Development, June 2011.

http://www.springer.com/computer/lncs?SGWID=0-164-2-109318-0, http://hal.inria.fr/hal-00589274/en
18A. Vignaga, F. Jouault, M. C. Bastarrica, H. Brunelière.

Typing artifacts in megamodeling, in: Springer Journal on Software and Systems Modeling, February 2011, vol. 10, n^o 1. [ DOI : 10.1007/s10270-011-0191-2 ]

http://www.springerlink.com/content/j212100qq405n5q1/, http://hal.inria.fr/hal-00589277/en

Articles in Non Peer-Reviewed Journal

19H. Brunelière.

How to Deal with your IT Legacy? Reverse Engineering using Models - MoDisco in a Nutshell!, in: JavaTech Journal, August 2011, n^o 10, p. 21-24.

http://hal.inria.fr/hal-00615269/en

International Conferences with Proceedings

20J. Cabot, P. Albert, G. Dupé, M. Didonet Del Fabro, S. Lee.

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization, in: ECMFA 2011 - Seventh European Conference on Modelling Foundations and Applications, Birmingham, Royaume-Uni, June 2011.

http://hal.inria.fr/inria-00582526/en
21C. Clasen, F. Jouault, J. Cabot.

VirtualEMF: a Model Virtualization Tool, in: ER 2011 - 30th International Conference on Conceptual Modeling, Brussels, Belgique, November 2011.

http://hal.inria.fr/inria-00609613/en
22G. Doux, P. Albert, G. Barbier, J. Cabot, M. Didonet Del Fabro, S. Lee.

An MDE-based approach for solving configuration problems: An application to the Eclipse platform, in: ECMFA 2011 - Seventh European Conference on Modelling Foundations and Applications, Birmingham, Royaume-Uni, June 2011.

http://hal.inria.fr/inria-00582506/en
23S. Hurtado, S. Sen, R. Casallas.

Reusing Legacy Software in a Self-adaptive Middleware Framework, in: Adaptive and Relfective Middleware Workshop, Middleware 2011, Lisbon, Portugal, October 2011.

http://hal.inria.fr/hal-00643088/en
24W. Kling, F. Jouault, D. Wagelaar, M. Brambilla, J. Cabot.

MoScript: A DSL for querying and manipulating model repositories, in: Software Language Engineering (SLE2011), Braga, Portugal, October 2011.

http://hal.inria.fr/inria-00609673/en
25P. Langer, K. Wieland, M. Wimmer, J. Cabot.

From UML Profiles to EMF Profiles and Beyond, in: TOOLS 2011, Zurich, Suisse, Springer, June 2011.

http://hal.inria.fr/inria-00610761/en
26E. Planas, J. Cabot, C. Gómez.

Lightweight Verification of Executable Models, in: 30th International Conference on Conceptual Modeling (ER 2011), Brussels, Belgique, November 2011.

http://hal.inria.fr/inria-00610208/en
27E. Planas, J. Cabot, C. Gómez.

Two Basic Correctness Properties for ATL Transformations: Executability and Coverage, in: 3rd International Workshop on Model Transformation with ATL, Zurich, Suisse, July 2011.

http://hal.inria.fr/inria-00610205/en
28A. Randak, S. Martínez Perez, M. Wimmer.

Extending ATL for Native UML Profile Support: An Experience Report 49-62, in: 3rd International Workshop on Model Transformation with ATL (MtATL-2011), Zürich, Suisse, M. T. Ivan Kurtev, D. Wagelaar (editors), CEUR-WS.org, June 2011, vol. vol-742, p. 49-62.

http://hal.inria.fr/inria-00609024/en
29R. Tairas, J. Cabot.

Cloning in DSLs: Experiments with OCL, in: International Conference on Software Language Engineering, Braga, Portugal, July 2011.

http://hal.inria.fr/inria-00619057/en
30R. Tairas, F. Jacob, J. Gray.

Representing Clones in a Localized Manner, in: International Workshop on Software Clones, Waikiki, États-Unis, May 2011. [ DOI : 10.1145/1985404.1985414 ]

http://hal.inria.fr/inria-00606911/en
31M. Tisi, S. Martínez Perez, F. Jouault, J. Cabot.

Lazy Execution of Model-to-Model Transformations, in: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, Nouvelle-Zélande, October 2011.

http://hal.inria.fr/inria-00609458/en
32D. Wagelaar, M. Tisi, J. Cabot, F. Jouault.

Towards a General Composition Semantics for Rule-Based Model Transformation, in: MoDELS, Wellington, Nouvelle-Zélande, 2011, p. 623-637.

http://hal.inria.fr/hal-00642066/en
33M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger, D. Kolovos, R. F. Paige, M. Lauder, A. Shürr, D. Wagelaar.

A Comparison of Rule Inheritance in Model-to-Model Transformation Languages, in: ICMT2011 - International Conference on Model Transformation, Zurich, Suisse, June 2011.

http://hal.inria.fr/inria-00582465/en

National Conferences with Proceeding

34C. Clasen, F. Jouault, J. Cabot.

Virtual Composition of EMF Models, in: 7èmes Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, France, July 2011.

http://hal.inria.fr/inria-00606374/en
35V. Cosentino, G. Doux, P. Albert, G. Barbier, J. Cabot, M. Didonet Del Fabro, S. Uk-Jin Lee.

Une approche de MDE pour la résolution de problèmes de configuration : Une application à la plate-forme Eclipse, in: Journées nationales IDM, CAL, et du GDR GPL, Lille, France, June 2011.

http://hal.inria.fr/inria-00613338/en
36S. Martínez Perez, M. Wimmer, F. Jouault, J. Cabot.

Catálogo de refactorizaciones para transformaciones Modelo a Modelo, in: XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), A Coruña, Espagne, September 2011.

http://hal.inria.fr/inria-00609451/en

Conferences without Proceedings

37H. Brunelière.

An Open Source-Based Approach for Industrializing Research Tools, in: OW2Con 2011, Session "Open Source Innovation Catalyst" - ICT Labs, IRILL, Paris, Issy Les Moulineaux, France, November 2011.

http://hal.inria.fr/hal-00639559/en
38H. Brunelière.

MoDisco & ATL, in: Eclipse DemoCamp Indigo 2011 - Nantes, Nantes, France, June 2011, Lien vers la page officielle de l'évènement (slides du talk) : http://wiki.eclipse.org/Eclipse_DemoCamps_Indigo_2011/Nantes#Agenda.

http://hal.inria.fr/hal-00610556/en
39H. Brunelière, G. Dupé.

Virtual EMF - Transparent Composition, Weaving and Linking of Models, in: EclipseCon Europe 2011, Ludwigsburg, Allemagne, November 2011, Lien vers la page officielle de la conférence (slides du talk) : http://www.eclipsecon.org/europe2011/sessions/virtual-emf-%E2%80%93-transparent-composition-weaving-and-linking-models.

http://hal.inria.fr/hal-00639555/en
40F. Madiot, H. Brunelière.

Spy On Your Models, in: EclipseCon 2011, Santa Clara, Californie, États-Unis, March 2011, Lien vers la page officielle de la conférence (slides du talk) : http://www.eclipsecon.org/2011/sessions/?page=sessions&id=2093.

http://hal.inria.fr/hal-00610552/en

Scientific Books (or Scientific Book chapters)

41J. Cabot, E. Visser.

Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, Springer, July 2011. [ DOI : 10.1007/978-3-642-21732-6 ]

http://hal.inria.fr/inria-00610760/en

Internal Reports

42V. Mahe, S. Martínez Perez, G. Doux, H. Brunelière, J. Cabot.

PORTOLAN: a Model-Driven Cartography Framework, INRIA, February 2011, n^o RR-7542.

http://hal.inria.fr/inria-00568186/en
43M. Tisi, S. Martínez Perez, F. Jouault, J. Cabot.

Refining Models with Rule-based Model Transformations, INRIA, March 2011, n^o RR-7582.

http://hal.inria.fr/inria-00580033/en

References in notes

44M. Barbero, F. Jouault, J. Bézivin.

Model Driven Management of Complex Systems: Implementing the Macroscope's vision, in: Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, IEEE Computer Society, 2008, p. 277–286.
45H. Brunelière, J. Cabot, C. Clasen, F. Jouault, J. Bézivin.

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools, in: 6th European Conference on Modeling Foundations and Applications (ECMFA 2010), France Paris, Jun 2010, p. 32-47.

http://hal.inria.fr/hal-00534373/en
46H. Brunelière, J. Cabot, C. Clasen, F. Jouault, J. Bézivin.

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools, in: ECMFA, T. Kühne, B. Selic, M.-P. Gervais, F. Terrier (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6138, p. 32-47.
47J. Bézivin.

From Object Composition to Model Transformation with the MDA, in: TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39), Washington, DC, USA, IEEE Computer Society, 2001, p. 350–354.
48J. Bézivin.

On the Unification Power of Models, in: Software and System Modeling, 2005, vol. 4, n^o 2, p. 171–188.
49J. Bézivin, O. Gerbé.

Towards a Precise Definition of the OMG/MDA Framework, in: ASE'01, Automated Software Engineering, San Diego, USA, IEEE Computer Society Press, 2001, p. 273-280.
50J. Bézivin, R. Heckel.

04101 Summary – Language Engineering for Model-driven Software Development, in: Language Engineering for Model-Driven Software Development, Dagstuhl, Germany, J. Bézivin, R. Heckel (editors), Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005, n^o 04101.
51J. Bézivin, F. Jouault.

Using ATL for Checking Models, in: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, 2005.
52J. Cabot, R. Clarisó, D. Riera.

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming, in: ASE, R. E. K. Stirewalt, A. Egyed, B. Fischer (editors), ACM, 2007, p. 547-548.
53G. Canfora, M. Di Penta, L. Cerulo.

Achievements and challenges in software reverse engineering, in: Commun. ACM, April 2011, vol. 54, p. 142–151.

http://doi.acm.org/10.1145/1924421.1924451
54M. Didonet Del Fabro, J. Bézivin, F. Jouault, P. Valduriez.

Applying Generic Model Management to Data Mapping, in: Proceedings of the Journées Bases de Données Avancées (BDA05), 2005.
55M. Didonet Del Fabro, P. Valduriez.

Towards the efficient development of model transformations using model weaving and matching transformations, in: Software and System Modeling, 2009, vol. 8, n^o 3, p. 305-324.
56F. Jouault, J. Bézivin.

KM3: a DSL for Metamodel Specification, in: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy, 2006, p. 171–185.
57F. Jouault, J. Bézivin, I. Kurtev.

TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering, in: GPCE'06: Proceedings of the fifth international conference on Generative programming and Component Engineering, Portland, Oregon, USA, 2006, p. 249–254.
58I. Kurtev, J. Bézivin, F. Jouault, P. Valduriez.

Model-based DSL Frameworks, in: Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, OR, USA, ACM, 2006, p. 602–616.

Previous |

Home