Diana Borrego

Diana Borrego
Universidad de Sevilla | US · Languages and Systems

PhD in Computer Science

About

36
Publications
2,122
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
187
Citations
Citations since 2017
8 Research Items
106 Citations
20172018201920202021202220230510152025
20172018201920202021202220230510152025
20172018201920202021202220230510152025
20172018201920202021202220230510152025
Introduction
Diana Borrego currently works at the Languages and Computers Systems Department, Universidad de Sevilla. Diana does research in Artificial Intelligence, Software Engineering and Information Systems (Business Informatics). Their current project is 'SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES'.
Additional affiliations
September 2006 - present
Universidad de Sevilla
Position
  • Lecturer

Publications

Publications (36)
Article
Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to identify potential vulnerabilities, assess the level of risk, and define remediation mechanisms to address threats. Thus, the large number of configuration options in systems makes it extremely difficult to identify which configura...
Article
Business process analytics and verification have become a major challenge for companies, especially when process data is stored across different systems. It is important to ensure Business Process Compliance in both data-flow perspectives and business rules that govern the organisation. In the verification of data-flow accuracy, the conformance of...
Article
Full-text available
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity of redefining the troubleshooting processes. Troubleshooting comprises the set of steps for the systematic analysis of the symptoms after the detection of a malfunction. The complexity of certain systems, such as aircraft, means...
Chapter
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve certain problems through recursion. The acquisition of this type of reasoning is essential to understand the different problem solving techniques that are based on recursive algorithms, such as divide and conquer or dynamic pr...
Article
italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for learning purposes is presented. The review analyzes different methods and tools at different educational levels and with different o...
Article
Technological evolution, heading for industry 4.0, makes companies tend to automate their management and operation, ideally defining it through business process models. To describe policies or rules related to the execution order of the activities in an organization, Declarative Business Process Models permit a relaxed description of activity order...
Chapter
Most of the organizations related to industrial manufacturing are process oriented. In order to facilitate their daily processes, enterprises use software, automating the execution order of their more frequent activities. Business Process Management Systems (BPMSs) have helped industry to orchestrate their tasks and recover every used information,...
Conference Paper
Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple activity-centric workflow description inadequate. Several artifact-centric initiatives pursue the verification of the structural and data perspectives of the models, but unfortunately uncovering security aspects. Security has become...
Conference Paper
Business Process compliance is an important issue in control-flow and data-flow perspectives. Control-flow correctness can be analysed at design time, whereas data-flow accuracy should be verified at runtime, since data is accessed and modified during execution. Compliance validation should consider the conformance of data to business rules. Busine...
Article
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the last few years. This way, business processes are described from the point of view of the artifacts that are manipulated during the process. Objective: One of the research challenges in this area is the verification of the correctn...
Article
A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational p...
Conference Paper
One of the reasons why the companies keep out the business process adaptation, is focused on the complexity to adequate their databases to a Business Process Management. It implies to determine the relation between the activities of the process, and the data objects stored in the database. Our proposal allows the business expert to know the state o...
Chapter
Since the accurate management of business processes is receiving increasing attention, conformance checking, i.e., verifying whether the observed behaviour matches a modelled behaviour, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, little work has been cond...
Article
Everyday more and more complex and critical processes of organizations' services and operations are automated by using business process management systems. Thereby, there exists a growing interest in improving the quality of these processes e.g., by avoiding functional faults to ensure the reachability of business goals and, consequently, for organ...
Article
Diagnosability analysis aims to determine whether observations available during the execution of a system are sufficient to precisely locate the source of a problem. Previous work deals with the diagnosability problem in contexts such as circuits and systems, but no with the adaptation of the diagnosability problem to business processes. In order t...
Article
To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback in case of errors is challenging due to the interplay between these different perspectives. In this paper, we propose a fully auto...
Article
A business process consists of a set of activities that are performed in coordination in an organizational and technical environment (Weske 2007). The base of business process management systems (BPMS) is the explicit representation of business processes with their activities and the execution constraints between them. Compliance rules represent a...
Article
Full-text available
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The model can be used to represent a multiple software process planning problem when the different (activities of) projects compete for limited staff. The main aspects of the model are: the use of integer variables which repr...
Conference Paper
A business process consists of a set of activities which are performed in a coordination way to obtain an objective. Sometimes the definition of this objective using only a classic business processes management is not possible. When the choreography of the processes cannot be defined with a combination of tasks using sequences, conditions, 'xor', '...
Article
Full-text available
The management and automation of business processes have become an essential tasks within IT organizations. Companies could deploy business process management systems to automatize their business processes. BPMS needs to ensure that those are as dependable as possible. Fault tolerance techniques provide mechanisms to decrease the risk of possible f...
Conference Paper
Full-text available
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables fault isolation in a business process. The diagnosis process uses a set of test points (observations) and a model in order to explain a wrong behavior. In this work, a series of algorithms to allocate test points are presente...
Conference Paper
The management and automation of business processes have become an essential task within IT organizations, where the diagnosis is a very important issue, since it enables fault isolation in a business process. The diagnosis process uses a set of test points (observations) and a model in order to explain a wrong behavior. In this work, an algorithm...
Article
Full-text available
In order to increase the quality of business pro-cesses when they are automated, the correctness of the activities can be checked by means of an analysis of the corresponding business compli-ance rules. By analyzing the trace of an instance of a business process, it is possible to detect the correctness of the process and to determine which activit...
Conference Paper
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when repairing faulty components in a system. Since multi-mode operations are considered, the problem involves the ordering and the selection of the tasks and modes from a set of alternatives, using the shared resources efficiently. Add...
Article
Full-text available
This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The diagnosis is based on distributed diagnosis since the business process is formed by a process orchestrations modelled by a set of activities. These business processes have two different types of activities, with internal and ex...
Article
Full-text available
Design by Contract enables the development of more reliable and robust software applications. In this paper, a method- ology that diagnoses errors in software is proposed. This is based on the combination of Design by Contract, Model- based Diagnosis and Constraint Programming. Contracts are specified by using assertions. These assertions together...
Conference Paper
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by Contract, Model-Based Diagnosis and Constraint Programming. The contracts are specified by assertions embedded in the source code. T...
Article
Full-text available
Resumen Un proceso de negocio consiste en un conjunto de actividades que trabajan de manera coor-dinada para obtener un objetivo común. A ve-ces, la denición del objetivo usando un acuer-do de proceso de negocio clásico no es posible. Cuando la coreografía de procesos no puede denirse como la combinación de tareas usan-do secuencias, condiciones, p...
Article
Full-text available
The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business Collaboration (B2BC). This work presents a proposal to diagnose faulty activities in B2BC using choreography structural analysis. Model-based diagnosis could be achieved by using a Business-to-Business Interaction Model (B2BIM) and an...
Article
Full-text available
Resumen El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona una base de conocimiento sobre cómo se han comporta-do otros proyectos similares y la posibilidad de detectar el origen de sus deciencias. En este trabajo se propone enriquecer las reglas de negocio de un proceso software co...

