Octavio Martín Díaz
Telefono: 954556877
Perfil en ORCID: 0000-0002-9746-5511
Perfil en Scopus: 8656497700
Perfil en Dialnet: 792796

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Contratado Doctor

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Mejorando el desarrollo, fiabilidad y gobierno de servicios digitales por medio de la colaboración bot-humano (PID2021-126227NB-C22 - Equipo de Investigación)
  • IRIS: Impulsando la Transformación Digital en la Administración Pública mediante Contratos Inteligentes (TED2021-131023B-C21 - Equipo de Investigación)
  • EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895 - Equipo de Investigación)
  • Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21 - Equipo de Investigación)
  • Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651 - Equipo de Investigación)
  • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo de Investigación)
  • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)
  • Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador)
  • Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906 - Investigador)
  • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
  • Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533 - Otro Investigador)
  • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
  • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Investigador)
  • Nuevos métodos y herramientas para la automatización del desarrollo de aplicaciones de comercio electrónico (TIC2000-1106-C02-01 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • GALIBO: Soporte en la elaboración de la propuesta Técnica para el Contrato de Servicios para la Integración y Normalización de los Sistemas de Información de la Consejería de Hacienda y Administración Pública (P040-19/E15 - Investigador)
  • Plataforma de Interoperabilidad (PLATINA) (P008-09/E15 - Investigador)
  
  
• Actividades de Transferencia de Conocimiento:
  • TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US - Equipo de Investigación)
  
  
• Ayuda a la investigación:
  • ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2011/TIC-205 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2010/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2009/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2008/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2007/TIC-205 - Investigador)
  • Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Martín Díaz, Octavio:
Scripting en Rational Rose

Ceada, Jose Luis, Ceada, Jose Luis, Martín Díaz, Octavio:
Programación de Threads I

Martín Díaz, Octavio:
Una Visión General a los Lenguajes de Descripción Arquitectónica

Capítulos en Libros

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Bermejo, J.:
A First Approach to Build Product-Lines of MOWS. Pag. 61-66. En: New Methods and Tools Supporting e¿Commerce II. Santander (ESPAÑA). Kronos S.A. 2003. ISBN 84-86273-81-1

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Benavides Cuevas, David Felipe:
Putting the Foundations for a Management and Execution Environment for MOWS. Pag. 93-102. En: New Methods and Tools Supporting e¿Commerce II. Santander (ESPAÑA). Kronos S.A. 2003. ISBN 84-86273-81-1

Arjona Fernández, Jose Luis, Ruiz Cortés, Antonio, Peña Siles, Joaquín, Ruiz Cortés, David, Martín Díaz, Octavio:
Automatic Extraction of Semantically-Meaningful Information from the Web. Pag. 75-86. En: New Methods and Tools Supporting e-Commerce. Ed. 1. Salamanca. Catedral. 2002. ISBN 84-96086-02-X

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Ruiz Cortés, David, Peña Siles, Joaquín, Arjona Fernández, Jose Luis:
An Approach Towards an Automatic Processing of Architectural Alternatives. Pag. 13-26. En: New Methods and Tools Supporting e-Commerce. Ed. 1. Salamanca. Catedral. 2002. ISBN 84-96086-02-X

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Addressing Interoperability in Multi-Organisational Web-Based Systems. Pag. 87-96. En: New Issues in Object Interoperability. Cacéres, España. Universidad de Extremadura. 2000. ISBN 84-699-2538-5

Publicaciones en Revistas

Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Fernández Montes, Pablo, Martín Díaz, Octavio, Resinas, Manuel, et. al.:
Automated Validation of Compensable SLAs. En: IEEE Transactions on Services Computing. 2018. Vol. Early Access. Núm. Early Access. 10.1109/Tsc.2018.2885766

Müller Cejás, Carlos, Fernández Montes, Pablo, Martín Díaz, Octavio, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, et. al.:
Specifying Compensations with WS-Agreement. En: Revista IEEE America Latina. 2017. Vol. 15. Núm. 7. Pag. 1335-1341. https://doi.org/10.1109/TLA.2017.7959515

Ruiz Cortés, David, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Resinas Arias de Reyna, Manuel:
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming. En: Lecture Notes in Computer Science. 2007. Vol. 4749. Pag. 69-80

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Resinas, Manuel, Fernández Montes, Pablo:
Improving Temporal-Awareness of Ws-Agreement. En: Lecture Notes in Computer Science. 2007. Pag. 193-206

