Por motivos de mantenimiento se ha deshabilitado el inicio de sesión temporalmente. Rogamos disculpen las molestias.
Author profile: Gómez López, María Teresa
Institutional data
Name | Gómez López, María Teresa |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrática de Universidad |
Request | |
Statistics
-
No. publications
105
-
No. visits
8448
-
No. downloads
18161
Publications |
---|
Presentation
Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT) [Póster]
(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
BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning
(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
Enabling security risk assessment and management for business process models
(Elsevier, 2024)
Business processes (BP) are considered the enterprise’s cornerstone but are increasingly in the spotlight of attacks. ... |
PhD Thesis
Improving data preparation for the application of process mining
(2023)
Immersed in what is already known as the fourth industrial revolution, automation and data exchange are taking on a ... |
Article
Feature models to boost the vulnerability management process
(Elsevier Inc., 2023)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Article
ELI: an IoT-aware big data pipeline with data curation and data quality
(PeerJ, 2023)
The complexity of analysing data from IoT sensors requires the use of Big Data technologies, posing challenges such as ... |
PhD Thesis
On the enhancement of Big Data Pipelines through Data Preparation, Data Quality, and the distribution of Optimisation Problems
(2022)
Nowadays, data are fundamental for companies, providing operational support by facilitating daily transactions. Data has ... |
Presentation
Advisory: vulnerability analysis in software development project dependencies
(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
Feature models to boost the vulnerability management process
(Elsevier, 2022)
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ... |
Article
Reasoning on the usage control security policies over data artifact business process models
(ComSIS Consortium, 2022)
The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external ... |
Article
A domain-specific language for the specification of UCON policies
(Elsevier, 2022)
Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security ... |
Chapter of Book
Process Instance Query Language and the Process Querying Framework
(Springer, 2022)
The use of Business Process Management Systems (BPMSs) allows com panies to manage the data that flows through process ... |
Article
When business processes meet complex events in logistics: A systematic mapping study
(Elsevier, 2022)
Logistics processes are attracting growing attention because of the globalisation of the market. Its growing complexity ... |
Presentation
A NLP-Oriented Methodology to Enhance Event Log Quality
(Springer, 2021)
The quality of event logs is a crucial cornerstone for the feasibility of the application of later process mining techniques. ... |
Article
Discovering configuration workflows from existing logs using process mining
(Springer, 2021)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ... |
Article
DMN4DQ: when data quality meets DMN
(Elsevier, 2021)
To succeed in their business processes, organizations need data that not only attains suitable levels of quality for the ... |
Presentation
CC4Spark: Distributing Event Logs and big complex Conformance Checking problems
(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 |
Article
Empowering conformance checking using Big Data through horizontal decomposition
(Elsevier, 2021)
Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of ... |
Article
Decision-making support for input data in business processes according to former instances
(ComSIS Consortium, 2021)
Business Processes facilitate the execution of a set of activities to achieve the strategic plans of a company. During the ... |
Article
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial ... |
Article
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing
(IEEE Computer Society, 2021)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ... |
Article
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
(Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is ... |
Presentation
Definition and Verification of Security Configurations of Cyber-Physical Systems
(Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ... |
Presentation
AMADEUS: Towards the AutoMAteD secUrity teSting
(ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis ... |
Article
Unleashing Constraint Optimisation Problem solving in Big Data environments
(Elsevier, 2020)
The application of the optimisation problems in the daily decisions of companies is able to be used for finding the best ... |
Presentation
Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium
(Springer, 2020)
Research on database and information technologies has been rapidly evolving over the last couple of years. This evolution ... |
Article
Prognosis of multiple instances in time-aware declarative business process models
(Elsevier, 2020)
Technological evolution, heading for industry 4.0, makes companies tend to automate their managementand operation, ideally ... |
Article
Verifying the manipulation of data objects according to business process and data models
(Springer, 2020)
Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented ... |
Article
Measuring data‑centre workfows complexity through process mining: the Google cluster case
(Springer, 2020)
Data centres have become the backbone of large Cloud services and applica-tions, providing virtually unlimited elastic ... |
Presentation
Towards the Detection of Promising Processes by Analysing the Relational Data
(Springer, 2020)
Business process discovery provides mechanisms to extract the general process behaviour from event observations. However, ... |
Chapter of Book
Diagnosing Business Processes
(Springer, 2019)
|
Article
CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines
(MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ... |
Presentation
Enabling Process Mining in Aircraft Manufactures: Extracting Event Logs and Discovering Processes from Complex Data
(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
Analysis of Big Data Architectures and Pipelines: Challenges and Opportunities
(2019)
Los continuos avances tecnológicos están promoviendo cambios en múltiples aspectos de la sociedad. Una de las consecuencias ... |
Presentation
Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
(Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration ... |
Presentation
DMN for Data Quality Measurement and Assessment
(Springer, 2019)
Data Quality assessment is aimed at evaluating the suitability of a dataset for an intended task. The extensive literature ... |
Article
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
(IEEE Computer Society, 2019)
Organizations execute daily activities to meet their objectives. The performance of these activities can be fundamental ... |
Presentation
CHAMALEON: Framework to improve Data Wrangling with Complex Data
(Association for Information Systems (AIS), 2019)
Data transformation and schema conciliation are relevant topics in Industry due to the incorporation of data-intensive ... |
Article
Business Process Configuration According to Data Dependency Specification
(MDPI AG, 2018)
Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these ... |
PhD Thesis
Decision-making support for the alignment of business-process-driven organization with strategic plans.
(2018)
Los planes de negocio son documentos en los que los equipos ejecutivos de las organizaciones (BETs, por sus siglas en ... |
Article
Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation
(Elsevier, 2018)
Key Performance Indicators (KPIs) can be used to evaluate the success of an organization, facilitating the detection of ... |
Presentation
Standardizing Process-Data Exploitation by Means of a Process-Instance Metamodel
(Springer, 2018)
The analysis of data produced by the enterprises during pro cesses execution is key to know how these processes are working ... |
Presentation
Análisis de los datos y coreografia de múltiples procesos en entornos logísticos
(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
FABIOLA: Towards the resolution of constraint optimization problems in big data environment
(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
An Architecture for Querying Business Process, Business Process Instances, and Business Data Models
(Springer, 2017)
Business data are usually managed by means of business processes during process instances. These viewpoints (business, ... |
Presentation
A Model-Driven Framework for Domain Specific Process Design and Governance
(Ceur-WS.org, 2017)
Current BPM approaches and standards have not sufficiently reduced the Business-IT gap. Indeed, today's solutions are ... |
Article
Hybrid business process modeling for the optimization of outcome data
(Elsevier, 2016)
Context: Declarative business processes are commonly used to describe permitted and prohibited actions in a business ... |
Presentation
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
(Springer, 2016)
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ... |
Presentation
PAIS-DQ: Extending Process-Aware Information Systems to support Data Quality in PAIS life-cycle
(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
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps
(Springer, 2016)
Business process management systems incorporate the pos sibility of monitoring the behaviour of a company, by observing ... |
Presentation
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models
(Springer, 2016)
Choreography in business processes is used as a mechanism to communicate various organizations, by providing a method to ... |
Presentation
Validation, Diagnosis and Decision-Making Support of Data in Business Processes
(Springer, 2016)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ... |
Presentation
Computing alignments with constraint programming : the acyclic case
(CEUR-WS.Org, 2016)
Conformance checking confronts process models with real process executions to detect and measure deviations between ... |
Presentation
Hybrid Diagnosis Applied to Multiple Instances in Business Processes
(Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ... |
Presentation
Process Instance Query Language to Include Process Performance Indicators in DMN
(IEEE Computer Society, 2016)
Companies are increasingly incorporating commercial Business Process Management Systems (BPMSs) as mechanisms to automate ... |
Presentation
An Open-Source Proactive Security Infrastructure for Business Process Management
(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
Compliance validation and diagnosis of business data constraints in business processes at runtime
(Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in ... |
Article
Automating correctness verification of artifact-centric business process models
(Elsevier, 2015)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ... |
PhD Thesis
Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.
(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
An Architecture to infer Business Rules from Event Condition Action Rules implemented in the Persistence Layer
(IGI Global, 2014)
The business rules that govern the behaviour of a business process can be hardcoded in different ways in a software ... |
Presentation
Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness
(Springer, 2014)
Several proposals have studied the compliance of execution of business process traces in accordance with a set of compliance ... |
Article
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes
(World Scientific, 2014)
In a business process, the information that flows between the activities can be introduced by those users who interact ... |
Article
Using Constraint Programming in Selection Operators for Constraint Databases
(Elsevier, 2014)
Constraint Databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean ... |
Chapter of Book
Data-Oriented Declarative Language for Optimizing Business Processes
(Springer, 2014)
There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ... |
Presentation
Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis
(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
Diagnosing correctness of semantic workflow models
(Elsevier, 2013)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and ... |
Presentation
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling, Demonstration paper
(IEEE Computer Society, 2013)
Business Process models allow business experts to describe the activities that must be performed to achieve a defined goal. ... |
Article
Minimizing test-point allocation to improve diagnosability in business process models
(Elsevier, 2013)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient ... |
Chapter of Book
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems
(Springer, 2013)
A business process consists of a set of activities that are performed in coordination in an organizational and technical ... |
Article |
PhD Thesis |
Presentation
Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints
(Springer, 2012)
The combination of activities to achieve optimal goals sometimes has a complex solution. Business Process Model and ... |
Presentation
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess
(SciTePress, 2011)
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. ... |
Presentation
Model-Driven Engineering for Constraint Database Query Evaluation
(IDMPP, 2011)
Data used in applications such as CAD, CAM or GIS are complex, but the techniques developed for their treatment and stor ... |
Presentation
Improving the Diagnosability of Business Process Management Systems Using Test Points
(Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ... |
Presentation
Resolución de acuerdos en Procesos de Negocio para Multiproceso Software usando Programación con Restricciones Distribuidas
(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
Fault diagnosis in databases for business processes
(PHM Society, 2010)
Business processes involve data that can be modified or updated by various activities. These data must satisfy the business ... |
Presentation
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones
(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
Run-Time Auditing for Business Processes Data Using Constraints
(Springer, 2010)
Business processes involve data that can be modified or up dated by various activities. These data must satisfy the business ... |
Presentation
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
(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
Determination of an optimal test points allocation for business process analysis
(IEEE Computer Society, 2010)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ... |
Article
A survey using constraints to decision-making for fault tolerance in Business processes
(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
Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases
(2009)
In engineering applications many models use polynomial constraints. The models are based on the knowledge of the behavior ... |
Presentation
Una propuesta usando Restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio
(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
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
(Linköping University, 2009)
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ... |
Presentation
Competitive Intelligence based on Social Networks for Decision Making
(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
Developing a labelled object-relational constraint database architecture for the projection operator
(Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ... |
Presentation
Diagnosing Business Processes Execution using Choreography Analysis
(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
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs
(Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ... |
PhD Thesis |
Article
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
(Elsevier, 2006)
In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ... |
Article
An integration of model-based techniques for determining the minimal diagnosis
(Asociación Española para la Inteligencia Artificial, 2006)
|
Article
Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema
(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
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
(IEEE Computer Society, 2006)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ... |
Presentation
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis
(Springer, 2005)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ... |
Presentation
Analysis and Visualization of the DX Community with Information Extracted from the Web
(Springer, 2005)
The aim of the present work is the graphical representation of the structures of a specific knowledge area with data ... |
Presentation
A model integration of DX an FDI techniques for automatic determination of minimal diagnosis
(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
Constraint Databases Technology for Polynomial Models Diagnosis
(2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ... |
Presentation
Securing Mobile Agent Based Tele-Assistance Systems
(SciTePress, 2004)
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile ... |
Presentation
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis
(Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ... |
Presentation
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering
(Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ... |
Article
CSP aplicados a la diagnosis basada en modelos
(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
CSP y Bases de Datos Restrictivas
(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
Un modelo CSP para la planificación de la sustitución óptima de piezas defectuosas
(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 ... |