Por motivos de mantenimiento se ha deshabilitado el inicio de sesión temporalmente. Rogamos disculpen las molestias.
NameGómez López, María Teresa
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryCatedrática de Universidad
E-mailRequest
           
  • No. publications

    105

  • No. visits

    8448

  • No. downloads

    18161


 

Presentation
Icon

Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT) [Póster]

Márquez Trujillo, Antonio Germán; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Actualmente el software desarrollado adquiere relaciones dependientes con librerías externas, lo que promueve el aumento ...
Article
IconIcon

BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning

Barba González, Cristóbal; Caballero, Ismael; Varela Vaca, Ángel Jesús; Cruz Lemus, José Antonio; Gómez López, María Teresa; Navas Delgado, Ismael (Elsevier B.V., 2024)
Data quality should be at the core of many Artificial Intelligence initiatives from the very first moment in which data ...
Article
IconIcon

Enabling security risk assessment and management for business process models

Rosado, David G.; Sánchez, Luis E.; Varela Vaca, Ángel Jesús; Santos Olmo, Antonio; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2024)
Business processes (BP) are considered the enterprise’s cornerstone but are increasingly in the spotlight of attacks. ...
PhD Thesis
Icon

Improving data preparation for the application of process mining

Ramos Gutiérrez, Belén; Gómez López, María Teresa; Reina Quintero, Antonia María (2023)
Immersed in what is already known as the fourth industrial revolution, automation and data exchange are taking on a ...
Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Article
Icon

ELI: an IoT-aware big data pipeline with data curation and data quality

de Haro Olmo, Francisco José; Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Álvarez Bermejo, José Antonio; Gómez López, María Teresa (PeerJ, 2023)
The complexity of analysing data from IoT sensors requires the use of Big Data technologies, posing challenges such as ...
PhD Thesis
Icon

On the enhancement of Big Data Pipelines through Data Preparation, Data Quality, and the distribution of Optimisation Problems

Valencia Parra, Álvaro; Gómez López, María Teresa; Varela Vaca, Ángel Jesús (2022)
Nowadays, data are fundamental for companies, providing operational support by facilitating daily transactions. Data has ...
Presentation
Icon

Advisory: vulnerability analysis in software development project dependencies

Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022)
ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ...
Article
Icon

Feature models to boost the vulnerability management process

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Márquez Trujillo, Antonio Germán (Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
Article
Icon

Reasoning on the usage control security policies over data artifact business process models

Estañol, Montserrat; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Teniente, Ernest; Martínez Gasca, Rafael (ComSIS Consortium, 2022)
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external ...
Article
Icon

A domain-specific language for the specification of UCON policies

Reina Quintero, Antonia María; Martínez Pérez, Salvador; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Cabot, Jordi (Elsevier, 2022)
Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security ...
Chapter of Book
Icon

Process Instance Query Language and the Process Querying Framework

Pérez Álvarez, José Miguel; Cancela Díaz, Antonio; Parody Núñez, María Luisa; Reina Quintero, Antonia María; Gómez López, María Teresa; Polyvyanyy, Artem (Springer, 2022)
The use of Business Process Management Systems (BPMSs) allows com panies to manage the data that flows through process ...
Article
Icon

When business processes meet complex events in logistics: A systematic mapping study

Ramos Gutiérrez, Belén; Reina Quintero, Antonia María; Parody Núñez, María Luisa; Gómez López, María Teresa (Elsevier, 2022)
Logistics processes are attracting growing attention because of the globalisation of the market. Its growing complexity ...
Presentation
Icon

A NLP-Oriented Methodology to Enhance Event Log Quality

Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Ortega Rodríguez, Francisco Javier; Gómez López, María Teresa; Wynn, Moe Thandar (Springer, 2021)
The quality of event logs is a crucial cornerstone for the feasibility of the application of later process mining techniques. ...
Article
Icon

Discovering configuration workflows from existing logs using process mining

Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Springer, 2021)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ...
Article
Icon

DMN4DQ: when data quality meets DMN

Valencia Parra, Álvaro; Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Caballero, Ismael; Gómez López, María Teresa (Elsevier, 2021)
To succeed in their business processes, organizations need data that not only attains suitable levels of quality for the ...
Presentation
Icon