Ruiz Cortés, Antonio, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Improving the Automatic Procurement of Web Services Using Constraint Programming. 2005. Vol. 14. Núm. 4. Pag. 439-467

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador, Müller Cejás, Carlos:
An Approach to Temporal-Aware Procurement of Web Services. En: Lecture Notes in Computer Science. 2005. Vol. 3826. Pag. 170-184

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador, Benavides Cuevas, David Felipe, Toro Bonilla, Miguel:
Automating the Procurement of Web Services. En: Lecture Notes in Computer Science. 2003. Vol. 2910. Pag. 91-103

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Durán Toro, Amador, Toro Bonilla, Miguel:
A Quality-Aware Approach to Web Services Procurement. En: Lecture Notes in Computer Science. 2003. Vol. 2819. Pag. 42-53

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces. En: Computación y Sistemas. 2002. Núm. 2. Pag. 130-142

Torres Valderrama, Jesús, Martín Díaz, Octavio, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Implementing Associations Among Classes in an Environment of Active Databases. En: Programming and Computer Software. 2000. Vol. 26. Núm. 4. Pag. 207-215

Aportaciones a Congresos

García, José María, Martín Díaz, Octavio, Fernández Montes, Pablo, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated analysis of cloud offerings for optimal service provisioning (Summary). Comunicación en congreso. Jornadas de Ciencia e Ingeniería de Servicios. Sevilla. 2018

García, José María, Martín Díaz, Octavio, Fernández Montes, Pablo, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated Analysis of Cloud Offerings for Optimal Service Provisioning. Comunicación en congreso. International Conference on Service-Oriented Computing. Málaga. 2017

Martín Díaz, Octavio, García, José María, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
Automatic generation of Purchasing Plans for Cloud Services. Comunicación en congreso. XII Jornadas de Ciencia e Ingeniería de Servicios. - Salamanca, España. 2016

Müller Cejás, Carlos, Fernández Montes, Pablo, Martín Díaz, Octavio, Gutiérrez Fernández, Antonio Manuel, Resinas, Manuel, et. al.:
Supporting Compensations with WS-Agreement. Comunicación en congreso. V Congreso Español de Informática (CEDI 2016) - XII Jornada de Ciencia e Ingeniería de Servicios (JCIS 2016). Salamanca, España. 2016

Martín Díaz, Octavio, Fernández Montes, Pablo, García, José María, Ruiz Cortés, Antonio:
Towards a Comprehensive Purchasing Model for Cloud Services. Comunicación en congreso. XI Jornadas de Ciencia e Ingeniería de Servicios. Santander, España. 2015

Martín Díaz, Octavio, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
Apoyo a la Toma de Decisiones en la Compra de IaaS. Comunicación en congreso. X Jornadas de Ciencia e Ingeniería de Servicios. Cádiz, España. 2014

Müller Cejás, Carlos, Gutiérrez Fernández, Antonio Manuel, Martín Díaz, Octavio, Resinas, Manuel, Fernández Montes, Pablo, et. al.:
Towards a Formal Specification of SLAs with Compensations. Comunicación en congreso. On the Move to Meaningful Internet Systems: OTM 2014 Conferences. 2014

Martín Díaz, Octavio, Ruiz Cortés, Antonio, García, José María, Toro Bonilla, Miguel:
Dealing With Fixable and Non-Fixable Properties in Service Matchmaking. Ponencia en Taller de trabajo. 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing. Stockholm, Sweden. 2009. Proceedings of the 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing (Nfpslam-SOC), Icsoc-2009. 228. 237

García, José María, Ruiz Cortés, David, Fernández Montes, Pablo, Martín Díaz, Octavio:
Upsranker: Integrando Programacion con Restricciones y Evaluacion de Reglas para el Ranking de Servicios Web Semanticos. Comunicación en congreso. V Jornadas Científico-Técnicas en Servicios Web y Soa. Madrid, Spain. 2009. V Jornadas Científico-Técnicas en Servicios Web y Soa. 275. 277

