Edgar Francisco Castillo Barrera

Brief Biography

Of Mexican origin, he made his studies in the Autonomous Metropolitan University, Campus Iztapalapa, obtaining in 1992 the title of bachelor in Computer Science with the graduate thesis: Expert System for Symbolic Integration and one year after he obtain a bachelor in Mathemathics in the National Autonomous University of Mexico, School of Sciences, with the graduate thesis: Tutorial Expert System of Symbolic Integration Teaching. In the same continuous year and institution, he obtain the Master degree with honorary mention in 1997 with the thesis: Expert System for Symbolic Ordinary Differential Equations Teaching. He works like manager in information technologies in Metadata company 1997. In the academic scope, he has received important recognitions like educational, between which they emphasize the title of professor Insigne Cum Laude 1996. He have been professor in several famous institutions and universities in México, like Tecnológico de Monterrey, campus Mexico city, University of Valle de México, Institute of Research in Applied Mathematics and Systems, IIMAS-UNAM, among others.

PhD Thesis

Title: "A Semantic Web-based Model for Verifying The Matching of Software Components".

Director: Dr. Héctor Alejandro Durán Limón.

Co-Director: Dr. José Emilio Labra Gayo.

Abstract. Component Based Software Engineering (CBSE) is a paradigm that aims at constructing and designing systems using a pre-defined set of software components explicitly created for reuse. Component Based Software Development is (CBSD) focused on assembling previously existing components into larger software system. The key to making software components work is to define components that are general enough to be useful in many contexts, but simple enough that programmers can understand and use the components’ interfaces. However, assembled components (called software component composition) must be compatible in the sense that any sequence of operations requested by one of the interacting components must be provided by the other component(s). Component incompatibility may result in software failures which are difficult to detect and correct. Composition of software components into assemblies (systems) is a fundamental aspect of software development. When two components have been assembled according user’s specifications is called “matching”.  But, it is not a guarantee of the correct operation or functionality. We need extra additional information to verify the correct matching. In this research, we propose a semantic model called Moctezuma (ontology-based approach and software component metadata ) for verifying the correct matching of software component composition.  Software component composition (Hamlet, 2007) is an area of active research in the field of component-based software engineering (CBSE). The software composition problem has been largely addressed by different works (Dra. Asunción Gómez Pérez, 2006) but mainly focusing in a functional and non-semantically-driven approach. Our conceptual model approach for composition of software components is mainly based on Semantic Web technologies (Berners-Lee, 1998) and its key-enabling technology, namely, ontologies and semantic queries (SPARQL). In order to go one step beyond the line, this work propose a conceptual model independent of plataform model and architecture based on the component based software composition paradigm.


Research Areas

Artificial Intelligence, Software Engineering , Semantic Web, Ontologies, Artificial Life, Virtual Animated Agents based on Logic, Knowledge Representation, Software Components, Logic Programming.




  1. Fulbright Visiting Scholar Program,  Dr. S. Masoud Sadjadi, Florida International University (FIU), Miami, Florida, USA, August 5 to October 31 ,  2011.
  2. AUIP,  Asociacion Universitaria Iberoamericana de Postgrado, Dr. José Emilio Labra Gayo, University of Oviedo, Oviedo, Spain, March-May, 2011.

Relevant web sites



  1. Previous Electoral-Result Program (PREP’06), A Real Time System, Graphics Electoral results generator. Consejo Estatal Electoral, San Luis Potosi, Mexico,  1/2006 – 7/2006. 
  2. Evaluation Professor Query System (SICEP)”,  Autonomous University of San Luis Potosi, Faculty of Engineering, Phases I and II,  12/2004 – 7/2006.
  3. Schedule Assignation System for First Enrollment Students at Faculty of Engineering,  Autonomous University of San Luis Potosi, Faculty of Engineering,  Phases I, II y III (SAHOAPI), 2005 - 2009.
  4. Electoral fraud detection, using Visionics and Object Store, Institute Federal Electoral, IFE, Government, 2000 – 2001.
  5. An ORACLE’S DATABASE ETL (Extract, Transform and load), ELI-LiLLY Company, 2000 – 2001.