CC4Spark: Distributing Event Logs and big complex Conformance Checking problems

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona, Josep (CEUR Workshop Proceedings (CEUR-WS.org), 2021)
Conformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting ...
Chapter of Book
Icon

Enabling Process Mining in Airbus Manufacturing : Extracting Event Logs and Discovering Processes from Complex Data

Valencia Parra, Álvaro; Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; García Bernal, Antonio; Brocke, Jan Vom; Mendling, Jan; Rosemann, Michael (Springer, 2021)
Article
Icon

Empowering conformance checking using Big Data through horizontal decomposition

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona, Josep; Bergenthum, Robin (Elsevier, 2021)
Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of ...
Article
Icon

Decision-making support for input data in business processes according to former instances

Pérez Álvarez, José Miguel; Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceravolo, Paolo (ComSIS Consortium, 2021)
Business Processes facilitate the execution of a set of activities to achieve the strategic plans of a company. During the ...
Article
IconIcon

CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis E.; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ...
Article
Icon

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing

Ramos Gutiérrez, Belén; Gómez López, María Teresa; Borrego Núñez, Diana; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Barea, Antonio (IEEE Computer Society, 2021)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ...
Article
Icon

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is ...
Presentation
Icon

Definition and Verification of Security Configurations of Cyber-Physical Systems

