University of Leicester

computer science

HOME

MAP

CONTACT

STAFF — Artur Boronat  Ph.D. (T U Valencia)

Lecturer
F28 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 2025
F: +44 (0)116 252 3915
E: aboronat at mcs dot le dot ac dot uk

Teaching

Current 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.
    • PhD course: Rewriting Logic and Maude. Semester 2.

Past teaching

  • 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.

Publications

Journal publications

  • Artur Boronat and José Meseguer: An algebraic semantics for MOF. Formal Aspects of Computing Journal. Springer LNCS. 2009. (to appear)
  • 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 and Peter Csaba Ölveczky. Formal Real-Time Model Transformations in MOMENT2. 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 2010, Paphos, Cyprus, 22 - 26 March, 2010. (to appear)
  • 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., Pedrós, J.: An Approach to Cross-Model Semantic Transformation on the .NET Framework. 3rd International Conference on .NET Technologies. May 30 - June 1, 2005 Plzen (Pilsen), Czech Republic. ISBN 80-86943-01-1. Vol 3. pp 131--140.
  • 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.
  • Boronat, A., Carsí J.Á., Ramos, I.: Automatic Model Generation in Model Management. LNCS Springer-Verlag Berlin Heidelberg. Intelligent Information Technology: 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings. LNCS 3356 / 2004. pp 326--335. 2004.

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.
  • Pascual Queralt, Luis Hoyos, Artur Boronat, José Iborra, José Á. Carsí, Isidro Ramos, Abel Gómez: A model transformation engine with support for the QVT Relations language (In Spanish: Un motor de transformación de modelos con soporte para el lenguaje QVT Relations) III Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'06). CEUR Workshop proceedings. ISSN 1613-0073. Vol 227. pp 130--139. 2005.
  • Abel Gómez, Artur Boronat, Luis Hoyos, José Á. Carsí, Isidro Ramos: Definition of composite operators 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). Centro Internacional de Métodos Numéricos en Ingeniería (CIMNE). XI Spanish Conference on Software Engineering and Databases - Jornadas de Ingeniería del Software y Bases de Datos (JISBD06). ISBN 84-95999-99-4. pp 215-224. 2006.
  • 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.
  • Artur Boronat, José Á. Carsí, Isidro Ramos. A semantic platform for Model Management (In Spanish: Una plataforma semántica para la gestión de modelos). Spanish Conference on Software Engineering and Databases - Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2003. Alicante, noviembre 2003. pp 167--176. 2003.
  • 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. Technical University of Valencia. Spain. 2007 ( pdf, bibtex )

Technical Reports

  • Boronat, A., Meseguer, J.: Algebraic semantics of EMOF/OCL metamodels. Technical Report UIUCDCS-R-2007-2904, CS Dept., University of Illinois at Urbana-Champaign (2007) ( pdf, bibtex )

Research activities

Participation in programme committees (current)

Participation in programme committees (past)

  • 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

  • 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

Current Projects

Past Projects

Locations of visitors to this page
| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

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: 14th January 2010, 08:34:22.
CS Web Maintainer. Any opinions expressed on this page are those of the author.