Description |
1 online resource (xxiv, 476 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 9253 |
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI |
|
Lecture notes in computer science ; 9253. 0302-9743
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
|
Contents |
Intro; Preface; Organization; Keynotes; From Models to Data and Back: The Journeyof the BPM Discipline and the Tangled Roadto BPM 2020; NoBPM: Supporting Interaction-OrientedAutomation via Normative Specificationsof Processes; Adaptability, Architecture and CX:The Bizagi Way; Contents; Runtime Process Management; Improving Business Processes: Does Anybody have an Idea?; 1 Introduction; 2 Background; 3 Hypotheses; 4 Research Method; 5 Results; 5.1 Results Hypotheses Testing; 5.2 Results Follow-Up Analysis; 6 Discussion; 7 Related Work; 8 Conclusion; References |
|
Inspection Coming Due! How to Determine the Service Interval of Your Processes!1 Introduction; 2 Theoretical Background; 2.1 Business Process Monitoring and Controlling; 2.2 Process Performance Management and Value-Based BPM; 2.3 Predicting Process Performance Using Stochastic Processes; 3 The Critical Process Instance Method; 3.1 General Setting; 3.2 The Role of Variation and Deviance; 3.3 Determining the Critical Process Instance; 3.4 Integration into the BPM Lifecycle; 4 Demonstration Example; 5 Discussion; 6 Conclusion; References; Data-Driven Performance Analysis of Scheduled Processes |
|
1 Introduction2 Approach Overview; 3 Models; 4 Discovery of Queue-Enabling CSPN Models; 5 Folding and Projection of QCSPN into Queueing Networks; 5.1 Folding of QCSPN; 5.2 Projection of QCSPN into Queueing Networks.; 6 Evaluation; 7 Related Work; 8 Conclusion; References; Process Modeling; Specification and Verification of Complex Business Processes -- A High-Level Petri Net-Based Approach; 1 Introduction; 2 Related Work; 3 Background; 3.1 BPMN Overview; 3.2 RECATNet Overview; 4 RECATNet Based Model Verification for Business Processes; 5 Mapping BPMN into RECATNets |
|
5.1 Mapping Events and Gateways5.2 Mapping Activities; 5.3 Exception Handling; 5.4 Cancellation Activity; 6 Case Studies; 6.1 Travel Request Process; 6.2 Intelligence Test Process (Cancel Multiple Instance Activity); 7 Formal Semantics of the Mapping BPMN into RECATNet; 8 Conclusion and Future Work; References; Concurrency and Asynchrony in Declarative Workflows; 1 Introduction; 2 Concurrency and Declarative Workflows; 2.1 A Mortgage Credit Application Workflow; 2.2 A DCR Formalisation; 2.3 Concurrency in the Example Workflow; 3 DCR Graphs; 4 Asynchronous Transition Systems and DCR Graphs |
|
5 A Process Engine for Distributed Declarative Workflows6 Conclusion; 6.1 Discussion and Future Work; References; Detecting Inconsistencies Between Process Models and Textual Descriptions; 1 Introduction; 2 Problem Illustration; 3 Related Work; 4 Approach; 4.1 Overview; 4.2 Linguistic Analysis; 4.3 Computation of Similarity Scores; 4.4 Optimal Correspondence Relation; 4.5 Inconsistency Assessment; 5 Evaluation; 5.1 Test Collection; 5.2 Setup; 5.3 Results; 5.4 Discussion; 6 Conclusions; References; Process Model Discovery I; Mining Invisible Tasks in Non-free-choice Constructs; 1 Introduction |
Summary |
This book constitutes the proceedings of the 13th International Conference on Business Process Management, BPM 2015, held in Innsbruck, Austria, in August/September 2015. The 21 regular papers, 7 short papers and 2 inductrial papers included in this volume were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on runtime process management, process modeling, process modeling discovery, business process models and analytics, BPM in industry, process compliance and deviations, energing and practical areas of BPM, and process monitoring |
Analysis |
computerwetenschappen |
|
computer sciences |
|
man-machine interaction |
|
computers |
|
gebruikersinterfaces |
|
user interfaces |
|
informatiesystemen |
|
information systems |
|
internet |
|
informatieontsluiting |
|
information retrieval |
|
informatieopslag |
|
information storage |
|
samenleving |
|
society |
|
informatietechnologie |
|
information technology |
|
bedrijven |
|
businesses |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed August 20, 2015) |
Subject |
Business -- Data processing -- Management -- Congresses
|
|
Workflow -- Management -- Congresses
|
|
Management information systems -- Congresses
|
|
Business -- Data processing -- Management
|
|
Management information systems
|
|
Workflow -- Management
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Motahari-Nezhad, Hamid R., editor
|
|
Recker, Jan, editor
|
|
Weidlich, Matthias, editor
|
ISBN |
9783319230634 |
|
3319230638 |
|
331923062X |
|
9783319230627 |
|