Photograph

Dr. Antonio García-Domínguez

The website has moved. Please visit this page instead (you will be redirected in 2 seconds).

Researcher, UCASE Software Engineering research group, University of Cádiz.

Address: Av. Universidad de Cádiz 10, CP 11519, Puerto Real, Cádiz, Spain.

Email:

ORCID profile: 0000-0002-4744-9150

Find me in Twitter, Google+, Github, LinkedIn, DBLP, Google Scholar, Microsoft Academic Search, or TDG Scholar.

Research interests

  • Impact of free software in education
  • Automated theorem proving
  • Dynamic invariant generation
  • Mutation testing with evolutionary algorithms
  • Model-driven development
  • Service-oriented architectures
  • Web Services
  • Web Service compositions (WS-BPEL)

Demos

SODM+T Eclipse plugins

The SODM model-driven SOA methodology developed by the Kybele research group at the University of Rey Juan Carlos did not take testing aspects into account. At MESIC09 and JSWEB09 we proposed extending it to solve this issue, and we discussed the inference algorithms in more depth at MOSE10. In QSIC11 we show how the time limit inference algorithm was overhauled to obtain better performance, and at ICSOFT11 we discuss how the algorithms were adapted to the MARTE profile and further improved. At ICIW12, we proposed a way to reuse the performance models for partially generating actual test artefacts, by weaving them with design models. This work was then extended in a IJAIT journal paper.

Some of the original tools in SODM have been reimplemented and extended to model service performance constraints, validate the models and infer missing constraints from the rest. Source and binaries are freely available from this project under the Eclipse Public License 1.0. Demonstration videos are available through these links:

You can install the plugins from source, or from an Eclipse update site.

Epsilon

Epsilon is a family of task-specific languages for model handling. All languages have a single ancestor: the Epsilon Object Language, which is an imperative language inspired on OCL. Epsilon includes languages for model-to-model and model-to-text transformations, model validation, model merging, model comparison and metamodel migration, among others. Epsilon also includes several tools, such as Eugenia (which reduces the learning curve for creating GMF-based graphical editors) and EUnit (an unit testing framework specialized on testing model handling operations). EUnit was my main contribution from my 3-month stay at the University of York from February 2011 to May 2011. I continue contributing to the Epsilon project as an Eclipse Developer: some of these later contributions helped improve the usability of the Eugenia graphical model editor.

GAmera and MuBPEL

GAmera is a mutation analysis tool for Web Service compositions written in the WS-BPEL language. It helps the user measure the quality of the test suite, by checking if the test suite can tell apart the original composition from mutants which each have a single change. GAmera implements its own WS-BPEL mutation operators and uses genetic algorithms to reduce the number of mutants that need to be evaluated. Source code and additional documentation is available from the GAmera Redmine project.

MuBPEL is a mutation analysis tool which can mutate WS-BPEL compositions and check if the mutants were killed or not by a BPELUnit test suite. Originally it was part of GAmera, but as it has gained features it has become into a separate tool of its own.

GAmera has been legally registered in the "Registro Territorial de la Propiedad Intelectual de la Junta de Andalucía" with the code: CA-77-10.

BPELUnit

BPELUnit is an unit testing toolkit for the WS-BPEL Web Service composition language. More information is available at its website. The source code is available at Github. My personal Github fork is available here.

Takuan

Takuan is an invariant generator for Web Service compositions written in the WS-BPEL language. It can generate properties which hold at various points of the composition, by analyzing the execution logs of a test suite. Source code and additional documentation is available from here.

Takuan has been legally registered in the "Registro Territorial de la Propiedad Intelectual de la Junta de Andalucía" with the code: CA-76-10.

StatMediaWiki

StatMediaWiki is a tool to collect and aggregate information available in a MediaWiki installation. Results are static HTML pages with tables and graphics that help to analyze the wiki status and development. StatMediaWiki is free software under the GPLv3 or higher. Some functionalities in StatMediaWiki are adapted from those in StatSVN. Source code and additional documentation is available from here.

StatMediaWiki has been developed as part of the “Empleo de tecnologías colaborativas Web 2.0 para fomentar el trabajo en equipo del alumnado” (PIE101) project, funded by Proyecto Europa.

XMLEye

XMLEye is a generic viewer for structured documents. It can use up to three transformations:

  1. Conversion of the original document to an XML-based language.
  2. Preprocessing of the document to add derived information and remove or hide irrelevant information.
  3. Rendering of each node to obtain its XHTML view.

Transformations and new document types can be added or edited by the user with no recompilation, using the framework implemented by XMLEye.

XMLEye has been used to navigate some ACL2 proofs, BPELUnit execution results and YAML documents. Source code, documentation and binary distributions are available in its project at the RedIRIS forge. For more information, please visit its blog and wiki.

