Data

NameResinas Arias de Reyna, Manuel
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
           

  Statistics

  • Items

    69

  • Visits

    6180

  • Downloads

    10748

  Publications

 

Article
Icon

A Mashup-based Framework for Business Process Compliance Checking

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2020-01-01)
Business process compliance ensures that the business processes of an organisation are designed and executed according to ...
Article
Icon

Measuring Performance in Knowledge Intensive Processes

Estrada Torres, Bedilia; Piccoli Richetti, Pedro Henrique; Río Ortega, Adela del; Araujo Baiao, Fernanda; Resinas Arias de Reyna, Manuel; Santoro, Flavia María; Ruiz Cortés, Antonio (ACM Digital Library, 2019-01-01)
Knowledge-Intensive Processes (KIPs) are processes whose execution is heavily dependent on knowledge workers performing ...
PhD Thesis
Icon

Enhancing the modelling perspective of process performance management.

Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Estrada Torres, Bedilia (2018-11-30)
La Gestión del Rendimiento de los Procesos, que comprende las etapas de planificación, supervisión y control del rendimiento ...
PhD Thesis
Icon

SLA management of non-computational services.

Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Gutiérrez Fernández, Antonio Manuel (2018-07-13)
El incremento en el uso de arquitecturas orientadas a servicios en los últimos 15 años ha propiciado la propuesta de ...
Article
Icon

A template-based approach for responsibility management in executable business processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Taylor and Francis, 2018-01-01)
Process-oriented organisations need to manage the different types of responsibilities their employees may have w.r.t. the ...
Presentation
Icon

On the feasibility of measuring performance using PPINOT in CMMN

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2017-01-01)
Monitoring and measuring the performance of business pro- cesses are valuable tasks that facilitate the identi cation of ...
Article
Icon

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017-01-01)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...
Article
Icon

Run-time prediction of business process indicators using evolutionary decision rules

Márquez Chamorro, Alfonso Eduardo; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2017-01-01)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...
Presentation
Icon

Identifying Variability in Process Performance Indicators

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2016-01-01)
The performance perspective of business processes is concerned with the definition of performance requirements usually ...
Presentation
Icon

Defining PPIs for Process Variants based on Change Patterns

Estrada Torres, Bedilia; Torres, Victoria; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Pelechano, Vicent; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2016-01-01)
Business Process (BP) families are made up of BP variants that share commonalities but also show differences to accommodate ...
Article
Icon

Modeling Service Level Agreements with Linked USDL Agreement

García Rodríguez, José María; Fernández Montes, Pablo; Pedrinaci, Carlos; Resinas Arias de Reyna, Manuel; Cardoso, Jorge; Ruiz Cortés, Antonio (IEEE Computer Society, 2016-01-01)
Nowadays, service trading over the Web is gaining momentum. In this highly dynamic scenario, both providers and consumers ...
Presentation
Icon

RALph: A Graphical Notation for Resource Assignments in Business Processes

Cabanillas Macías, Cristina; Knuplesch, David; Resinas Arias de Reyna, Manuel; Reichert, Manfred; Mendling, Jan; Ruiz Cortés, Antonio (2015-01-01)
The business process (BP) resource perspective deals with the management of human as well as non-human resources throughout ...
Presentation
Icon

Modelling Service Level Agreements for Business Process Outsourcing Services

Río Ortega, Adela del; Gutiérrez, Antonio Manuel; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2015-01-01)
Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ...
Presentation
Icon

Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web

García Rodríguez, José María; Pedrinaci, Carlos; Resinas Arias de Reyna, Manuel; Cardoso, Jorge; Fernández Montes, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2015-01-01)
As the use of services available on the Web is becoming mainstream, contracts and legal aspects of the relationship between ...
Presentation
Icon

Automated team selection and compliance checking in business processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Mendling, Jan; Ruiz Cortés, Antonio (ACM Digital Library, 2015-01-01)
Plenty of activities in many business contexts must be performed collaboratively, e.g., in a hospital or when organising a ...
Article
Icon

Specification and Automated Design-Time Analysis of the Business Process Human Resource Perspective

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Ruiz Cortés, Antonio (Elsevier, 2015-01-01)
The human resource perspective of a business process is concerned with the relation between the activities of a process ...
Presentation
Icon