Müller Cejás, Carlos, Martín Díaz, Octavio, Resinas, Manuel, Fernández Montes, Pablo, Ruiz Cortés, Antonio:
A Ws-Agreement Extension for Specifying Temporal Properties in Slas. Comunicación en congreso. II Congreso Español de Informática. Zaragoza, España. 2007. III Jornadas Científico-Técnicas en Servicios Web y Soa. 1. 8

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Resinas, Manuel, Fernández Montes, Pablo:
Improving Temporal-Awareness of Ws-Agreement. Conferencia Congreso no publicada. International Conference in Service-Oriented Computing - Icsoc. Vienna. 2007. Service-Oriented Computing - Icsoc 2007 (Lncs 4749). 193. 206

García, José María, Ruiz Cortés, David, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Resinas, Manuel:
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming. Comunicación en congreso. International Conference in Service-Oriented Computing - Icsoc. Vienna. 2007. Service-Oriented Computing - Icsoc 2007 (Lncs 4749). 69. 80

Troncoso Lora, Alicia, Troncoso Lora, Alicia, Reina Quintero, Antonia María, Martín Díaz, Octavio, Gómez López, Mª Teresa, et. al.:
La Influencia de la Evaluación Alternativa Propuesta en los Nuevos Estatutos de la Universidad de Sevilla en la Enseñanza Universitaria de Ingeniería Informática. Comunicación en congreso. III Jornada Andaluza de Profesores Noveles. 2006. La Convergencia Europea y Sus Repercusiones en los Procesos de Enseñanza-Aprendizaje. 273. 284

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, García, José María:
Comprobacion de Consistencia y Conformidad en Documentos con Consciencia Temporal. Ponencia en Taller de trabajo. Jornadas de Ingeniería del Software y Bases de Datos: Jismd 2006. Sitges, Barcelona. 2006. Zoco 2006 - Métodos y Herramientas para el Desarrollo de Aplicaciones. 15. 24

Müller Cejás, Carlos, Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador:
An Approach to Temporal-Aware Procurement of Web Services. Conferencia Congreso no publicada. International Conference in Service-Oriented Computing - Icsoc 2005. Amsterdam. 2005. Service-Oriented Computing - Icsoc 2005. 170. 184

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Spl Needs an Automatic Holistic Model for Software Reasoning With Feature Models. Ponencia en Taller de trabajo. International Workshop on Requirements Reuse in System Family Engineering. 2004. International Qorkshop on Requirements Reuse in System Family Engineering. 27. 32

Martín Díaz, Octavio, Benavides Cuevas, David Felipe, Peña Siles, Joaquín, Toro Bonilla, Miguel:
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Towards a Methodology for Multi-Agent System Coordination. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
A Framework for Classifying and Comparing Web Services Procurement Platforms. Comunicación en congreso. Web Services Quality Workshop. 2003. Firsts Web Services Quality Workshop. 37. 46