XMLEye won the First Prize to the Best Educational Project in the II Universitary Contest of Free Software.

Publications

Free software in education

  • M. Palomo-Duarte, J. Manuel-Dodero, and A. García-Domínguez, “Betting System for Formative Code Review in Educational Competitions,” Expert Systems with Applications, 41(5), pp. 2222-2230, April 2014.
  • M. Palomo-Duarte, J. M. Dodero, A. García-Domínguez, P. Neira-Ayuso, N. Sales-Montes, I. Medina-Bulo, F. Palomo-Lozano, C. Castro-Cabrera, E. J. Rodríguez-Posada, and A. Balderas, “Scalability of assessments of wiki-based learning experiences in higher education”, Computers in Human Behavior, 31, pp. 638-650, February 2014.
  • Manuel Palomo Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales Montes, Inmaculada Medina Bulo, Francisco Palomo Lozano, Carmen Castro Cabrera, and Emilio J. Rodríguez Posada, “Computer-supported assessment of wikis in higher education: two case studies,” in Proceedings of the 14th International Symposium on Computers in Education, Andorra, 2012.
  • Manuel Palomo Duarte, Juan Manuel Dodero, José Tomás Tocino, Antonio García-Domínguez, and Antonio Balderas, “Competitive Evaluation in a Video Game Development Course,” in Proceedings of the 17th Annual Conference on Innovation and Technology in Computer Science Education, Haifa, Israel, 2012.
  • P. Recio Quijano, N. Sales Montes, A. García Domínguez, and M. Palomo Duarte, “Collaboration and competitiveness in project-based learning,” in Proceedings of the 3rd Workshop on Methods and Cases in Computing Education, Cádiz, Spain, 2010. [proceedings]
  • A. García Domínguez, R. J. Rodríguez Galván, and M. Palomo Duarte, “El software libre en el EEES,” in Innovación Educativa para la Educación Superior: Hacia el Proceso de Convergencia, Madrid, Spain, 2008, pp. 101-120, Dykinson, ISBN 978-84-9849-342-9. [article] [slides]
  • M. Palomo Duarte, R. J. Rodríguez Galván, G. Aburruzaga García, J. C. González Cerezo, A. Álvarez Ayllón, and A. García Domínguez, “Taxonomía de estándares para la interoperabilidad de sistemas informáticos,” in Proceedings of the Free/Libre/Open Source Systems International Conference, Jerez de la Frontera, Spain, 2007, pp. 281-294. [proceedings]
  • R.J. Rodríguez-Galván, M. Palomo-Duarte, J.C. González-Cerezo, G. Aburruzaga-García, A. García-Domínguez, and A. Álvarez-Ayllón, “The Case of the University of Cadiz's Free Software Office among Spanish Universities,” CEPIS UPGRADE, vol. VIII, Dec. 2007. [free issue]

Automated theorem proving

  • A. García-Domínguez, F. Palomo-Lozano, and I. Medina-Bulo, “Hypertext navigation of ACL2 proofs with XMLEye,” in Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, Boston, Massachusetts, USA, 2009, ACM, pp. 47-56. [ACM] [article] [slides]

Dynamic invariant generation

Preprint PDFs, BibTeX entries and abstracts are available from the Takuan website.

  • M. Palomo-Duarte, A. García-Domíngued and I. Medina-Bulo, “Automatic dynamic generation of likely invariants for WS-BPEL compositions,” Expert Systems with Applications, 41(11), pp. 5041-5055, September 2014.
  • M. Palomo Duarte, A. García Domínguez, I. Medina Bulo, A. Álvarez Ayllón, and J. Santacruz López Cepero, “Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation,” in Proceedings of the 10th International Conference on Web  Engineering, Vienna, Austria, 2010, vol. 6189, pp. 532-535.
  • M. Palomo Duarte, A. Álvarez Ayllón, A. García-Domínguez, and I. Medina-Bulo, “Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL,” presented at the Talleres de Ingeniería del Software y Bases de Datos (PRIS 2009), San Sebastián, Spain, 2009.
  • M. Palomo Duarte, A. García Domínguez, A. Álvarez Ayllón, and I. Medina Bulo, “Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL,” in Actas de las XIV Jornadas de Ingeniería del Software y Bases de Datos, San Sebastián, Spain, 2009, pp. 367-370.
  • A. Álvarez Ayllón, A. García-Domínguez, M. Palomo-Duarte, and I. Medina-Bulo, “La cobertura de los casos de prueba en la generación dinámica de invariantes en composiciones WS-BPEL,” in Actas de las V Jornadas Científico-Técnicas en Servicios Web y SOA, Madrid, Spain, 2009.
  • M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “Improving Takuan to analyze a meta-search engine WS-BPEL composition,” in Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, Jhongli, Taiwan, 2008.
  • M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions,” in Proceedings of the 6th IEEE European Conference on Web Services, Dublin, Ireland, 2008, pp. 63-72.
  • M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions,” in Proceedings of ICE-B 2008 - International Conference on e-Business, Porto, Portugal: INSTICC Press, 2008.

