Photograph

Manuel Palomo-Duarte, PhD

Researcher, Software Process Improvement and Formal Methods research group, University of Cádiz.

Director, Libre Software and Open Knowledge Office, University of Cádiz.

Department of Computer Languages and Systems, University of Cádiz.

Address: C/Chile 1, CP 11003, Cádiz, Spain.

Email:

Research interests

  • Impact of free/libre software in education and society
  • Applications of wiki technology in education and society
  • Dynamic invariant generation
  • Service-oriented architectures
  • Web Service compositions (WS-BPEL)
  • Rule-based expert systems
  • Videogames in education and society

Demos

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.

GAmera

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

Publications

Free software

  • A. García Domínguez, R.J. Rodríguez Galván, and M. Palomo Duarte, “El software libre en el EEES,” Innovación Educativa para la Educación Superior: Hacia el Proceso de Convergencia, Madrid, Spain: Dykinson, 2008, pp. 101-120.
  • 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,” Proceedings of the Free/Libre/Open Source Systems International Conference, Jerez de la Frontera, Spain: 2007, pp. 281-294.
  • 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.

Dynamic invariant generation

  • Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz, “Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation,” Proceedings of the 10th International Conference on Web Engineering (ICWE 2010) Vienna, Austria (to be published)
  • M. Palomo Duarte, A. García Domínguez, A. Álvarez Ayllón, and I. Medina Bulo, “Enhancing WS-BPEL Dynamic Invariant Generation using XML Schema and XPath Information,” Proceedings of the 9th International Conference on Web Engineering (ICWE 2009), M Gaedke and Michael Grossniklaus and Oscar Díaz, San Sebastián, Spain: 2009, pp. 469-472.
  • 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,” Actas de las XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), A. Vallecillo and G. Sagardui, Eds., San Sebastián, Spain: 2009, pp. 367-370.
  • M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “Improving Takuan to analyze a meta-search engine WS-BPEL composition,” Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), 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,” Proceedings of the 6th IEEE European Conference on Web Services (ECOWS 2008), Dublin, Ireland: 2008.
  • M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions,” Proceedings of ICE-B 2008 - International Conference on e-Business, Porto, Portugal: INSTICC Press, 2008.
  • More publications in "Related papers" section of Takuan website

Rule-based expert systems

  • M. Palomo, F.J. Martín-Mateos, and J.A. Alonso, “Rete Algorithm Applied to Robotic Soccer,” Lecture Notes in Computer Science, 3643/2005, pages 571-576.

Overview talks and teaching materials

  • To be added.