computer science

Publications

Journal publications

• Artur Boronat and José Meseguer: An algebraic semantics for MOF. Formal Aspects of Computing Journal. Springer London. ISSN 0934-5043 (Print) 1433-299X (Online). 2010. ( Springer link )
• Artur Boronat, Julián Pedros, José Ángel Carsí, Isidro Ramos: A Framework for the Definition of Graphical Metaphors for Metamodels (In Spanish: Una Arquitectura para la Definición de Metáforas Gráficas para Metamodelos). Journal IEEE América Latina. Volume 3. Issue 1. 2004. (In Spanish)
• A. Boronat, J. Pérez, J. Á. Carsí, I. Ramos: Two experiencies in software dynamics. Journal of Universal Science Computer. Special issue on Breakthroughs and Challenges in Software Engineering. Vol. 10, issue 4. pp 428--453. 2004.
( link )

Conference publications

• Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010. ( Springer link, bibtex )
• Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010. ( Springer link, bibtex )
• Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010. ( Springer link, bibtex )
• Artur Boronat and Peter Csaba Ölveczky. Formal Real-Time Model Transformations in MOMENT2. Fundamental Approaches to Software Engineering, FASE'10. ( Springer link, bibtex )
• Artur Boronat and José Meseguer: MOMENT2: EMF Model Transformations in Maude. XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastian, Spain, September 8-11, 2009. pp 178-179. (demo) ( bibtex )
• Artur Boronat and José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. ( Springer link, bibtex )
• Artur Boronat and Reiko Heckel and José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. ( Springer link, bibtex )
• Artur Boronat and José Meseguer. An Algebraic Semantics for MOF. Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. ( Springer link, bibtex )
• Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos: Software Measurement by Using QVT Transformations in an MDA Context. ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume DISI, Barcelona, Spain, June 12-16, 2008. ( bibtex )
• Abel Gómez, Artur Boronat, Luis Hoyos, José A. Carsí, Isidro Ramos: Complex operation definition with a domain-specific language in model management. (In Spanish: Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos). JISBD 2006: 215-224.
• Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José Á. Carsí: An Algebraic Specification of Generic OCL Queries within the Eclipse Modeling Framework. European Conference on Model-Driven Architecture – Foundations and Applications. July 10th - 13th 2006. Bilbao (Spain). LNCS 4066/2006. pp 316--330. 2006.
• Boronat, A., Carsí J.Á., Ramos, I.: Algebraic Specification of a Model Transformation Engine. Fundamental Approaches to Software Engineering (FASE'06). ETAPS'06. Vienna (Austria). March 27-29. 2006. LNCS Vol. 3922/2006. Pages 262-277.
• Boronat, A., Carsí J.Á., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. LNCS. European Conference on Model-Driven Architecture – Foundations and Applications. Ed. David Kreische. Nuremberg, Germany. November 7-10, 2005. Vol. 3748/2005. pp 316--330. 2005.
• A. Boronat, J. Á. Carsí, I. Ramos: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. IEEE Computer Society Press. 9th European Conference on Software Maintenance and Reengineering, March 21 - 23, 2005. The Manchester Conference Centre, Manchester, UK. pp 228--231. 2005.

Workshop publications

• Artur Boronat and Alexander Knapp and José Meseguer and Martin Wirsing. What is a multimodeling language? 19th International Workshop on Algebraic Development Techniques (WADT). Pisa, Italy, June 13-16, 2008. ( Springer link, bibtex )
• G. Taentzer, E. Biermann, D. Bisztray, B. Bohnet, I. Boneva, A. Boronat, L. Geiger, R. Geiss, A. Horvath, O. Kniemeyer, T. Mens, B. Ness, D. Plump, G. Taentzer and T. Vajk. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07). Springer, Berlin, LNCS, 2008. ( Springer link, bibtex )
• Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiss, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, and Erhard Weinell. Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Workshop Applications of Graph Transformation with Industrial Relevance (AGTIVE '07). Springer, Berlin, LNCS, 2008. ( Springer link, bibtex )
• Artur Boronat, José Á. Carsí, Isidro Ramos, Patricio Letelier. Formal Model Merging Applied to Class Diagram Integration. Electronic Notes in Theoretical Computer Science (ENTCS), International ERCIM Workshop on Software Evolution (2006). 6-7 April, 2006. Lille (France). ISSN: 1571-0661. Vol 166. pp 5--26.
• Boronat, A., Carsí J.Á., Ramos, I.: Exogenous Model Merging by means of Model Management Operators. Electronic Comunications of the EASST, Journal. 3rd Workshop on Software Evolution through Transformations: Embracing the Change. Satellite Workshop of ICGT'06. Vol. 3. pp 43--62. 2006.
• Artur Boronat, Isidro Ramos, José Á. Carsí: Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification. Servicio de Publicaciones UPV. 1st International Workshop on Algebraic Foundations for OCL and Applications. Valencia, Spain, March 22nd, 2006 ISBN 84-689-8565-1. pp 41--56.
• Artur Boronat, José Iborra, José Á. Carsí, Isidro Ramos, Abel Gómez: On the use of Maude for Model Management within the Eclipse Modeling Framework. (In Spanish: Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos). CEUR Workshop proceedings. II Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05). ISSN 1613-0073. Vol. 157. pp 40-47. 2005
• Artur Boronat, José Iborra, José Á. Carsí, Isidro Ramos, Abel Gómez: From formal methods to industrial applications in Model Management: Maude applied to Eclipse Modeling Framework. (In Spanish: Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework). X Spanish Conference on Software Engineering and Databases - Jornadas sobre Ingeniería del Software y Bases de Datos (JISBD’05). I Congreso Español de Informática (CEDI’05). 2005. (Short paper)
• Boronat, A., Carsí J.Á., Ramos, I.: An Algebraic Baseline for Automatic Transformations in MDA. Software Evolution Through Transformations: Model-based vs. Implementation-level Solutions Workshop (SETra'04). Satellite workshop of ICGT'04. ENTCS Volume 127, Number 3. pp 31--47. 2004.
• Pérez J., Anaya V., Cubel J.M, Domínguez F., Boronat A., Ramos I., Carsí J.Á.: Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas. Software Evolution Through Transformations: Towards Uniform Support throughout the Software Life-Cycle Workshop (SET'02). Volume 72, Number 4. 2003.

PhD Thesis

• Boronat, A.: MOMENT: a formal framework for MOdel manageMENT. PhD Thesis. Universitat Politècnica de València. Spain. 2007

Research activities

Participation in programme committees (current)

• Fundamental Approaches to Software Engineering (FASE 2012).
• 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'12.
• Jornadas de Ingeniería del Software y Bases de Datos 2011.
• 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications.
• 2nd Workshop on Algebraic Methods in Model-Based Software Engineering 2011.
• XV Brazilian Symposium on Programming Languages (SBLP 2011).

Participation in programme committees (past)

• 10th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'11.
• Fifth International Conference on Graph Transformation (ICGT 2010). University of Twente, Enschede, The Netherlands. 27 September - 2 October, 2010
• 4th International Workshop on Graph Based Tools. Satellite event of ICGT'10. September 28th 2010, University of Twente, Enschede, The Netherlands.
• 8th edition of the International Conference on Software Engineering and Formal Methods (SEFM'10). 13-17 September 2010. CNR, Pisa, Italy.
• XV Jornadas de Ingeniería del Software y Bases de Datos (XV Spanish Conference on Software Engineering and Databases). Valencia (Spain), 7-10 September 2010.
• 9th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'10. March 20-21 2010, Paphos, Cyprus.
• 8th International Workshop on Rewriting Logic and its Applications. Satellite event of ETAPS'10. Paphos, Cyprus, March 20-21, 2010.
• International Workshop for Formal Methods and Agile Methods. Satellite event of ICFEM'09. December 2009. Rio de Janeiro.
• XIV Jornadas de Ingeniería del Software y Bases de Datos (XIV Spanish Conference on Software Engineering and Databases). San Sebastián, 8-11 September 2009.
• 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'09. March 28-29 2009, York, UK. Co-chair.
• 4th International Workshop on Language Engineering. Co-located with Models 2007. October 2007, Nashville, TN - USA
• Third International ERCIM Symposium on Software Evolution (2007). Co-located with ICSM 2007. Friday 5 October 2007, Paris, France
• 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering. Affilitated with MoDELs 2006. Genova, Italy, October 1-6, 2006
• 3rd Workshop on Software Evolution through Transformations: Embracing the Change. Sattellite Event of the 3rd International Conference on Graph Transformation (ICGT 2006). The workshop is supported by the ERCIM Working Group on Software Evolution and the European Research Training Network SegraVis. Natal, Rio Grande do Norte, Brazil; Sunday 17 - Friday 22 September 2006
• 1st International Workshop on Algebraic Foundations for OCL and Applications. Valencia, Spain, March 22nd, 2006. Member of the organizing committee.
• III Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'06). Affiliated with JISBD 06. Sitges, España. 3 October 2006
• II Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05). Affiliated with JISBD 05. Granada (Spain). 13 September 2005.

Invited talks

• Dagstuhl Seminar on Bidirectional Transformations "bx": Inconsistency detection and resolution in heterogenous model-based specifications using Maude. January 2011.
• Spanish Maude Research Network meeting: Formal MDD or (Graphical) Configurations of Objects and their Manipulation. 20-21 November 2009. Salamanca, Spain.
• Lockheed Martin Advanced Technologies Lab, Cherry Hill, NJ: Model transformations in MOMENT2. April 2009.
• 1st International Workshop on Algebraic Methods in Model-Based Software Engineering (AMMSE 2008): A formal framework for model management. Universidad Complutense, Madrid, Spain, 2008.
• III META Workshop: MOMENT2. Gijón, Spain. 6 October 2008.
• II META Workshop: MOMENT2-GT: MOMENT2 Graph Transformations. A tutorial. Cartagena, Spain. 24-25 January 2008.
• University of Oxford (UK), Software Engineering Programme Seminar: A Reflective, Algebraic, Executable Framework for Precise Metamodeling and Model Transformations. November 2007.
• UIUC (USA): Formalization of the MOF framework: algebraic semantics and applications. November 2006.
• UIUC (USA): Model-Driven Engineering and Model Management: Introduction. April 2006.
• 1st International Workshop on Algebraic Foundations for OCL and Applications: Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification. Valencia, Spain, March 22nd, 2006.
• PhD seminar at Technical University of Valencia (Spain): MOMENT seminar. November 2005.
• Technical University of Braunschweig (Germany): MOMENT: a formal model management tool. June 2005.
• III Jornadas Proyecto DYNAMICA: Transforming Models by means of Equational Logic. Almagro 21-22 de Abril. Almagro, Castilla La Mancha, España. 2005.
• II Jornadas Proyecto DYNAMICA: Maude como Soporte Formal para una Herramienta de Gestión de Modelos. 11 November 2004. Málaga, Spain.

Research Projects and awards

• New Associative Object Model Integration (NAOMI). Supported by Lockheed Martin Advanced Technology Laboratories (ATL). Subaward by the Computer Science Dept. of the University of Illinois at Urbana Champaign.
• Software Engineering for Service-Oriented Overlay Computers (SENSORIA) . IST project funded by the EU as Integrated Project (IP) in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC). SENSORIA, IST-2005-016004.
• Models, Environments, Transformations and Applications (META) . Supported by the Spanish Government. TIN2006-15175-C05. Participation in the MOMENT subproject (TIN2006-15175-C05-01).
• Development of a modeling CASE tool. Technical manager. Funded by CapGemini Unipersonal S.L España. 11-12/2006.

Teaching

Current teaching

• 2010/11
• CO7217: Domain-Specific Languages. MSc programme. Semester 1. Module convenor.
• CO7207: Generative Development. MSc programme. Semester 2. Module convenor.
• CA7201: MSc Individual Project. MSc programme. Spring term. Supervisor.
• CB7201: MSc Individual Project. MSc programme. Summer term. Supervisor.
• CO3015: 3rd Year Project. BSc programme. Supervision of 2 projects.

Past teaching

• 2009/10
• CO7217: Domain-Specific Languages. MSc programme. Semester 1. Module convenor.
• CO7207: Generative Development. MSc programme. Semester 2. Module convenor.
• CO721A: Personal and Group Skills. MSc programme. Semester 1. Moderator of 1 discussion group.
• CA7201: MSc Individual Project. MSc programme. Spring term. Module convenor.
• CB7201: MSc Individual Project. MSc programme. Summer term. Module convenor.
• CO3015: 3rd Year Project. BSc programme. Supervision of 6 projects.

• 2008/09
• CO7217: Domain-Specific Languages. MSc programme. Semester 1. Module convenor.
• CO7207: Generative Development. MSc programme. Semester 2. Module convenor.
• CO721A: Personal and Group Skills. MSc programme. Semester 1. Moderator of 1 discussion group.
• CO721B: Personal and Group Skills. MSc programme. Semester 2. Moderator of 1 discussion group.
• CA7201: MSc Individual Project. MSc programme. Spring term. Module convenor and supervisor of 3 projects.
• CB7201: MSc Individual Project. MSc programme. Summer term. Module convenor and supervisor of 2 projects.
• CO3015: 3rd Year Project. BSc programme. Supervision of 2 projects.
• PhD course: Model-Driven Engineering: foundations, applications and formal verification.
• 2007/08
• CO2006: Software Engineering and System Development. BSc programme. Semester 1.
• CO7207: Generative Development. MSc programme. Semester 2. Module convenor.
• CO7210: Personal and Group Skills. MSc programme. Semester 1. Moderator of 2 discussion groups.
• CO7210: Personal and Group Skills. MSc programme. Semester 2. Moderator of 2 discussion groups.
• CO2015: Software Engineering Project. BSc programme. Semester 2. Project supervisor of 6 groups.
• CO7201: MSc Individual Project. MSc programme. Spring and Summer terms. Module co-convenor and supervisor of 2 projects.
• PhD course: Rewriting Logic and Maude.
• 2006/07 (at the Technical University of Valencia - Gandia campus)
• Advanced programming. Telecommunication Engineering. 50 hours.
• 2005/06 (at the Technical University of Valencia - Gandia campus)
• Computer programming. Tourism Diploma. 20 hours.
• Programming. Telecommunication Engineering. 30 hours.
• Supervision of 2 BSc projects.
• 2004/05 (at the Technical University of Valencia)
• Supervision of 3 BSc projects.

• Artur Boronat:

• Tools
• MOMENT2

Author: Artur Boronat (aboronat at mcs dot le dot ac dot uk), T: +44 (0)116 252 2025.
© University of Leicester 14 December 2009. Last modified: 15th June 2011, 17:18:02.
CS Web Maintainer. Any opinions expressed on this page are those of the author.