Business Process Management [[electronic resource] ] : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIV, 476 p. 180 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems IT in Business |
ISBN | 3-319-23063-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996200366903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIV, 476 p. 180 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems IT in Business |
ISBN | 3-319-23063-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483610803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management Workshops : BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers / / edited by Ernest Teniente, Matthias Weidlich |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 799 p. 227 illus.) |
Disciplina | 658.054 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology - Management
Application software Data mining Business information services Computer Application in Administrative Data Processing Business Process Management Computer and Information Systems Applications Data Mining and Knowledge Discovery Business Information Systems |
ISBN | 3-319-74030-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to the 1st International Workshop on Business Process Innovation with Artificial Intelligence (BPAI 2017) -- What Automated Planning can do for Business Process Management -- Structural Feature Selection for Event Logs -- Towards Intelligent Process Support for Customer Service Desks: Extracting Problem Descriptions from Noisy and Multi-Lingual Texts -- Towards an Entropy-Based Analysis of Log Variability -- Objective Coordination with Business Artifacts and Social Engagements -- Enhancing Workflow-nets with Data for Trace Completion -- Optimal Paths in Business Processes: Framework and Applications -- An Agent-based Model of a Business Process: The Use Case of a Hospital Emergency Department -- Constraint-Based Composition of Business Process Models -- Semantically-Oriented Business Process Visualization for a Data and Constraint-Based Workflow Approach -- Abduction for Generating Synthetic Traces -- Introduction to the 13th International Workshop on Business Process Intelligence (BPI 2017) -- A Framework for Online Conformance Checking -- Recurrent Process Mining with Live Event Data -- Reducing Event Variability in Logs by Clustering of Word Embeddings -- Automatic Root Cause Identification Using Most Probable Alignments -- Improving Process Discovery Results by Filtering Outliers using Conditional Behavioural Probabilities -- Can We Find Better Process Models? Process Model Improvement using Motif-based Graph Adaptation -- Dropout Prediction in MOOCs: A Comparison between Process and Sequence Mining -- Process Mining and the Black Swan: An Empirical Analysis of the Influence of Unobserved Behavior on the Quality of Mined Process Models -- Introduction to the 1st International Workshop on Business Processes Meet Internet-of-Things (BP-Meet-IoT 2017) -- Technology-Enhanced Process Elicitation of Worker Activities in Manufacturing -- Discovering Process Models of Activities of Daily Living from Sensors -- A Habit is a Process: A BPM-based Approach for Smart Spaces -- From BPM to IoT -- Introduction to the BPMS2 Workshop 2017 -- Lightweight Process Support with Spreadsheet-Driven Processes: A Case Study in the Finance Domain -- Using CMMN to Model Social Processes -- Speech Acts in Actual Processes: Evaluation of Interfaces and Triggers in ITIL -- SLA-based Management of Human-based Services in Business Processes for Socio-Technical Systems -- Using Smart Edge Devices to Integrate Consumers into Digitized Processes: The Case of Amazon Dash-Button -- Towards a Solution Space for BPM Issues based on Debiasing Techniques -- A Framework for Improving User Engagement in Social BPM -- A Systematic Literature Review of the Use of Social Media for Business Process Management -- Introduction to the 1st International Workshop on Cognitive Business Process Management (CBPM’17) -- Cognitive Computing: What’s in for Business Process Management? An Exploration of Use Case Ideas -- Cognitive Business Process Management for Adaptive Cyber-Physical Processes -- BPM for the Masses: Empowering Participants of Cognitive Business Processes -- Using Insights from Cognitive Neuroscience to Investigate the Effects of Event-Driven Process Chains on Process Model Comprehension -- Knowledge-intensive Process: A Research Framework -- Introduction to the Workshop on Cross-cutting Aspects of Business Process Management -- Towards a Taxonomy of Human Resource Allocation Criteria -- E-government Services: Comparing Real and Expected User Behavior -- Establishing Transparent Interorganizational Relationships through Shared Goals for Anti-corruption in Brazil -- Towards Guidelines of Modeling for Ecology-aware Process Design -- Sustainability Performance Measurement: A Preliminary Classification Framework of Models and Indicators -- Introduction to the 5th International Workshop on Declarative/Decision/Hybrid Mining & Modeling for Business Processes (DeHMiMoP’17) -- Challenges in Refactoring Processes to Include Decision Modelling -- Data-Centric Extraction of DMN Decision Models from BPMN Process Models -- Discovering Business Rules in Knowledge-intensive Processes Through Decision Mining: An Experimental Study -- Introduction to the First International Workshop on Quality Data for Process Analytics (QD-PA 2017) -- Redo Log Process Mining in Real Life: Data Challenges & Opportunities -- From Relational Database to Event Log: Decisions with Quality Impact -- Design-time Analysis of Data Inaccuracy Awareness at Runtime -- Introduction to the 3rd International Workshop on Interrelations between Requirements Engineering and Business Process Management (REBPM'17) -- An Organizational Routines Perspective on Process Requirements -- Variability Patterns for Analyzing Flexible Processes -- A Pattern-Based Question Checklist for Deriving Requirements from BPMN Models -- Minimal Effort Requirements Engineering for Robotic Process Automation with Test Driven Development and Screen Recording -- Optimization of the Inception Deck Technique for Eliciting Requirements in SCRUM through Business Process Models -- Successful Post Merger Process Harmonization in the Triangle of Methodologies, Capabilities and Acceptance -- A Reflection on the Interrelations between Business Process Management and Requirements Engineering with an Agility Perspective -- Preface to the Workshop on Security and Privacy-enhanced Business Process Management (SPBP’17) -- Personal Data Management: An Abstract Personal Data Lifecycle Model -- Improvement of Security Costs Evaluation Process by Using Data Automatically Captured from BPMN and EPC Models -- Introduction to the Joint International BPM 2017 Workshops on Theory and Application of Visualizations and Human-centric Aspects in Processes (TAProViz’17), Process Querying (PQ’17) and Process Engineering (IWPE’17) -- AO-BPM 2.0: Aspect Oriented Business Process Modeling -- A Visualization of Human Physical Risks in Manufacturing Processes using BPMN -- Visual Analytics for Soundness Verification of Process Models -- An Architecture for Querying Business Process, Business Process Instances, and Business Data Models -- Formal Semantics for Modeling Collaborative Business Processes based on Interaction Protocols -- Design of an Extensible BPMN Process Simulator. |
Record Nr. | UNINA-9910299293903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Conformance Checking : Relating Processes and Models / / by Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich |
Autore | Carmona Josep |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 270 p. 164 illus., 63 illus. in color.) |
Disciplina | 006.312 |
Soggetto topico |
Application software
Management information systems Industrial management Data mining Big data Information Systems Applications (incl. Internet) Business Process Management Data Mining and Knowledge Discovery Big Data/Analytics Computer Appl. in Administrative Data Processing |
ISBN | 3-319-99414-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910299163903321 |
Carmona Josep
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process Mining Workshops [[electronic resource] ] : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (XI, 592 p. 188 illus., 140 illus. in color.) |
Disciplina | 006.312 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Data mining
Information technology—Management Machine learning Medical informatics Data Mining and Knowledge Discovery Business Process Management Machine Learning Computer Application in Administrative Data Processing Health Informatics |
ISBN | 3-031-27815-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996547957303316 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (XI, 592 p. 188 illus., 140 illus. in color.) |
Disciplina | 006.312 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Data mining
Information technology - Management Machine learning Medical informatics Data Mining and Knowledge Discovery Business Process Management Machine Learning Computer Application in Administrative Data Processing Health Informatics |
ISBN | 3-031-27815-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910682537203321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer logic Computer communication systems Computer system failures Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs Computer Communication Networks System Performance and Evaluation Management of Computing and Information Systems |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNISA-996465709903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer science Computer networks Electronic digital computers—Evaluation Electronic data processing—Management Computer and Information Systems Applications Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks System Performance and Evaluation IT Operations |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNINA-9910483617803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|