Data

NameValle Sevillano, Carmelo del
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
           

  Statistics

  • Items

    56

  • Visits

    3372

  • Downloads

    7309

  Publications

 

Article
Icon

Flexible runtime support of business processes under rolling planning horizons

Barba Rodríguez, Irene; Jiménez Ramírez, Andrés; Reichert, Manfred; Valle Sevillano, Carmelo del; Weber, Barbara (Elsevier, 2021-01-01)
This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ...
Presentation
Icon

Towards an OpenSource Logger for the Analysis of RPA Projects

López Carnicer, José Manuel; Valle Sevillano, Carmelo del; González Enríquez, José (Springer, 2020-01-01)
Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. ...
Presentation
Icon

A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle

Jiménez Ramírez, Andrés; Reijers, Hajo A.; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2019-01-01)
The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive ...
Presentation
Icon

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Reichert, Manfred; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2018-01-01)
For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To ...
Article
Icon

Time prediction on multi-perspective declarative business processes

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Fernández Olivares, Juan; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2018-01-01)
Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The ...
Presentation
Icon

Towards a new Tool for Managing Declarative Temporal Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018-01-01)
Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) ...
Presentation
Icon

A constraint-based approach for managing declarative temporal business process models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Association for Information Systems (AIS), 2018-01-01)
There is an increasing interest in aligning information systems in a process-oriented way. As an alternative of the ...
Presentation
Icon

Value Chain: From iDMU to Shopfloor Documentation of Aeronautical Assemblies

Oliva, Manuel; Racero Moreno, Jesús; Morales-Palma, Domingo; Valle Sevillano, Carmelo del; Mas, Fernando (Springer, 2017-01-01)
Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes ...
Presentation
Icon

Predicciones en Procesos de Negocio Declarativos

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Fernández Olivares, Juan; Valle Sevillano, Carmelo del; Weber, Barbara (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017-01-01)
La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento ...
Presentation
Icon

Providing Support for the Optimized Management of Declarative Processes

Barba Rodríguez, Irene; Lanz, Andreas; Jiménez Ramírez, Andrés; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Declarative process models are becoming increasingly popular due to the high flexibility they offer to process participants. ...
Article
Icon

Generating optimized configurable business process models in scenarios subject to uncertainty

Jiménez Ramírez, Andrés; Weber, Barbara; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Elsevier, 2015-01-01)
Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational ...
Presentation
Icon

Patient Lifecycle Management: An Approach for Clinical Processes

Salido López, Alberto; Valle Sevillano, Carmelo del; Escalona Cuaresma, María José; Lee, Vivian; Goto, Masatomo (Springer, 2015-01-01)
Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and ...
PhD Thesis
Icon

Supporting users during the execution of declarative business process models in scenarios subject to uncertainty

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Jiménez Ramírez, Andrés (2014-07-22)
La calidad de los modelos de los procesos de negocio (es decir, artefactos software que capturan las relaciones entre las ...
Presentation
Icon

Automatic Generation of Questionnaires for Supporting Users during the Execution of Declarative Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2014-01-01)
When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing ...
Chapter of Book
Icon

Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry

Escalona Cuaresma, María José; Aragón, Gustavo; Linger, Henry; Lang, Michael; Barry, Chris; Schneider, Christoph; Mas, Fernando; Menéndez, José Luis; Oliva, Manuel; Servan, Javier; Arista, Rebeca; Valle Sevillano, Carmelo del (Springer, 2014-01-01)
The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An ...
Presentation
Icon

Automatic Generation of Questionnaires for Managing Configurable BP Models

Jiménez Ramírez, Andrés; Weber, Barbara; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (SciTePress, 2014-01-01)
Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, ...
Article
Icon

User recommendations for the optimized execution of business processes

Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del; Jiménez Ramírez, Andrés (Elsevier, 2013-01-01)
In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible ...
Presentation
Icon

Generating Multi-objective Optimized Business Process Enactment Plans

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2013-01-01)
Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead ...
Presentation
Icon

Applying model-driven paradigm: CALIPSOneo experience

Escalona Cuaresma, María José; García García, Julián Alberto; Mas, Fernando; Oliva, Manuel; Valle Sevillano, Carmelo del (CEUR-WS.Org, 2013-01-01)
Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. ...
Presentation
Icon