Towards Process-Aware Cross-Organizational Human Resource Management

Cabanillas Macías, Cristina; Norta, Alex; Resinas Arias de Reyna, Manuel; Mendling, Jan; Ruiz Cortés, Antonio (2014-01-01)
Finding human resources with the required set of skills, experience, and availability to execute an activity at a specific ...
Presentation
Icon

Towards a Formal Specification of SLAs with Compensations

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Presentation
Icon

Towards Compensable SLAs

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Presentation
Icon

Methodology to Extend RAL

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Mendling, Jan (2014-01-01)
Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for ...
Presentation
Icon

KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs

Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Ruiz Cortés, Antonio; Blattner, Dominik; Tasheva, Kristina; Chipev, Bozhan (2014-01-01)
The definition of process-related key performance indicators (KPIs) is a key part of performance measurement and one of ...
Presentation
Icon

Summary of "Priority-Based Human Resource Allocation in Business Processes"

Cabanillas Macías, Cristina; Rodríguez, José María; Resinas Arias de Reyna, Manuel; Ruiz Cortés, David; Mendling, Jan; Ruiz Cortés, Antonio (2014-01-01)
Article
Icon

Using Templates and Linguistic Patterns to Define Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (Taylor & Francis, 2014-01-01)
Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ...
Presentation
Icon

!Agree Studio: a Platform to Edit and Validate Ws-Agreement Documents

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013-01-01)
The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ...
Presentation
Icon

Priority-Based Human Resource Allocation in Business Processes

Cabanillas Macías, Cristina; García Rodríguez, José María; Resinas Arias de Reyna, Manuel; Ruiz Cortés, David; Mendling, Jan; Ruiz Cortés, Antonio (2013-01-01)
In Business Process Management Systems, human resource management typically covers two steps: resource assignment at design ...
Presentation
Icon

PPINOT Tool Suite: a Performance Management Solution for Process-Oriented Organisations

Río Ortega, Adela del; Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2013-01-01)
A key aspect in any process-oriented organisation is the measurement of process performance for the achievement of its ...
Presentation
Icon

Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements

Gutiérrez, Antonio M.; Cassales Marquezan, Clarissa; Resinas Arias de Reyna, Manuel; Metzger, Andreas; Ruiz Cortés, Antonio; Pohl, Klaus (2013-01-01)
Checking whether the agreed service quality attributes are fulfilled or maintained during the service life-cycle is a very ...
Presentation
Icon

Defining and Analysing Resource-Aware Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (2013-01-01)
A key aspect to identify improvement points of the business processes (BP) of an organisation is to conduct performance ...
Article
Icon

On the Definition and Design-Time Analysis of Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (Elsevier, 2013-01-01)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
Article
Icon

Comprehensive Explanation of Sla Violations at Runtime

Müller Cejás, Carlos; Oriol, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Rodríguez, Marc (IEEE, 2013-01-01)
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and ...
Article
Icon

Automated Analysis of Conflicts in WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE, 2013-01-01)
WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels ...
Presentation
Icon

Summary of "On the definition and design-time analysis of Process Performance Indicators"

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (2013-01-01)
Presentation
Icon

Summary of “Automated Resource Assignment in BPMN Models Using RACI Matrices”.

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2013-01-01)
PhD Thesis
Icon

On the definition and analysis of process performance indicators

Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del (2012-09-12)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
Presentation
Icon

Defining Process Performance Indicators By Using Templates and Patterns

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (2012-01-01)
Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ...
Presentation
Icon

RAL Solver: a Tool to Facilitate Resource Management in Business Process Models

Cabanillas Macías, Cristina; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Business process (BP) modelling notations tend to stray their attention from resource management, unlike other aspects ...
Presentation
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between servicebased systems ...
Presentation
Icon

PPINOT: a Tool for the Definition and Analysis of Process Performance Indicators

Río Ortega, Adela del; Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
Presentation
Icon

Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2012-01-01)
Business process compliance tries to ensure the business processes used in an organization are designed and executed ...
Presentation
Icon

Evaluación y seguimiento de trabajos en equipo de desarrollo de software a través de la calidad del código fuente

Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012-01-01)
Presentation
Icon

CRISTAL: Collection of Resource-Centric Supporting Tools and Languages