Varela Vaca, Ángel Jesús; Rosado, David G.; Sánchez, Luis Enrique; Gómez López, María Teresa; Martínez Gasca, Rafael; Fernández Medina, Eduardo (Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ...
Presentation
Icon

AMADEUS: Towards the AutoMAteD secUrity teSting

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Carmona Fombella, José Antonio; Gómez López, María Teresa (ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ...
Article
Icon

Unleashing Constraint Optimisation Problem solving in Big Data environments

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Gómez López, María Teresa (Elsevier, 2020)
The application of the optimisation problems in the daily decisions of companies is able to be used for finding the best ...
Presentation
Icon

Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium

Bellatreche, Ladjel; Bentayeb, Fadila; Bieliková, Mária; Boussaid, Omar; Catania, Barbara; Ceravolo, Paolo; Demidova, Elena; Halfeld Ferrari, Mirian; Gómez López, María Teresa; Hara, Carmen S.; Kordic, Slavica; Lukovic, Ivan; Mannocci, Andrea; Manghi, Paolo; Osborne, Francesco; Papatheodorou, Christos; Ristic, Sonja; Sacharidis, Dimitris; Romero, Oscar; Salatino, Angelo; Talens, Guilaine; Keulen, Maurice van; Vergoulis, Thanasis; Zumer, Maja (Springer, 2020)
Research on database and information technologies has been rapidly evolving over the last couple of years. This evolution ...
Article
Icon

Prognosis of multiple instances in time-aware declarative business process models

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2020)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ...
Article
Icon

Verifying the manipulation of data objects according to business process and data models

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Eshuis, Rik; Montali, Marco; Martínez Gasca, Rafael (Springer, 2020)
Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented ...
Article
Icon

Measuring data‑centre workfows complexity through process mining: the Google cluster case

Fernández Cerero, Damián; Varela Vaca, Ángel Jesús; Fernández Montes González, Alejandro; Gómez López, María Teresa; Álvarez Bermejo, José Antonio (Springer, 2020)
Data centres have become the backbone of large Cloud services and applica-tions, providing virtually unlimited elastic ...
Presentation
Icon

Towards the Detection of Promising Processes by Analysing the Relational Data

Ramos Gutiérrez, Belén; Parody Núñez, María Luisa; Gómez López, María Teresa (Springer, 2020)
Business process discovery provides mechanisms to extract the general process behaviour from event observations. However, ...
Chapter of Book
Icon

Diagnosing Business Processes

Borrego Núñez, Diana; Gómez López, María Teresa; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
Article
Icon

CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Gómez López, María Teresa; Bernáldez Torres, Pedro (MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ...
Presentation
Icon

Enabling Process Mining in Aircraft Manufactures: Extracting Event Logs and Discovering Processes from Complex Data

Valencia Parra, Álvaro; Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; García Bernal, Antonio (CEUR Workshop Proceedings (CEUR-WS.org), 2019)
Process mining is employed by organizations to completely understand and improve their processes and to detect possible ...
Master's Final Project
Icon

Analysis of Big Data Architectures and Pipelines: Challenges and Opportunities

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa (2019)
Los continuos avances tecnológicos están promoviendo cambios en múltiples aspectos de la sociedad. Una de las consecuencias ...
Presentation
Icon

Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs

Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Ramos Gutiérrez, Belén; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ...
Presentation
Icon

DMN for Data Quality Measurement and Assessment

Valencia Parra, Álvaro; Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Caballero, Ismael; Gómez López, María Teresa (Springer, 2019)
Data Quality assessment is aimed at evaluating the suitability of a dataset for an intended task. The extensive literature ...
Article
Icon

Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models

Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (IEEE Computer Society, 2019)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ...
Presentation
Icon

CHAMALEON: Framework to improve Data Wrangling with Complex Data

Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Ceravolo, Paolo (Association for Information Systems (AIS), 2019)
Data transformation and schema conciliation are relevant topics in Industry due to the incorporation of data-intensive ...
Article
Icon

Business Process Configuration According to Data Dependency Specification

Parody Núñez, María Luisa; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (MDPI AG, 2018)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ...
PhD Thesis
Icon

Decision-making support for the alignment of business-process-driven organization with strategic plans.

Pérez Álvarez, José Miguel; Gómez López, María Teresa (2018)
Los planes de negocio son documentos en los que los equipos ejecutivos de las organizaciones (BETs, por sus siglas en ...
Article
Icon

Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation

Pérez Álvarez, José Miguel; Maté, Alejandro; Gómez López, María Teresa; Trujillo, Juan (Elsevier, 2018)
Key Performance Indicators (KPIs) can be used to evaluate the success of an organization, facilitating the detection of ...
Presentation
Icon

Standardizing Process-Data Exploitation by Means of a Process-Instance Metamodel

Cancela, Antonio; Reina Quintero, Antonia María; García García, Alejandro; Gómez López, María Teresa (Springer, 2018)
The analysis of data produced by the enterprises during pro cesses execution is key to know how these processes are working ...
Presentation
Icon

Análisis de los datos y coreografia de múltiples procesos en entornos logísticos

Cisneros Carreño, Kevin Daniel; Varela Vaca, Ángel Jesús; Parody Núñez, María Luisa; Gómez López, María Teresa (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Los procesos de negocio permiten la descripción de modelos colaborativos donde varios procesos y sus instancias se puedan ...
Presentation
Icon

FABIOLA: Towards the resolution of constraint optimization problems in big data environment

Parody Núñez, María Luisa; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael (Association for Information Systems (AIS), 2017)
The optimization problems can be found in several examples within companies, such as the minimization of the production ...
Presentation
Icon

An Architecture for Querying Business Process, Business Process Instances, and Business Data Models

Gómez López, María Teresa; Reina Quintero, Antonia María; Parody Núñez, María Luisa; Pérez Álvarez, José Miguel; Reichert, Manfred (Springer, 2017)
Business data are usually managed by means of business processes during process instances. These viewpoints (business, ...
Presentation
Icon

A Model-Driven Framework for Domain Specific Process Design and Governance

Mos, Adrian; Cortes Cornax, Mario; Pérez Álvarez, José Miguel; Gómez López, María Teresa (Ceur-WS.org, 2017)
Current BPM approaches and standards have not sufficiently reduced the Business-IT gap. Indeed, today's solutions are ...
Article
Icon

Hybrid business process modeling for the optimization of outcome data

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2016)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business ...
Presentation
Icon

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models

Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
Presentation
Icon

PAIS-DQ: Extending Process-Aware Information Systems to support Data Quality in PAIS life-cycle

Parody Núñez, María Luisa; Gómez López, María Teresa; Bermejo, Isabel; Caballero, Ismael; Martínez Gasca, Rafael; Piattini Velthuis, Mario (IEEE Computer Society, 2016)
The successful execution of a Business Process implies to use data with an adequate level of quality, thereby enabling the ...
Presentation
Icon

Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Varela Vaca, Ángel Jesús; Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael (Springer, 2016)
Business process management systems incorporate the pos sibility of monitoring the behaviour of a company, by observing ...
Presentation
Icon

Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models

Gómez López, María Teresa; Pérez Álvarez, José Miguel; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2016)
Choreography in business processes is used as a mechanism to communicate various organizations, by providing a method to ...
Presentation
Icon

Validation, Diagnosis and Decision-Making Support of Data in Business Processes

Gómez López, María Teresa (Springer, 2016)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ...
Presentation
Icon

Computing alignments with constraint programming : the acyclic case

Gómez López, María Teresa; Borrego Núñez, Diana; Carmona, Josep; Martínez Gasca, Rafael (CEUR-WS.Org, 2016)
Conformance checking confronts process models with real process executions to detect and measure deviations between ...
Presentation
Icon

Hybrid Diagnosis Applied to Multiple Instances in Business Processes

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ...
Presentation
Icon

Process Instance Query Language to Include Process Performance Indicators in DMN

Pérez Álvarez, José Miguel; Gómez López, María Teresa; Parody Núñez, María Luisa; Martínez Gasca, Rafael (IEEE Computer Society, 2016)
Companies are increasingly incorporating commercial Business Process Management Systems (BPMSs) as mechanisms to automate ...
Presentation
Icon

An Open-Source Proactive Security Infrastructure for Business Process Management

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Jiménez Vargas, David; Martínez Gasca, Rafael; Suárez Fábrega, Antonio J.; Abad Herrera, Pedro J. (International Business Information Management Association (IBIMA), 2015)
Business Process Management Systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration ...
Article
Icon

Compliance validation and diagnosis of business data constraints in business processes at runtime

Gómez López, María Teresa; Martínez Gasca, Rafael; Pérez Álvarez, José Miguel (Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ...
Article
Icon

Automating correctness verification of artifact-centric business process models

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa (Elsevier, 2015)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ...
PhD Thesis
Icon

Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.

Parody Núñez, María Luisa; Martínez Gasca, Rafael; Gómez López, María Teresa (2014)
One of the main objectives of a business expert is to model the business goals of an enterprise process. Several languages ...
Chapter of Book
Icon

An Architecture to infer Business Rules from Event Condition Action Rules implemented in the Persistence Layer

Arévalo Maldonado, Carlos; Gómez López, María Teresa; Reina Quintero, Antonia María; Ramos Román, Isabel; Pérez Castillo, Ricardo; Piattini Velthuis, Mario G. (IGI Global, 2014)
The business rules that govern the behaviour of a business process can be hardcoded in different ways in a software ...
Presentation
Icon

Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness

Gómez López, María Teresa; Parody Núñez, María Luisa; Martínez Gasca, Rafael; Rinderle-Ma, Stefanie (Springer, 2014)
Several proposals have studied the compliance of execution of business process traces in accordance with a set of compliance ...
Article
Icon

Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes

Gómez López, María Teresa; Martínez Gasca, Rafael; Pérez Álvarez, José Miguel (World Scientific, 2014)
In a business process, the information that flows between the activities can be introduced by those users who interact ...
Article
Icon

Using Constraint Programming in Selection Operators for Constraint Databases

Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2014)
Constraint Databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean ...
Chapter of Book
Icon

Data-Oriented Declarative Language for Optimizing Business Processes

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2014)
There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ...
Presentation
Icon

Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis

Gómez López, María Teresa; Martínez Gasca, Rafael; Rinderle-Ma, Stefanie (IEEE Computer Society, 2013)
Sometimes the business process model is not known completely, but a set of compliance rules can be used to describe the ...
Article
Icon

Diagnosing correctness of semantic workflow models

Borrego Núñez, Diana; Eshuis, Rik; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ...
Presentation
Icon

CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2013)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ...
Article
Icon

Minimizing test-point allocation to improve diagnosability in business process models

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ...
Chapter of Book
Icon

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems

Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa; Borrego Núñez, Diana (Springer, 2013)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ...
Article
Icon

Improvement of Optimization Agreements in Business Processes involving Web Services

Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (2012)
PhD Thesis
Presentation
Icon

Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2012)
The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and ...
Presentation
Icon

Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (SciTePress, 2011)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ...
Presentation
Icon