Network

Cited By

Projects

Projects (3)
Project
Aether's main goal for this project is to advance towards a knowledge-based framework integrating novel solutions for data, process and business analytics.
Project
To align the CPS governance with strategic business processes. To improve CPS design methods and frameworks. To optimize and monitor CPS operation and maintenance.
Project
Recent years have seen a spectacular increase in the volume and range of information available. A wide variety of data sources, from traditional structured data to Open Data, social networks, sensors or mobile devices, can provide more information on organizational environments, thus improving strategic decision-taking. This phenomenon, known as Big Data, is forecast to generate revenue of 15 billion Euros in 2016. Big Data, however, presents us with as many challenges and problems as it does expectations and potential. Guaranteed return on investment in Big Data exists, yet several studies show that projects in this field have a high failure rate. Institutions and public bodies earmark huge amounts of resources towards solving problems inherent to Big Data. Big Data management has some special features; most experts accept that these may be described as the 5 Vs (Volume, Velocity, Variety, Veracity, Value); they call for technological advances that do not yet exist and provide endless opportunities for research, the results of which would bring about tangible benefits for society. At present, the main solutions and approaches are focusing on providing solutions for distributed processing and the storage of massive data (based on NoSQL databases and / or Hadoop systems) and / or the application of statistical techniques and artificial intelligence in particular domains trying to extract knowledge from such huge volumes of data. While these approaches are generating encouraging results, the selection and management of Big Data sources suffers today from a methodological and global approach that could exploit economies of scale and apply it to various domains, offering business opportunities to SMEs and entrepreneurs. The main objective of the coordinated SEQUOIA project is to contribute models, methods and software tools to allow organizations to take on Big Data projects and maximise their chances of success. Involving a systematic and methodical way of seeing how to incorporate Big Data into the daily decision-making process, it optimises the synergy between the different approaches of Business Engineering, Software Engineering and Data Engineering. The University of Seville will develop models and tools for improving the design and execution of the business processes which generate and use Big Data.