Generating Multi-objective Optimized Configurable Business Process Models

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (IEEE Computer Society, 2012-01-01)
The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially ...
Presentation
Icon

Optimized Time Management for Declarative Workflows

Barba Rodríguez, Irene; Lanz, Andreas; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Springer, 2012-01-01)
Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information ...
Presentation
Icon

OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans

Jiménez Ramírez, Andrés; Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara (Springer, 2012-01-01)
Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to ...
PhD Thesis
Icon

Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (2011-12-21)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...
PhD Thesis
Icon

Constraint-based Planning and scheduling techniques for the optimized management of business processes

Valle Sevillano, Carmelo del; Barba Rodríguez, Irene (2011-01-01)
Un proceso de negocio (business process, BP) se puede definir como un conjunto de actividades que se ejecutan de forma ...
Presentation
Icon

Supporting the Optimized Execution of Business Processes through Recommendations

Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2011-01-01)
In order to be able to flexibly adjust a company’s business processes (BPs) there is an increasing interest in flexible ...
Presentation
Icon

A Planning and Scheduling Perspective for Designing Business Processes from Declarative Specifications

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (SciTePress, 2011-01-01)
Usually, business process models are manually achieved by business analysts and most of current modelling languages are ...
Article
Icon

A job-shop scheduling model of software development planning for constraint-based local search

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (2010-01-01)
Article
Icon

A CSP model for simple non-reversible and parallel repair plans

Valle Sevillano, Carmelo del; Márquez, Antonio; Barba Rodríguez, Irene (Springer, 2010-01-01)
Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly ...
Presentation
Icon

Planning and Scheduling of Business Processes in Run-Time: A Repair Planning Example

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (Springer, 2010-01-01)
Over the last decade, the efficient and flexible management of business processes has become one of the most critical ...
Presentation
Icon

A Constraint-based Model for Multi-objective Repair Planning

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (IEEE Computer Society, 2009-01-01)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
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-01-01)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Presentation
Icon

A Multiobjective Constraint Optimization Model for Multimode Repair Plans

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (SciTePress, 2009-01-01)
This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
Presentation
Icon

A Constraint-based Job-Shop Scheduling Model for Software Development Planning

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009-01-01)
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ...
PhD Thesis
Icon

LORCDB Gestor de bases de datos objeto-relacionales de restricciones

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa (2007-01-01)
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-01-01)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
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-01-01)
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-01-01)
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...
Presentation
Icon

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way

Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005-01-01)
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

A Topological-Based Method for Allocating Sensors by Using CSP Techniques

Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005-01-01)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
Presentation
Icon

Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Cejudo, V.; Barba Rodríguez, Irene (Springer, 2005-01-01)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...
Presentation
Icon

Diagnosing Errors in DbC Programs Using Constraint Programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005-01-01)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
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-01-01)
Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...
Article
Icon

Combining Heuristics in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005-01-01)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
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-01-01)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Presentation
Icon

Interval model-based diagnosis using constraint programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (IEEE Computer Society, 2004-01-01)
Presentation
Icon

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Valle Sevillano, Carmelo del; Márquez, Antonio A.; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 2003-01-01)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Article
Icon

Supervised learning by means of accuracy-aware evolutionary algorithms

Riquelme Santos, José Cristóbal; Aguilar Ruiz, Jesús Salvador; Valle Sevillano, Carmelo del (Elsevier, 2003-01-01)
This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ...
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-01-01)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
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-01-01)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
Presentation
Icon

A Genetic Algorithm for Assembly Sequence Planning

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003-01-01)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002-01-01)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Presentation
Icon

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Ceballos Guerrero, Rafael; Aguilar, Jesús (Springer, 2002-01-01)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
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-01-01)
La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...
Presentation
Icon

Improving the Evolutionary Coding for Machine Learning Tasks

Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Valle Sevillano, Carmelo del (IOS Press, 2002-01-01)
The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of ...
Presentation
Icon

A model for assembly sequence planning in a multirobot environment

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel (Elsevier, 2002-01-01)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
PhD Thesis
Icon

Algoritmos heurísticos para la selección de secuencias óptimas de ensamblaje

Toro Bonilla, Miguel; Camacho, Eduardo F.; Valle Sevillano, Carmelo del (2001-01-01)