Model-Driven Engineering for Constraint Database Query Evaluation

Gómez López, María Teresa; Reina Quintero, Antonia María; Martínez Gasca, Rafael (IDMPP, 2011)
Data used in applications such as CAD, CAM or GIS are complex, but the techniques developed for their treatment and stor ...
Presentation
Icon

Improving the Diagnosability of Business Process Management Systems Using Test Points

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ...
Presentation
Icon

Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas

Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coordinada para obtener un objetivo ...
Presentation
Icon

Fault diagnosis in databases for business processes

Gómez López, María Teresa; Martínez Gasca, Rafael (PHM Society, 2010)
Business processes involve data that can be modified or updated by various activities. These data must satisfy the business ...
Presentation
Icon

Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)
El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una ...
Presentation
Icon

Run-Time Auditing for Business Processes Data Using Constraints

Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2010)
Business processes involve data that can be modified or up dated by various activities. These data must satisfy the business ...
Presentation
Icon

Contract-based Diagnosis for Business Process Instances using Business Compliance Rules

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Parody Núñez, María Luisa (PHM Society, 2010)
In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can be ...
Presentation
Icon

Determination of an optimal test points allocation for business process analysis

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2010)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ...
Article
Icon

A survey using constraints to decision-making for fault tolerance in Business processes

Gómez López, María Teresa; Martínez Gasca, Rafael; Arévalo Maldonado, Carlos (Science and Engineering Research Support Society (SERSC), 2010)
Sometimes the business processes do not work how it is expected. In these cases, a diagnosis process has to be executed ...
Presentation
Icon

Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Pozo, Sergio (2009)
In engineering applications many models use polynomial constraints. The models are based on the knowledge of the behavior ...
Presentation
Icon