Memberships and Professional Associations

  1. WESO, Web Semantic Oviedo group, Oviedo, Asturias, Spain, March, 2010 – Present.
  2. IAOA, The International Association for Ontology and its Applications, January, 2010 - Present.
  3. ACM, Association for Computing Machinery, July, 1997 - Present.
  4. IEEE, Institute of Electrical and Electronic Engineers, July, 2008 - Present.


  1. Text Book, “El K=Conocimiento”, UNAM printing services, 1996.
  2. Text Book, “Inteligencia Artificial Conceptos y Aplicaciones en Prolog”, CEUL University printing services, 1999.
  3. “A method for building ontology-based electronic document management systems for quality standards—the case study of SO/TS 16949:2002 automotive standard.”, Applied Intelligence, Journal, Springer Verlag, 2012, DOI: 10.1007/s10489-012-0360-1.

Participation in Conferences, Seminars and Workshops

  1. “A Semantic Web Framework for Teaching Logic Circuits”, FECS'12 - The 2012 International Conference on Frontiers in Education: Computer Science and Computer Engineering.
  2. “Verifying the Behavioral Contracts among Components by means of Semantic Web Techniques”, SERP'12 - The 2012 International Conference on Software Engineering Research and Practice.
  3. “Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint” Seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2011 (LANMR'11)
  4. “An Ontology for Classifying, Searching and Matching Software Components in a Software Factory Framework",  6th International Conference Formal Ontology in Information Systems (FOIS 2010), Toronto, Canada May 11-14, 2010.
  5. Francisco Castillo-Barrera, Hector A. Duran-Limon, Horacio Lopez-Padilla, Manuel Corona-Perez, The 2009 International Conference on Artificial Intelligence ICAI’09, Worldcomp 2009, “Using a 3D Animated, Natural Speech, Logic-Based Agent as a School’s Web site guide and course advisor”, pp. 689-692, Las Vegas, Nevada, USA,  July 13 – 16, 2009.
  6. Congreso Interamericano de Computación Aplicada a la Industria de Procesos,  9o CAIP'2009,  “Ontología para un Sistema de Calidad Automotriz basado en la Norma ISO/TS 16949”, Co-author Beatriz Rodríguez-Rocha, Master thesis, Montevideo, Uruguay, August 25 -28, de 2009.
  7. Beatriz D. Rodríguez-Rocha, Francisco E. Castillo-Barrera, Horacio López-Padilla, Electronics, Robotics and Automotive Mechanics Conference, CERMA 2009, IEEE, “Knowledge Capitalization in the Automotive Industry Using an Ontology Based on the ISO/TS 16949 Standard”, pp.100-106 , Cuernavaca, Morelos, México, September 22 - 25, 2009. ISBN: 978-0-7695-3799-3, DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CERMA.2009.85
  8. EXPRIME 2008, II Congreso Latinoamericano de Estudiantes de Matemáticas, April 22 - 24, 2008,  San Luis Potosi, S.L.P.
  9. INFOSYSTEC, 2007, “ Animated Artificial Life”, 2007, Rio Verde,  San Luis Potosi.
  10. Primer congreso Nacional de Ciencias Computacionales, “Composición Musical Algorítmica Usando L-Systems y Java para Generar  Secuencias Musicales”, February 24, 2006, Zacatecas.
  11. Co-chair, The 8th World Multi-Conference on Systemics, Cybernetics and Informatics SCI2004, “Using MindMaps in the Development Process of SAHOAPI System”, Orlando, Florida, USA, July 18 – 21, 2004.


National Autonomous University of Mexico, UNAM, Faculty of Science     1994 - 1997
degree in Mathematics, 1994, 930631,
Graduate Thesis: Tutorial Expert System of Symbolic Integration Teaching.
Metropolitan aUTONOMOUS UNIVERSITY (UAM-I)                    1986 - 1992
Campus Iztapalapa, Bachelor degree in Computer Science, 1993, 920589,
Graduate Thesis: Expert System for Symbolic Integration (CALCULUS).

Master degree

  • National Autonomous University of Mexico, IIMAS-UNAM            1994 - 1997
  • CONACYT Scholarship student. Master degree in Computer Science, 1997, 2723292 
  • Graduate Thesis: Expert System for Symbolic Ordinary Differential Equations Teaching (ESYSODET).