Mutation testing with evolutionary algorithms

Preprint PDFs, BibTeX entries and abstracts are available from the GAmera website.

  • A. Estero-Botaro, A. García-Domínguez, J. J. Domínguez-Jiménez, F. Palomo-Lozano, and I. Medina-Bulo, “Generación genética de casos de prueba para composiciones WS-BPEL”, in Actas de las XVIII Jornadas de Ingeniería del Software y Bases de Datos, Madrid, España, 2013.
  • P. Delgado-Pérez, I. Medina-Bulo, J. J. Domínguez-Jiménez, y A. García-Domínguez, “Operadores de Mutación a Nivel de Clase para el Lenguaje C++”, en Actas de las XII Jornadas sobre Programación y Lenguajes, Madrid, España, 2013.
  • J. J. Domínguez-Jiménez, A. Estero-Botaro, A. García-Domínguez, and I. Medina-Bulo, “Evolutionary Mutation Testing,” Information and Software Technology, vol. 53, no. 10, pp. 1108-1123, Oct. 2011.
  • E. Blanco-Muñoz, A. García-Domínguez, J. J. Domínguez-Jiménez, and I. Medina-Bulo, “Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL,” in Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos, A Coruña, Spain, 2011, pp. 537–542.
  • E. Blanco-Muñoz, A. García-Domínguez, J. J. Domínguez-Jiménez, and I. Medina-Bulo, “Towards Higher-Order Mutant Generation for WS-BPEL,” in Proceedings of the 2011 International Conference on e-Business, Seville, Spain, 2011, pp. 143–148.
  • J. Boubeta-Puig, I. Medina-Bulo, and A. García-Domínguez, “Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes,” REICIS, vol. 7, no. 1, pp. 23–46, Apr. 2011.
  • J. Boubeta-Puig, A. García-Domínguez, and I. Medina-Bulo, “Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages,” in Proceedings of 6th International Workshop on Mutation Analysis, Berlin, Germany, March 2011.
  • J. J. Domínguez Jiménez, A. Estero Botaro, A. García Domínguez, and I. Medina Bulo, “GAmera: a Tool for WS-BPEL Composition Testing using Mutation Analysis,” in Proceedings of the 10th International Conference on Web  Engineering, Vienna, Austria, 2010, Lecture Notes in Computer Science, vol. 6189, pp. 490-493.
  • J. J. Domínguez Jiménez, A. Estero Botaro, A. García Domínguez, and I. Medina Bulo, “GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions,” in Proceedings of the 7th IEEE European Conference on Web Services, Eindhoven, The Netherlands, 2009, pp. 97-106.

Model-driven development