Una propuesta usando Restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio

Gómez López, María Teresa; Martínez Gasca, Rafael; Borrego Núñez, Diana (Mondragón Unibertsitatea, 2009)
Cuando un proceso de negocio no obtiene el objetivo que se propone será necesario realizar una diagnosis y detección de ...
Presentation
Icon

Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration

Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Barba Rodríguez, Irene (Linköping University, 2009)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ...
Presentation
Icon

Competitive Intelligence based on Social Networks for Decision Making

Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009)
In previous works a framework has been presented to extract from internet the scientific community interested in a specific ...
Article
Icon

Developing a labelled object-relational constraint database architecture for the projection operator

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Presentation
Icon

Diagnosing Business Processes Execution using Choreography Analysis

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Barba Rodríguez, Irene (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The ...
Presentation
Icon

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Ceballos Guerrero, Rafael (Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
PhD Thesis
Icon

LORCDB Gestor de bases de datos objeto-relacionales de restricciones

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2007)
Article
Icon

Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ...
Article
Icon

An integration of model-based techniques for determining the minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006)
Article
Icon

Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ...
Presentation
Icon

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Pozo Hidalgo, Sergio (IEEE Computer Society, 2006)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...
Presentation
Icon

Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Rosa Troyano, Francisco Fernando de la (Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...
Presentation
Icon

Analysis and Visualization of the DX Community with Information Extracted from the Web

Rosa Troyano, Francisco Fernando de la; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2005)
The aim of the present work is the graphical representation of the structures of a specific knowledge area with data ...
Presentation
Icon

A model integration of DX an FDI techniques for automatic determination of minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Presentation
Icon

Constraint Databases Technology for Polynomial Models Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ...
Presentation
Icon

Securing Mobile Agent Based Tele-Assistance Systems

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Gómez López, María Teresa (SciTePress, 2004)
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile ...
Presentation
Icon

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Presentation
Icon

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Article
Icon

CSP aplicados a la diagnosis basada en modelos

Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
Article
Icon

CSP y Bases de Datos Restrictivas

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
Article
Icon

Un modelo CSP para la planificación de la sustitución óptima de piezas defectuosas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Gómez López, María Teresa (AEPIA: Asociación Española para la Inteligencia Artificial, 2002)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...