Información del autor
Autor Carmona, Josep |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Buchs, Didier, ; Carmona, Josep, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XI, 487 p. 146 ilustraciones, 59 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-76983-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación Algoritmos Estructuras de datos (Informática) TeorÃa de la información Informática Matemáticas discretas IngenierÃa de software Lógica informática y fundamentos de la programación. Diseño y Análisis de Algoritmos Estructuras de datos y teorÃa de la información Matemáticas discretas en informática Clasificación: 40.151 Resumen: Este libro constituye las actas de la 42.ª Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, PETRI NETS 2021, que se celebró virtualmente en junio de 2021. Los 22 artÃculos completos presentados junto con 2 artÃculos principales en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 39 presentaciones. El foco de la conferencia está en los siguientes temas: aplicación de la concurrencia al diseño de sistemas; juegos; verificación; sÃntesis y minerÃa; accesibilidad y orden parcial; semántica; y herramientas. Nota de contenido: Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / [documento electrónico] / Buchs, Didier, ; Carmona, Josep, . - 1 ed. . - [s.l.] : Springer, 2021 . - XI, 487 p. 146 ilustraciones, 59 ilustraciones en color.
ISBN : 978-3-030-76983-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación Algoritmos Estructuras de datos (Informática) TeorÃa de la información Informática Matemáticas discretas IngenierÃa de software Lógica informática y fundamentos de la programación. Diseño y Análisis de Algoritmos Estructuras de datos y teorÃa de la información Matemáticas discretas en informática Clasificación: 40.151 Resumen: Este libro constituye las actas de la 42.ª Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, PETRI NETS 2021, que se celebró virtualmente en junio de 2021. Los 22 artÃculos completos presentados junto con 2 artÃculos principales en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 39 presentaciones. El foco de la conferencia está en los siguientes temas: aplicación de la concurrencia al diseño de sistemas; juegos; verificación; sÃntesis y minerÃa; accesibilidad y orden parcial; semántica; y herramientas. Nota de contenido: Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / Tipo de documento: documento electrónico Autores: Carmona, Josep, ; Engels, Gregor, ; Kumar, Akhil, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXI, 341 p. 115 ilustraciones ISBN/ISSN/DL: 978-3-319-65000-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Sistemas de almacenamiento y recuperación de información. IngenierÃa de software Algoritmos TeorÃa de las máquinas Ciencias de la Computación Informática Matemáticas discretas Almacenamiento y recuperación de información Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Matemáticas discretas en informática Clasificación: 025.04 Resumen: Este libro constituye las actas de la 15ª Conferencia Internacional sobre Gestión de Procesos de Negocio, BPM 2017, celebrada en Barcelona, ​​España, en septiembre de 2017. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de 116 presentaciones iniciales. Los temas seleccionados por los autores demuestran un creciente interés de la comunidad investigadora en el área de la minerÃa de procesos, resonado por una adopción igualmente creciente por parte de diferentes sectores industriales. Los artÃculos están organizados en secciones temáticas sobre modelado de procesos; minerÃa de procesos; temas variados de BPM; decisiones y comprensión; y procesar el conocimiento. . Nota de contenido: Process modeling -- Process mining -- Assorted BPM topics -- Decisions and understanding -- Process knowledge. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017. The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, resonated by an equally fast-growing uptake by different industry sectors. The papers are organized in topical sections on process modeling; process mining; assorted BPM topics; decisions and understanding; and process knowledge. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / [documento electrónico] / Carmona, Josep, ; Engels, Gregor, ; Kumar, Akhil, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXI, 341 p. 115 ilustraciones.
ISBN : 978-3-319-65000-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Sistemas de almacenamiento y recuperación de información. IngenierÃa de software Algoritmos TeorÃa de las máquinas Ciencias de la Computación Informática Matemáticas discretas Almacenamiento y recuperación de información Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Matemáticas discretas en informática Clasificación: 025.04 Resumen: Este libro constituye las actas de la 15ª Conferencia Internacional sobre Gestión de Procesos de Negocio, BPM 2017, celebrada en Barcelona, ​​España, en septiembre de 2017. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de 116 presentaciones iniciales. Los temas seleccionados por los autores demuestran un creciente interés de la comunidad investigadora en el área de la minerÃa de procesos, resonado por una adopción igualmente creciente por parte de diferentes sectores industriales. Los artÃculos están organizados en secciones temáticas sobre modelado de procesos; minerÃa de procesos; temas variados de BPM; decisiones y comprensión; y procesar el conocimiento. . Nota de contenido: Process modeling -- Process mining -- Assorted BPM topics -- Decisions and understanding -- Process knowledge. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017. The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, resonated by an equally fast-growing uptake by different industry sectors. The papers are organized in topical sections on process modeling; process mining; assorted BPM topics; decisions and understanding; and process knowledge. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Business Process Management Forum : BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Carmona, Josep, ; Engels, Gregor, ; Kumar, Akhil, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 193 p. 52 ilustraciones ISBN/ISSN/DL: 978-3-319-65015-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: TecnologÃa de la información Software de la aplicacion Procesamiento de datos Servicios de información empresarial Gestión de Procesos de Negocio Aplicación Informática en Tratamiento de Datos Administrativos Aplicaciones informáticas y de sistemas de información MinerÃa de datos y descubrimiento de conocimientos Sistemas de Información Empresarial Clasificación: 658.4038 Resumen: Este libro constituye las actas del Foro BPM de la Conferencia Internacional sobre Gestión de Procesos de Negocio, BPM 2017, celebrada en Barcelona, ​​España, septiembre de 2017. El Foro BPM alberga investigaciones innovadoras que tienen un alto potencial para estimular debates. Se espera que los artÃculos seleccionados para el foro muestren ideas nuevas de temas interesantes y emergentes en BPM, incluso si aún no están tan maduros como los artÃculos habituales de la conferencia. El volumen contiene 11 artÃculos completos cuidadosamente revisados ​​y seleccionados entre 97 presentaciones. Cada artÃculo fue revisado por un equipo compuesto por un PC senior y cuatro miembros regulares del PC que participan en una fase de discusión después de que se prepararon las revisiones iniciales. Los autores finalmente reciben cuatro informes de revisión y una meta-revisión que resume las revisiones y la discusión. Los artÃculos seleccionados cubren temas relacionados con modelos y métricas de procesos, minerÃa y cumplimiento, y con otras ideas innovadoras como gamificación, dispositivos inteligentes e innovación digital en lo que respecta a BPM. Nota de contenido: Models and Metrics -- Mining and compliance -- BPM Miscellany. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the BPM Forum from the International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, September 2017. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The volume contains 11 full papers carefully reviewed and selected from 97 submissions. Each paper was reviewed by a team comprising of a senior PC and four regular PC members who engage in a discussion phase after the initial reviews were prepared. The authors eventually receive four review reports, and a meta-review that summarizes the reviews and the discussion. The selected papers cover topics related to process models and metrics, mining and compliance, and to other innovative ideas such as gamification, smart devices and digital innovation as far as they pertain to BPM. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Business Process Management Forum : BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings [documento electrónico] / Carmona, Josep, ; Engels, Gregor, ; Kumar, Akhil, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 193 p. 52 ilustraciones.
ISBN : 978-3-319-65015-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: TecnologÃa de la información Software de la aplicacion Procesamiento de datos Servicios de información empresarial Gestión de Procesos de Negocio Aplicación Informática en Tratamiento de Datos Administrativos Aplicaciones informáticas y de sistemas de información MinerÃa de datos y descubrimiento de conocimientos Sistemas de Información Empresarial Clasificación: 658.4038 Resumen: Este libro constituye las actas del Foro BPM de la Conferencia Internacional sobre Gestión de Procesos de Negocio, BPM 2017, celebrada en Barcelona, ​​España, septiembre de 2017. El Foro BPM alberga investigaciones innovadoras que tienen un alto potencial para estimular debates. Se espera que los artÃculos seleccionados para el foro muestren ideas nuevas de temas interesantes y emergentes en BPM, incluso si aún no están tan maduros como los artÃculos habituales de la conferencia. El volumen contiene 11 artÃculos completos cuidadosamente revisados ​​y seleccionados entre 97 presentaciones. Cada artÃculo fue revisado por un equipo compuesto por un PC senior y cuatro miembros regulares del PC que participan en una fase de discusión después de que se prepararon las revisiones iniciales. Los autores finalmente reciben cuatro informes de revisión y una meta-revisión que resume las revisiones y la discusión. Los artÃculos seleccionados cubren temas relacionados con modelos y métricas de procesos, minerÃa y cumplimiento, y con otras ideas innovadoras como gamificación, dispositivos inteligentes e innovación digital en lo que respecta a BPM. Nota de contenido: Models and Metrics -- Mining and compliance -- BPM Miscellany. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the BPM Forum from the International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, September 2017. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The volume contains 11 full papers carefully reviewed and selected from 97 submissions. Each paper was reviewed by a team comprising of a senior PC and four regular PC members who engage in a discussion phase after the initial reviews were prepared. The authors eventually receive four review reports, and a meta-review that summarizes the reviews and the discussion. The selected papers cover topics related to process models and metrics, mining and compliance, and to other innovative ideas such as gamification, smart devices and digital innovation as far as they pertain to BPM. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Conformance Checking : Relating Processes and Models Tipo de documento: documento electrónico Autores: Carmona, Josep, ; van Dongen, Boudewijn, ; Solti, Andreas, ; Weidlich, Matthias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 270 p. 164 ilustraciones, 63 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-99414-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Software de la aplicacion TecnologÃa de la información Procesamiento de datos Investigación cuantitativa Aplicaciones informáticas y de sistemas de información Gestión de Procesos de Negocio MinerÃa de datos y descubrimiento de conocimientos Análisis de datos y Big Data Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro introduce a los lectores en el campo de la verificación de conformidad en su conjunto y describe la relación fundamental entre el comportamiento modelado y registrado. La verificación de conformidad interrelaciona el comportamiento modelado y registrado de un proceso determinado y proporciona técnicas y métodos para comparar y analizar instancias observadas de un proceso en presencia de un modelo, independientemente del origen del modelo. Su objetivo es proporcionar una visión general de las técnicas y métodos esenciales en este campo a un nivel intuitivo, junto con formalizaciones precisas de sus principios subyacentes. El libro se divide en tres partes, que pretenden cubrir diferentes perspectivas del campo de la verificación de conformidad. La Parte I presenta una visión general completa pero accesible de los conceptos esenciales utilizados para interrelacionar el comportamiento modelado y registrado. También sirve como referencia para evaluar cómo se podrÃan aplicar los esfuerzos de verificación de conformidad en dominios especÃficos. A continuación, la Parte II proporciona a los lectores información detallada sobre los algoritmos para la verificación de conformidad, incluidas las nociones formales más utilizadas y su instanciación para preguntas de análisis especÃficas. Por último, la Parte III destaca aplicaciones que ayudan a dar sentido a los resultados de la verificación de conformidad, proporcionando asà el siguiente paso necesario para aumentar el valor de un modelo de proceso determinado. Ayudan a interpretar los resultados de la verificación de conformidad y a incorporarlos mediante técnicas de mejora y reparación. Al proporcionar los componentes básicos de la verificación de conformidad y describir sus principales aplicaciones, este libro se dirige principalmente a estudiantes especializados en gestión de procesos de negocios, investigadores que ingresan a la minerÃa de procesos y verificación de conformidad por primera vez, y profesionales avanzados cuyo trabajo involucra evaluación, modelado y optimización de procesos. Nota de contenido: 1 Introduction to Conformance Checking -- 2 The Basics of Processes and Models -- 3 Quality Dimensions for Relating Processes and Models -- 4 A First Take on Conformance Checking -- 5 Preliminaries to Conformance Checking -- 6 Preparation -- 7 Aligning Event Data and Process Models -- 8 Interpreting Alignments -- 9 Advanced Alignment Techniques -- 10 Understanding Processes -- 11 Improving Processes Using Conformance Checking -- 12 Conformance Checking Software -- 13 Epilogue -- References -- Index. Tipo de medio : Computadora Summary : This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part IIprovides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Conformance Checking : Relating Processes and Models [documento electrónico] / Carmona, Josep, ; van Dongen, Boudewijn, ; Solti, Andreas, ; Weidlich, Matthias, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 270 p. 164 ilustraciones, 63 ilustraciones en color.
ISBN : 978-3-319-99414-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Software de la aplicacion TecnologÃa de la información Procesamiento de datos Investigación cuantitativa Aplicaciones informáticas y de sistemas de información Gestión de Procesos de Negocio MinerÃa de datos y descubrimiento de conocimientos Análisis de datos y Big Data Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este libro introduce a los lectores en el campo de la verificación de conformidad en su conjunto y describe la relación fundamental entre el comportamiento modelado y registrado. La verificación de conformidad interrelaciona el comportamiento modelado y registrado de un proceso determinado y proporciona técnicas y métodos para comparar y analizar instancias observadas de un proceso en presencia de un modelo, independientemente del origen del modelo. Su objetivo es proporcionar una visión general de las técnicas y métodos esenciales en este campo a un nivel intuitivo, junto con formalizaciones precisas de sus principios subyacentes. El libro se divide en tres partes, que pretenden cubrir diferentes perspectivas del campo de la verificación de conformidad. La Parte I presenta una visión general completa pero accesible de los conceptos esenciales utilizados para interrelacionar el comportamiento modelado y registrado. También sirve como referencia para evaluar cómo se podrÃan aplicar los esfuerzos de verificación de conformidad en dominios especÃficos. A continuación, la Parte II proporciona a los lectores información detallada sobre los algoritmos para la verificación de conformidad, incluidas las nociones formales más utilizadas y su instanciación para preguntas de análisis especÃficas. Por último, la Parte III destaca aplicaciones que ayudan a dar sentido a los resultados de la verificación de conformidad, proporcionando asà el siguiente paso necesario para aumentar el valor de un modelo de proceso determinado. Ayudan a interpretar los resultados de la verificación de conformidad y a incorporarlos mediante técnicas de mejora y reparación. Al proporcionar los componentes básicos de la verificación de conformidad y describir sus principales aplicaciones, este libro se dirige principalmente a estudiantes especializados en gestión de procesos de negocios, investigadores que ingresan a la minerÃa de procesos y verificación de conformidad por primera vez, y profesionales avanzados cuyo trabajo involucra evaluación, modelado y optimización de procesos. Nota de contenido: 1 Introduction to Conformance Checking -- 2 The Basics of Processes and Models -- 3 Quality Dimensions for Relating Processes and Models -- 4 A First Take on Conformance Checking -- 5 Preliminaries to Conformance Checking -- 6 Preparation -- 7 Aligning Event Data and Process Models -- 8 Interpreting Alignments -- 9 Advanced Alignment Techniques -- 10 Understanding Processes -- 11 Improving Processes Using Conformance Checking -- 12 Conformance Checking Software -- 13 Epilogue -- References -- Index. Tipo de medio : Computadora Summary : This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part IIprovides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
