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

    71

  • No. visits

    5324

  • No. downloads

    12693


 

Article
IconIcon

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)
This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ...
Presentation
Icon

An Innovative Methodology to Optimize Aerospace Eco-efficiency Assembly Processes

Oliva, Manuel; Mas Mórate, Fernando; Eguía Salinas, Ignacio; Valle Sevillano, Carmelo del; Lourenço, Emanuel J.; Baptista, Antonio J. (Springer, 2020)
Sustainability and eco-efficiency have been researched in multiple scientific papers since the last years. However the ...
Presentation
Icon

Problem Generalization for Designing Recursive Algorithms

Borrego Núñez, Diana; Barba Rodríguez, Irene; Toro Bonilla, Miguel; Valle Sevillano, Carmelo del (Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...
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)
Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. ...
Presentation
Icon

Semantic Model-Driven PLM Data Interoperability: An Application for Aircraft Ground Functional Testing with Eco-Design Criteria

Arena, D.; Oliva, M.; Eguía Salinas, Ignacio; Valle Sevillano, Carmelo del; Kiritsis, D. (Springer, 2019)
The latest developments in Model-Based Systems Engineering (MBSE) and Product Life-Cycle Management (PLM) are playing a ...
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)
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)
For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To ...
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)
There is an increasing interest in aligning information systems in a process-oriented way. As an alternative of 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)
Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) ...
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)
Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The ...
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)
La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento ...
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)
Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes ...
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)
Declarative process models are becoming increasingly popular due to the high flexibility they offer to process participants. ...
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)
Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and ...
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)
Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational ...
PhD Thesis
Icon

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

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

Design Within Complex Environments: Collaborative Engineering in the Aerospace Industry

Mas, Fernando; Menéndez, José Luis; Oliva, Manuel; Servan, Javier; Arista, Rebeca; Valle Sevillano, Carmelo del; Escalona Cuaresma, María José; Aragón, Gustavo; Linger, Henry; Lang, Michael; Barry, Chris; Schneider, Christoph (Springer, 2014)
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 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)
When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing ...
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)
Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, ...
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)
Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. ...
Article
Icon

Automatic generation of optimized business process models from constraint-based specifications

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Weber, Barbara; Jiménez Ramírez, Andrés (World Scientific, 2013)
Business process (BP) models are usually defined manually by business analysts through imperative languages considering ...
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)
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)
Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead ...
Presentation
Icon

Optimized Time Management for Declarative Workflows

Barba Rodríguez, Irene; Lanz, Andreas; Weber, Barbara; Reichert, Manfred; Valle Sevillano, Carmelo del (Springer, 2012)
Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information ...
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)
The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially ...
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)
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

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

Supporting the Optimized Execution of Business Processes through Recommendations

Barba Rodríguez, Irene; Weber, Barbara; Valle Sevillano, Carmelo del (Springer, 2011)
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)
Usually, business process models are manually achieved by business analysts and most of current modelling languages are ...
PhD Thesis
Icon

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

Barba Rodríguez, Irene; Valle Sevillano, Carmelo del (2011)
Un proceso de negocio (business process, BP) se puede definir como un conjunto de actividades que se ejecutan de forma ...
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)
Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly ...
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)
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)
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)
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)
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)
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)
This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ...
Presentation
Icon

Nuevas propuestas sobre evaluación alternativa para las asignaturas de programación en las Ingenierías en Informática

Barba Rodríguez, Irene; Borrego Núñez, Diana; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del (Universidad de Sevilla, 2008)
En este trabajo se expone la experiencia de un equipo docente para la enseñanza de las asignaturas de programación de ...
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

Diagnosis con variables intervalares usando técnicas Max-CSP

Ceballos Guerrero, Rafael; Cejudo, V.; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (Edición Digital @tres, 2005)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ...
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 ...
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)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
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)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
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)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
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)
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 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

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)
Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...
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

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)
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 ...
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 ...
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)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
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)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Presentation
Icon

A scheduling approach to assembly sequence planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F.; Martínez Gasca, Rafael (IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
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)
This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ...
Presentation
Icon

Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Aguilar, J. (Edición Digital @tres, 2002)
Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas ...
Presentation
Icon

Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...
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)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
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)
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)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

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

Arquitectura de un crawler para extraer las estructuras y contenidos de recursos electrónicos

Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002)
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 ...
PhD Thesis
Icon

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

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

Automatic assembly task assignment for a multirobot environment

Valle Sevillano, Carmelo del; Camacho, Eduardo F. (Elsevier, 1996)
This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The ...