Información del autor
Autor Carmona, Josep |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / Carmona, Josep ; Engels, Gregor ; Kumar, Akhil
TÃtulo : 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. 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: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
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: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 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. 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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
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: 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. 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. 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: 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. 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.
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: 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. 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. 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. 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.
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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