Cabanillas Macías, Cristina; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
In this demo, we introduce CRISTAL (Collection of ResourcecentrIc Supporting Tools and Languages), a tool suite aimed at ...
Presentation
Icon

Summary of "Defining and Analysing Resource Assignments in Business Processes with RAL"

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...
Presentation
Icon

Automated Resource Assignment in BPMN Models Using RACI Matrices

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2012-01-01)
Organizations need to manage the responsibility of their employees with respect to all the activities that are daily carried ...
Presentation
Icon

Designing Business Processes with History-Aware Resource Assignments

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2012-01-01)
Human resources are actively involved in business process management (BPM), due to their participation in the execution ...
Presentation
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems ...
PhD Thesis
Icon

Enhancing the Management of Resource-Aware Business Processes

Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Cabanillas Macías, Cristina (2012-01-01)
Presentation
Icon

Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Resinas Arias de Reyna, Manuel; Durán Toro, Amador (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2012-01-01)
Cada día crece el número de aplicaciones y servicios basados en la nube ofertados por proveedores tales como Amazon, Google ...
Presentation
Icon

Defining and Analysing Resource Assignments in Business Processes with RAL

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2011-01-01)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...
Presentation
Icon

RAL: a High-Level User-Oriented Resource Assignment Language for Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2011-01-01)
An important task of business process design is the definition of what and how members of an organization are involved in ...
Presentation
Icon

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel (2011-01-01)
The last few years have seen the introduction of several techniques for automatically tackling some aspects of compliance ...
Presentation
Icon

Summary of Defining Process Performance Indicators: an Ontological Approach

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2011-01-01)
Presentation
Icon

Mixing Rasci Matrices and BPMN Together for Responsibility Management

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2011-01-01)
Organizations need to manage the responsibility of the employees with respect to all the activities that are carried out ...
Presentation
Icon

Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas

Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011-01-01)
Presentation
Icon

Automatic Generation of a Data-Centered View of Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Awad, Ahmed (Springer, 2011-01-01)
Most commonly used business process (BP) notations, such as BPMN, focus on defining the control flow of the activities of ...
Presentation
Icon

Defining Process Performance Indicators: an Ontological Approach

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel (2010-01-01)
It is increasingly important to evaluate the performance of business processes. A key instrument to carry out this evaluation ...
Presentation
Icon

Challenges to Support a Ppi Management Lifecycle

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
An important aspect in the business process lifecycle is the evaluation of business processes performance, since it helps ...
Presentation
Icon

On the Identification of Data-Related Compliance Problems in Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
Ensuring the compliance of business processes with regulations is becoming increasingly important to organizations. ...
Presentation
Icon

Hints on How to Face Business Process Compliance

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
Presentation
Icon

ADA: Agreement Documents Analyser

Müller Cejás, Carlos; García-Galán, Jesús; Resinas Arias de Reyna, Manuel (2010-01-01)
Presentation
Icon

A Framework to Analyse WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
Presentation
Icon

Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009-01-01)
A common approach to the process of reaching agreements is the publication of templates that guide parties to create ...
Presentation
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2009-01-01)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
Presentation
Icon

Using Automated Analysis of Temporal-Aware SLAS in Logistics

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009-01-01)
Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the ...
Presentation
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2008-01-01)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
PhD Thesis
Icon

Automating the negotiation of agreements a framework for developing automated negotiation systems

Corchuelo Gil, Rafael; Resinas Arias de Reyna, Manuel (2008-01-01)
Presentation
Icon

Semantic Discovery and Selection: A QoS-Aware, Hybrid Model

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (CSREA Press, 2008-01-01)
Most Semantic Web Services discovery ap- proaches are based on Description Logics, allowing a limited expressiveness when ...
Presentation
Icon

A WS-Agreement Extension for Specifying Temporal Properties in SLAS

Müller Cejás, Carlos; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2007-01-01)
Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ...
Presentation
Icon

Improving Temporal-Awareness of WS-Agreement

Müller Cejás, Carlos; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo (2007-01-01)
WS-Agreement (WS-Ag) is a proposed recommendation of the Open Grid Forum that provides a schema to describe SLAs and a ...
Article
Icon

An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel (Springer Verlag, 2007-01-01)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical ...