This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ...

Sustainability and eco-efficiency have been researched in multiple scientific papers since the last years. However the ...

This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...

Process automation typically begins with the observation of humans conducting the tasks that will be eventually automated. ...

The latest developments in Model-Based Systems Engineering (MBSE) and Product Life-Cycle Management (PLM) are playing a ...

The robotic automation of processes is of much interest to organizations. A common use case is to automate the repetitive ...

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To ...

There is an increasing interest in aligning information systems in a process-oriented way. As an alternative of the ...

Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) ...

Process-aware information systems (PAISs) are increasingly used to provide flexible support for business processes. The ...

La generación de predicciones sobre instancias de procesos de negocio permite anticipar problemas, evitar el incumplimiento ...

Competition in the aerospace manufacturing companies has led them to continuously improve the efficiency of their processes ...

Declarative process models are becoming increasingly popular due to the high flexibility they offer to process participants. ...

Clinical processes can be described, inside the Biomedical scope, like a systematic guideline to assist practitioner and ...

Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational ...

La calidad de los modelos de los procesos de negocio (es decir, artefactos software que capturan las relaciones entre las ...

The design and the industrialization of an aircraft, a major component, or an aerostructure is a complex process. An ...

When designing an imperative business process (BP) model, analysts have to face many design requirements (e.g., managing ...

Managing large collections of business process (BP) models is increasingly being necessary for organizations. For this, ...

Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. ...

Business process (BP) models are usually defined manually by business analysts through imperative languages considering ...

In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible ...

Declarative business process (BP) models are increasingly used allowing their users to specify what has to be done instead ...

Declarative process models are increasingly used since they fit better with the nature of flexible process-aware information ...

The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially ...

Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to ...

Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...

In order to be able to flexibly adjust a company’s business processes (BPs) there is an increasing interest in flexible ...

Usually, business process models are manually achieved by business analysts and most of current modelling languages are ...

Un proceso de negocio (business process, BP) se puede definir como un conjunto de actividades que se ejecutan de forma ...

Thiswork presents a constraint satisfaction problem (CSP) model for the planning and scheduling of disassembly and assembly ...

Over the last decade, the efficient and flexible management of business processes has become one of the most critical ...

This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...

Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...

This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...

This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The ...

En este trabajo se expone la experiencia de un equipo docente para la enseñanza de las asignaturas de programación de ...

Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...

In model-based diagnosis, minimal hitting sets are usually used to identify which components may fail in a system. This ...

Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ...

This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. ...

En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ...

Many papers related to Constraint Databases (CDBs) theories exist, including proposals that present frameworks for the ...

Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...

Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...

Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...

Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...

Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...

Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be ...

Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ...

Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...

En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...

Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...

This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...

This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...

This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ...

Este trabajo presenta un modelo CSP (Problema de Satisfacción de Restricciones) para el secuenciamiento óptimo de tareas ...

En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...

This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...

The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of ...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...

In software development is essential to have tools for the software diagnosis to help the programmers and development ...

La aplicación de métodos de diagnosis basada en modelos permite obtener los posibles componentes involucrados en el ...

This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The ...