Team Atlanmod

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Bibliography

Major publications by the team in recent years
[1]
M. 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, no 1, p. 47-67.
[2]
J. 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, no 4199, p. 440–453.
[3]
J. 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.
[4]
J. 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, no 2, p. 283-302.
[5]
J. Cabot, R. Pau, R. Raventós.
From UML/OCL to SBVR specifications: A challenging transformation, in: Inf. Syst., 2010, vol. 35, no 4, p. 417-440.
[6]
J. 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/
[7]
F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev.
ATL: a Model Transformation Tool, in: Science of Computer Programming, 2008, vol. 72, no 3, Special Issue on Second issue of experimental software and toolkits (EST), p. 31–39.
[8]
F. Jouault, I. Kurtev.
On the Interoperability of Model-to-Model Transformation Languages, in: Science of Computer Programming, 2007, vol. 68, no 3, p. 114-137, Special Issue on Model Transformation.
[9]
R. Lemesle.
Transformation rules based on meta-modeling, in: Proceedings of the Second International Enterprise Distributed Object Computing conference (EDOC'98), 1998, p. 113–122.
[10]
A. 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, no 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

[11]
M. 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, no 4, p. 365-389. [ DOI : 10.1016/j.datak.2011.01.003 ]
http://hal.inria.fr/inria-00573717/en
[12]
J. 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
[13]
J. Cabot, M. Tisi.
The MDE Diploma: First International Postgraduate Specialization in Model-Driven Engineering, in: Journal of Computer Science Education, November 2011, vol. 21, no 4, p. 389-402. [ DOI : 10.1080/08993408.2011.630131 ]
http://hal.inria.fr/hal-00646898/en
[14]
J. 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
[15]
P. 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, no 1, p. 1-20.
http://hal.inria.fr/inria-00602420/en
[16]
J. 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
[17]
S. 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
[18]
A. 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, no 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

[19]
H. Brunelière.
How to Deal with your IT Legacy? Reverse Engineering using Models - MoDisco in a Nutshell!, in: JavaTech Journal, August 2011, no 10, p. 21-24.
http://hal.inria.fr/hal-00615269/en

International Conferences with Proceedings

[20]
J. 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
[21]
C. 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
[22]
G. 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
[23]
S. 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
[24]
W. 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
[25]
P. 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
[26]
E. 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
[27]
E. 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
[28]
A. 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
[29]
R. 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
[30]
R. 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
[31]
M. 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
[32]
D. 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
[33]
M. 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

[34]
C. 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
[35]
V. 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
[36]
S. 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

[37]
H. 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
[38]
H. 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
[39]
H. 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
[40]
F. 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)

[41]
J. 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

[42]
V. Mahe, S. Martínez Perez, G. Doux, H. Brunelière, J. Cabot.
PORTOLAN: a Model-Driven Cartography Framework, INRIA, February 2011, no RR-7542.
http://hal.inria.fr/inria-00568186/en
[43]
M. Tisi, S. Martínez Perez, F. Jouault, J. Cabot.
Refining Models with Rule-based Model Transformations, INRIA, March 2011, no RR-7582.
http://hal.inria.fr/inria-00580033/en
References in notes
[44]
M. 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.
[45]
H. 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
[46]
H. 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.
[47]
J. 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.
[48]
J. Bézivin.
On the Unification Power of Models, in: Software and System Modeling, 2005, vol. 4, no 2, p. 171–188.
[49]
J. 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.
[50]
J. 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, no 04101.
[51]
J. Bézivin, F. Jouault.
Using ATL for Checking Models, in: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, 2005.
[52]
J. 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.
[53]
G. 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
[54]
M. 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.
[55]
M. 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, no 3, p. 305-324.
[56]
F. 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.
[57]
F. 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.
[58]
I. 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.