Martín Díaz, Octavio:
Towards a Quality-Aware Processing of Architectural Alternatives. Ponencia en Taller de trabajo. Workshop for Phd Students in Object-Oriented Systems At Ecoop'02. , Málaga, España. 2002. 12th Workshop for Phd Students in Object-Oriented Systems At Ecoop'02. 0. 0

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Martín Díaz, Octavio, Bermejo, J., Corchuelo Gil, Rafael:
A First Approach to Build Product Lines of MOWS. Comunicación en congreso. Zoco. San Lorenzo del Escorial, España. 2002. Actas de las II Jornadas Zoco. 73. 78

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador:
A Management and Execution Environment for Multi-Organisational Web-Based Systems. Ponencia en Congreso. Zoco. San Lorenzo del Escorial, España. 2002. Actas de las II Jornadas Zoco. 79. 88

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Un Entorno de Administración y Ejecución de Sistemas Multiorganizacionales Basado en la Web. Ponencia en Taller de trabajo. Web Engineering Webe'02. San Lorenzo del Escorial, Madrid. 2002. Web Engineering Webe'02. 0. 0

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
An Approach Towards Automatic Management of Architectural Alternatives. Ponencia en Congreso. Zoco: Metodos y Herramientas de Desarrollo de Aplicaciones de Comercio Electronico. Proyecto Geozoco. Almagro, Ciudad Real (España). 2001. Actas de las I Jornadas Zoco. 29. 42

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Una Aproximacion a la Evaluacion Automatica de Alternativas de Diseño. Ponencia en Taller de trabajo. Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. Almagro, Ciudad Real, España. 2001. Actas del Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. 0. 0

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Martín Díaz, Octavio, Ruiz Cortés, Antonio:
Avances en la Implementacion del Modelo de Interaccion Entre Multiples Participantes. Ponencia en Congreso. Jornadas de Trabajo Menhir. Granada. 2000. Actas de las V Jornadas de Trabajo Menhir. 110. 117

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador, Martín Díaz, Octavio, Pérez Castellanos, José Antonio:
Prototipado Arquitectonico de Sistemas Abiertos Distribuidos. Ponencia en Congreso. Jornadas de Trabajo Menhir. Granada. 2000. Actas de las V Jornadas de Trabajo Menhir. 129. 138

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Addressing Interoperability in Multi-Organisational Web-Based Systems. Ponencia en Congreso. European Conference on Object-Oriented Programming Workshop on Object Interoperability. Shopia Antipolis, Francia. 2000. New Issues in Object Interoperability: Proceedings of the Second International Workshop on Object Interoperability. (Woi'00). 87. 96

Mejías Risoto, Manuel, Ramos Román, Isabel, Martín Díaz, Octavio, Escalona Cuaresma, María José:
Un Metodo Docente para la Realizacion de Practicas de Ingenieria del Software. Comunicación en congreso. Jornadas Sobre la Enseñanza Universitaria de la Informática. Alcalá de Henares (Madrid). 2000. VI Jornadas Sobre la Enseñanza Universitaria de la Informatica. 346. 352

Corchuelo Gil, Rafael, Martín Díaz, Octavio, Toro Bonilla, Miguel, Ruiz Cortés, Antonio:
Weak Fairness in the Context of Constraint-Based Multiparty Interactions. Comunicación en congreso. Journees Détudes Comparatives Franco- Hispano- Italiannes. Torremolinos (España). 1999. Actas del Simposio Español de Informatica Distribuida. 99. 107

Martín Díaz, Octavio, Torres Valderrama, Jesús, Durán Toro, Amador, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Semantica Formal de Asociaciones y Agregados para su Implementacion con Reglas Activas. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, JISBD 99. Cáceres, España. 1999. IV Jornadas de Ingeniería del Software y Bases de Datos, JISBD’99. 55. 56

Corchuelo Gil, Rafael, Martín Díaz, Octavio, Ruiz Cortés, David, Toro Bonilla, Miguel, Prieto, J.M., et. al.:
Selección Justa, Optimación y Superposición en el Contexto de Tesoro. Comunicación en congreso. Jornadas de Trabajo Menhir. Murcia. 1998. III Jornadas de Trabajo Menhir. 75. 86

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Desde un Método de Diseño Estructurado a un Método de Especificación Formal para Sistemas en Tiempo Real. Comunicación en congreso. Jornadas de Informatica. Las Palmas de Gran Canaria, España. 1998. Actas de las IV Jornadas de Informatica. 221. 230

Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Comunicacion y Sincronizacion de Procesos en Sistemas Distribuidos Mediante el Uso de Restricciones. Ponencia en Congreso. Jornadas Científicas Andaluzas en Tecnología de la Información. Cádiz. 1998

Corchuelo Gil, Rafael, Martín Díaz, Octavio, Pérez Castellanos, José Antonio:
Un Nuevo Mecanismo para Describir la Interaccion Entre Procesos en Lenguaje IP. Ponencia en Congreso. Jornadas de Informatica. Las Palmas de Gran Canaria, España. 1998. Actas de las IV Jornadas de Informatica. 201. 210

Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Durán Toro, Amador, Martín Díaz, Octavio:
Un Algoritmo Eficiente para Reparar Errores Sintacticos en Analizadores LR. Ponencia en Congreso. Jornadas de Informatica. Las Palmas de Gran Canaria, España. 1998. Actas de las IV Jornadas de Informatica. 231. 242

Corchuelo Gil, Rafael, Martín Díaz, Octavio:
IP IC(Chi): an IP-Based Language for the Description of Distributed, Reactive Programs. Ponencia en Congreso. Ecec. Alemania. 1998. Ecec'98. 267. 270

Corchuelo Gil, Rafael, Martín Díaz, Octavio:
Multiparty Interactions by Means of Interaction Channels. Ponencia en Congreso. International Conference on Computing and Information. Winnipeg, Manitoba (Canada). 1998. Proceedings of the International Conference on Computing and Information. 35. 42

Patentes:

Ruiz Cortés, Antonio, Resinas, Manuel, Müller Cejás, Carlos, Martín Díaz, Octavio:
Agreement Document Analyzer (Ada). Otra modalidad de propiedad industrial. Solicitud: 2010-06-16