If not linked from here, some of the preprint PDFs, BibTeX entries and abstracts are available from the SODM+T website.

  • D. S. Kolovos, A. García-Domínguez, L. M. Rose and R. F. Paige, “Eugenia: towards disciplined and automated development of GMF-based graphical model editors”, Software and Systems Modeling, February 2015. To appear. The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-015-0455-3. [Preprint]
  • L. Prades Martell, F. Romero Subirón, A. M. Estruch Ivars, A. García-Domínguez, and J. Serrano Mira, “Defining a Methodology to Design and Implement Business Process Models in BPMN According to the Standard ANSI/ISA-95 in a Manufacturing Enterprise”, Procedia Engineering, vol. 63, pp. 115-122, 2013.
  • A. García-Domínguez, M. Marcos-Bárcena, I. Medina-Bulo, and L. Prades-Martell, “Towards an Integrated SOA-based Architecture for Interoperable and Responsive Manufacturing Systems”, Procedia Engineering, vol. 63, pp. 123-132, September 2013.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE”, in Software and Data Technologies, M. J. Escalona, J. Cordeiro, and B. Shishkov, Eds., Springer Berlin Heidelberg, 2013, pp. 136-150.
  • A. García-Dominguez and I. Medina-Bulo, “Una arquitectura para evaluar la calidad de las reglas de monitorización de composiciones WS-BPEL,” in Actas de las IX Jornadas de Ciencia e Ingeniería de Servicios, Madrid, Spain, 2013. [Preprint] [Slides]
  • A. Jiménez Rielo, D. Granada, and A. García Domínguez, “Eugenia”, in Desarrollo de software dirigido por modelos: conceptos, métodos y herramientas, first edition, Madrid, España: Ra-Ma, 2013, ISBN 978-84-9964-215-4. [Book site]
  • A. García-Domínguez, M. Marcos-Bárcena, I. Medina-Bulo, and L. Prades-Martell, “Towards an Integrated SOA-based Architecture for Interoperable and Responsive Manufacturing Systems,” Procedia Engineering, vol. 63, pp. 123–132, 2013. [Preprint] [Poster]
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “Performance Test Case Generation for Java and WSDL-based Web Services from MARTE,” International Journal on Advances in Internet Technology, vol. 5, no. 3–4, pp. 173–185, Dec. 2012.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “An Approach for Performance Test Artefact Generation for Multiple Technologies from MARTE-Annotated Workflows,” in 7th International Conference on Internet and Web Applications and Services, Stuttgart, Germany, 2012.
  • A. García-Domínguez, M. Marcos-Bárcena, and I. Medina-Bulo, “A Comparison of BPMN 2.0 with Other Notations for Manufacturing Processes,” Key Engineering Materials, vol. 502, pp. 1–6, 2012. [Preprint] [Poster]
  • L. M. Rose, A. García Domínguez, J. R. Williams, D. S. Kolovos, R. F. Paige, and F. A. C. Polack, “Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case,” Electronic Proceedings in Theoretical Computer Science, vol. 74, pp. 332–339, Nov. 2011.
  • A. García-Domínguez, D. S. Kolovos, L. M. Rose, R. F. Paige, and I. Medina-Bulo, “EUnit: a Unit Testing Framework for Model Management Tasks,” in Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand, 2011. To be published.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “Model-driven Design of Performance Requirements with UML and MARTE,” in Proceedings of the 6th International Conference on Software and Data Technologies, Seville, Spain, 2011.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “Model-Driven Design of Performance Requirements,” in Proceedings of the 11th International Conference on Quality Software, Madrid, Spain, 2011.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “SODM+T: Inferencia de restricciones de rendimiento,” in Actas de las XV Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010, vol. 1, pp. 103-106.
  • A. García-Domínguez, I. Medina-Bulo, and M. Marcos-Bárcena, “Inference of performance constraints in Web Service composition models,” CEUR Workshop Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, vol. 608, pp. 55-66, June 2010.
  • A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena, “Primeros Avances en una Metodología Orientada a Modelos para los Sistemas de Información de Empresas de Fabricación Distribuida,” in Actas de las I Jornadas Predoctorales de la ESI, Cádiz, Spain, 2009, pp. 109-112.
  • I. Medina Bulo, A. García Domínguez, F. Aguayo González, L. Sevilla Hurtado, and M. Marcos Bárcena, “Proposal of a Methodology for Implementing a Service-Oriented Architecture in Distributed Manufacturing Systems,” in Proceedings of the 3rd Manufacturing Engineering Society International Conference, Alcoy, Spain, 2009, vol. 1181, pp. 622-632.
  • A. García Domínguez, I. Medina Bulo, and M. Marcos Bárcena, “Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA,” Novática, no. 204, pp. 62-68, Mar-2010. Originally presented at the V Jornadas Científico-Técnicas en Servicios Web y SOA (JSWEB 2009), Madrid, Spain.
  • I. Medina Bulo, A. García Domínguez, F. Aguayo González, L. Sevilla Hurtado, and M. Marcos Bárcena, “Propuesta metodológica para la implementación de una arquitectura orientada a servicios en entornos de Sistemas de Fabricación Distribuida,” in Actas del III Congreso Internacional de la Sociedad de Ingeniería de Fabricación, Alcoy, Spain, 2009, pp. 346-353.

Web service testing

  • A. García-Domínguez and I. Medina-Bulo, “Una arquitectura para evaluar la calidad de las reglas de monitorización de composiciones WS-BPEL”, in IX Jornadas de Ciencia e Ingeniería de Servicios, Madrid, España, 2013, pp. 139-146.

Overview talks and teaching materials

  • Materials for the “Seguridad Informática y Competencias Profesionales” course (in Spanish), in collaboration with other teachers from the University of Cádiz: materials under CC-BY-SA-NC 3.0.
  • Introducción al uso educativo de wikis (in Spanish): materials under CC-BY-SA 3.0.
  • Aspectos Legales del Software Libre (in Spanish): materials.
  • Introducción a Git (in Spanish): Git repository, wiki. I gave a 4-hour long seminar on this in Spanish, now available in YouTube.
  • Introducción a Python (in Spanish): Git repository.
  • Creación de paquetes Debian (in Spanish): PDF, single HTML page, multiple HTML pages.