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, no 1, pp. 47-67. -
2D. Ameller, C. Ayala, J. Cabot, X. Franch.
Non-functional Requirements in Architectural Decision Making, in: IEEE Software, March 2013, vol. 30, no 2, pp. 61-67.
http://hal.inria.fr/hal-00822203 -
3H. 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 -
4J. Bézivin, F. Buettner, 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, pp. 440–453. -
5J. 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, pp. 283-302. -
6J. Cabot, R. Pau, R. Raventós.
From UML/OCL to SBVR specifications: A challenging transformation, in: Inf. Syst., 2010, vol. 35, no 4, pp. 417-440. -
7J. 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/ -
8F. 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), pp. 31–39. -
9B. Marco, J. Cabot, M. Wimmer.
Model-Driven Software Engineering in Practice, Morgan & Claypool, September 2012, 182 p.
http://hal.inria.fr/hal-00755006 -
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, no 1. [ DOI : 10.1007/s10270-011-0191-2 ]
http://www.springerlink.com/content/j212100qq405n5q1/, http://hal.archives-ouvertes.fr/hal-00589277/en/
Articles in International Peer-Reviewed Journals
-
11D. Ameller, C. Ayala, J. Cabot, X. Franch.
Non-functional Requirements in Architectural Decision Making, in: IEEE Software, March 2013, vol. 30, no 2, pp. 61-67.
http://hal.inria.fr/hal-00822203 -
12F. Büttner, U. Bartels, L. Hamann, O. Hofrichter, M. Kuhlmann, M. Gogolla, L. Rabe, F. Steimke, Y. Rabenstein, A. Stosiek.
Model-driven Standardization of Public Authority Data Interchange, in: Science of Computer Programming, 2013. [ DOI : 10.1016/j.scico.2013.03.009 ]
http://hal.inria.fr/hal-00814982 -
13F. Büttner, J. Cabot.
Lightweight String Reasoning in Model Finding, in: Software and Systems Modeling, 2013. [ DOI : 10.1007/s10270-013-0332-x ]
http://hal.inria.fr/hal-00814991 -
14F. Büttner, M. Gogolla.
On OCL-based Imperative Languages, in: Science of Computer Programming, October 2013.
http://hal.inria.fr/hal-00876206 -
15J. S. Cuadrado, J. Canovas, J. Garcia Molina.
Applying model-driven engineering in small software enterprises, in: Science of Computer Programming, May 2013.
http://hal.inria.fr/hal-00869356 -
16O. Diaz, G. Puente, J. Canovas, J. Garcia Molina.
Harvesting models from web 2.0 databases, in: Software and Systems Modeling, February 2013, vol. 12, no 1, pp. 15-34. [ DOI : 10.1007/s10270-011-0194-z ]
http://hal.inria.fr/hal-00823323 -
17G.-A. Joaquin, C. Frédéric, C.-B. Nora, S. Martínez Pérez, J. Cabot.
Management of stateful firewall misconfiguration, in: Computers & Security, February 2013.
http://hal.inria.fr/hal-00869328 -
18A. Vignaga, F. Jouault, M. C. Bastarrica, H. Brunelière.
Typing artifacts in megamodeling, in: Springer Journal on Software and Systems Modeling, February 2013, vol. 12, no 1. [ DOI : 10.1007/s10270-011-0191-2 ]
http://link.springer.com/article/10.1007%2Fs10270-011-0191-2, http://hal.inria.fr/hal-00589277
International Conferences with Proceedings
-
19A. Bergmayr, H. Brunelière, J. Canovas, J. Gorronogoitia, G. Kousiouris, K. Dimosthenis, P. Langer, A. Menychtas, L. Orue-Echevarria, C. Pezuela, M. Wimmer.
Migrating Legacy Software to the Cloud with ARTIST, in: 17th European Conference on Software Maintenance and Reengineering, Genova, Italy, March 2013.
http://hal.inria.fr/hal-00869268 -
20H. Brunelière, J. Cabot, S. Drapeau, F. Somda, W. Piers, J. D. Villa Calle, J.-C. Lafaurie.
MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience, in: TowArds the Model DrIveN Organization (AMINO 2013) workshop - a MODELS 2013 Satellite Event, Miami, United States, September 2013.
http://hal.inria.fr/hal-00869282 -
21F. Büttner, M. Egea, E. Guerra, J. De Lara.
Checking Model Transformation Refinement, in: International Conference on Model Transformation (ICMT), Budapast, Hungary, Springer, 2013.
http://hal.inria.fr/hal-00815008 -
22J. Canovas, J. Cabot.
Discovering Implicit Schemas in JSON Data, in: International Conference on Web Engineering, Aalborg, Denmark, July 2013.
http://hal.inria.fr/hal-00818945 -
23J. Canovas, J. Cabot.
Enabling the Collaborative Definition of DSMLs, in: International Conference on Advanced Information Systems Engineering, Valence, Spain, June 2013.
http://hal.inria.fr/hal-00818943 -
24J. Canovas, J. Cabot, J. López-Fernández, J. S. Cuadrado, E. Guerra, J. De Lara.
Engaging End-Users in the Collaborative Development of Domain-Speci c Modelling Languages, in: International Conference on Cooperative Design, Visualization & Engineering, Mayorca, Spain, September 2013.
http://hal.inria.fr/hal-00869347 -
25V. Cosentino, J. Cabot, P. Albert, P. Bauquel, J. Perronnet.
Extracting Business Rules from COBOL: A Model-Based Framework, in: Working Conference on Reverse Engineering, Koblenz, Germany, October 2013.
http://hal.inria.fr/hal-00869235 -
26V. Cosentino, J. Cabot, P. Albert, P. Bauquel, J. Perronnet.
Extracting Business Rules from COBOL: A Model-Based Tool, in: Working Conference on Reverse Engineering, Koblenz, Germany, October 2013.
http://hal.inria.fr/hal-00869236 -
27V. Cosentino, S. Martinez.
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases, in: 13th International Workshop on OCL, Model Constraint and Query Languages, Miami, United States, October 2013.
http://hal.inria.fr/hal-00869231 -
28V. Cosentino, M. Tisi, F. Büttner.
Analyzing Flowgraphs with ATL, in: Transformation Tool Contest, Budapest, Hungary, June 2013.
http://hal.inria.fr/hal-00819075 -
29D.-H. Dang, J. Cabot.
Automating Inference of OCL Business Rules from User Scenarios, in: APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Bangkok, Thailand, P. Muenchaisri, G. Rothermel (editors), IEEE, 2013.
http://hal.inria.fr/hal-00869234 -
30M. Gogolla, F. Büttner, J. Cabot.
Initiating a Benchmark for UML and OCL Analysis Tools, in: International Conference on Tests & Proofs (TAP), Budapast, Hungary, Lecture Notes in Computer Science, Springer, 2013.
http://hal.inria.fr/hal-00815040 -
31D. Kolovos, L. Rose, N. Matragkas, R. Paige, E. Guerra, J. S. Cuadrado, J. De Lara, I. Rath, D. Varro, M. Tisi, J. Cabot.
A research roadmap towards achieving scalability in model driven engineering, in: Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, ACM, 2013, 2:1 p. [ DOI : 10.1145/2487766.2487768 ]
http://hal.inria.fr/hal-00869267 -
32S. Martínez Pérez, V. Cosentino, C. Frédéric, J. Cabot.
Reverse Engineering of Database Security Policies, in: Database and Expert Systems Applications - DEXA 2013, Prague, Czech Republic, August 2013, pp. 442-449.
http://hal.inria.fr/hal-00869283 -
33S. Martínez Pérez, G.-A. Joaquin, C. Frédéric, C.-B. Nora, J. Cabot.
Model-Driven Extraction and Analysis of Network Security Policies, in: Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, United States, September 2013, pp. 52-68.
http://hal.inria.fr/hal-00869319 -
34S. Martínez Pérez, G.-A. Joaquin, C. Frédéric, C.-B. Nora, J. Cabot.
Towards an Access-Control Metamodel for Web Content Management Systems, in: Model-Driven Web Engineering MDWE 2013, Aalborg, Denmark, July 2013.
http://hal.inria.fr/hal-00869324 -
35A. Menychtas, C. Santzaridou, G. Kousiouris, T. Varvarigou, L. Orue-Echevarria, J. Alonso, J. Gorronogoitia, H. Brunelière, O. Strauss, T. Senkova, B. Pellens, P. Stuer.
ARTIST Methodology and Framework: A novel approach for the migration of legacy software on the Cloud, in: 2nd Workshop on Management of resources and services In Cloud And Sky computing (MICAS 2013), Timisoara, Romania, September 2013.
http://hal.inria.fr/hal-00869276 -
36G. Selim, F. Büttner, J. R. Cordy, J. Dingel, S. Wang.
Automated Verification of Model. Transformations in the Automotive Industry, in: Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, Miami, United States, A. Moreira, B. Schaetz (editors), Springer, 2013.
http://hal.inria.fr/hal-00834058 -
37M. Tisi, S. Martinez, H. Choura.
Parallel Execution of ATL Transformation Rules, in: MoDELS, Miami, United States, 2013, pp. 656-672.
http://hal.inria.fr/hal-00869269
National Conferences with Proceedings
-
38J. Canovas, S. Trujillo.
Retos Actuales en el Desarrollo de Lenguajes Específicos del Dominio, in: Jornadas en Ingeniería del Software y Bases de Datos, Madrid, Spain, September 2013.
http://hal.inria.fr/hal-00869352 -
39V. Cosentino, P. Bauquel, J. Perronnet, P. Albert, J. Cabot.
Un Framework dirigé par les modèles pour l'extraction de règles métier à partir d'applications COBOL, in: CIEL, Nancy, France, April 2013.
http://hal.inria.fr/hal-00815207
Conferences without Proceedings
-
40H. Brunelière.
Introducing Collaboro: Collaborative DSL/DSML Definition, in: EclipseCon France 2013, Toulouse, France, June 2013.
http://hal.inria.fr/hal-00869270
-
41M. 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, pp. 277–286. -
42J. 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, pp. 350–354. -
43J. Bézivin.
On the Unification Power of Models, in: Software and System Modeling, 2005, vol. 4, no 2, pp. 171–188. -
44J. 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, pp. 273-280. -
45J. 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. -
46J. Bézivin, F. Jouault.
Using ATL for Checking Models, in: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, 2005. -
47J. 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, pp. 547-548. -
48G. Canfora, M. Di Penta, L. Cerulo.
Achievements and challenges in software reverse engineering, in: Commun. ACM, April 2011, vol. 54, pp. 142–151.
http://doi.acm.org/10.1145/1924421.1924451 -
49M. 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. -
50F. 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, pp. 171–185. -
51I. 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, pp. 602–616.