Aalst / Mylopoulos / Szyperski Business Process Management Workshops

BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008, Revised Papers
1. Auflage 2009
ISBN: 978-3-642-00328-8
Verlag: Springer
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 725 Seiten

This book constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Milan, Italy, in conjunction with the 6th International Conference on Business Process Management, BPM 2008, in September 2008. The 63 revised full papers presented were carefully reviewed and selected from numerous submissions. In addition to the well-established workshops on Business Process Design (BPD 2008), Business Process Intelligence (BPI 2008), Collaborative Business Processes (CBP 2008), Process-Oriented Information Systems in Healthcare (ProHealth 2008), and Advances in Semantics for Web Services (semantics4ws 2008), there were four new 4 workshops on emerging areas: Business Process Management and Social Software (BPMS2 2008), Model-Driven Engineering for Business Process Management (MDE4BPM 2008), Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008), and QoS of Self-Healing Web Services (QSWS 2008).

Autoren/Hrsg.

Aalst, Will

Mylopoulos, John

Szyperski, Clemens

Ardagna, Danilo

Ma,

Inhaltsverzeichnis

1;Preface;5
2;Organization;7
3;Table of Contents;10
4;BPD Workshop;16
4.1;Introduction to the Fourth Workshop on Business Process Design (BPD 2008);17
4.2;Detecting Regulatory Compliance for Business Process Models through Semantic Annotations;19
4.2.1;Background and Motivation;19
4.2.2;Preliminaries;21
4.2.2.1;Modeling Control Objectives;22
4.2.2.2;Annotated Process Model;24
4.2.2.3;Logical State Representation;24
4.2.3;Compliance Checking;25
4.2.4;Related Work and Conclusions;29
4.2.5;References;30
4.3;Crosscutting Concern Documentation by Visual Query of Business Processes;32
4.3.1;Introduction;32
4.3.2;BPMN Visual Query Language;34
4.3.3;Using BPMN VQL for Crosscutting Concern Mining and Documentation;40
4.3.3.1;Crosscutting Concern Mining and Documentation;40
4.3.3.2;Crosscutting Concern Evolution;43
4.3.4;Conclusions and Future Work;44
4.3.5;References;44
4.4;Real Support for Perspective-Compliant Business Process Design;46
4.4.1;Introduction;46
4.4.2;Process Models from Different User Perspectives;48
4.4.3;Perspective-Based Extension of the Recommendation-Based Modeling Support System;49
4.4.3.1;Recommendation-Based Modeling Support System;49
4.4.3.2;Perspective-Based Extensions;50
4.4.4;Process Configuration;53
4.4.5;Related Work;54
4.4.6;Discussion;55
4.4.7;References;56
4.5;Elicitation of Requirements for a Business Process Model Repository;58
4.5.1;Introduction;58
4.5.2;Use Cases for a Process Model Repository;59
4.5.3;Survey of Repositories;60
4.5.4;Evaluation Criteria;61
4.5.5;Evaluation of Repositories;64
4.5.6;Requirements;66
4.5.6.1;Requirements for Models in the Repository;66
4.5.6.2;Requirements for the Repository;66
4.5.7;Conclusion and Directions for Further Research;67
4.5.8;References;67
4.6;Issues in Modeling Process Variants with Provop;70
4.6.1;Introduction;70
4.6.2;Challenges and Requirements;71
4.6.3;The Provop Approach;73
4.6.4;Designing a Base Process;75
4.6.5;Designing and Modeling Options;78
4.6.6;Related Work;80
4.6.7;Summary and Outlook;80
4.6.8;References;81
4.7;On the Alignment of Business Models and Process Models;82
4.7.1;Introduction;82
4.7.2;Background;83
4.7.2.1;The $e^{3}value$ Model;83
4.7.2.2;Business Process Model;84
4.7.2.3;Process Patterns;85
4.7.3;Activity Dependency Model (ADM);86
4.7.3.1;Notation for an Activity Dependency Model;86
4.7.3.2;Analysis of Value Object and Value Transfer;88
4.7.4;Transformation Rules;89
4.7.4.1;Transforming the $e^{3}value$ Model to an Activity Dependency Model (ADM);89
4.7.4.2;Transforming an Activity Dependency Model into a Process Model;89
4.7.4.3;Process Patterns;92
4.7.5;References;93
4.8;Dimensions of Business Processes Quality (QoBP);94
4.8.1;Introduction;94
4.8.2;PRCAinaNutshell;95
4.8.2.1;PRCA Metamodel;95
4.8.2.2;PRCA Process;97
4.8.3;Quality Dimensions of Business Processes;97
4.8.3.1;Function Quality;98
4.8.3.2;Input and Output Quality;99
4.8.3.3;Non-human Resource Quality;99
4.8.3.4;Human Resource Quality;100
4.8.4;Case Study in the Financial Industry;100
4.8.5;Conclusion;104
4.8.6;References;104
5;BPI Workshop;106
5.1;Introduction to the Fourth InternationalWorkshop on Business Process Intelligence (BPI 2008);107
5.2;Bayesian Classification of Events for Task Labeling Using Workflow Models;109
5.2.1;Introduction;109
5.2.2;Background;111
5.2.2.1;Workflow Mining;111
5.2.2.2;Bayesian Classification;112
5.2.3;Belief States in Workflow Models;112
5.2.3.1;Iterative Workflow Mining;112
5.2.3.2;The Refining Process;113
5.2.3.3;Belief States;113
5.2.4;Bayesian Updates in Classification;114
5.2.4.1;Problem Setup;114
5.2.4.2;Task Labeling as Evidence;114
5.2.4.3;Probability Distribution over Task Labelings as Evidence;115
5.2.5;Results;117
5.2.6;Conclusions and Related Work;119
5.2.7;Future Work;119
5.2.8;References;120
5.3;Trace Clustering in Process Mining;121
5.3.1;Introduction;121
5.3.2;Running Example;122
5.3.3;TraceProfiles;124
5.3.3.1;Information in Event Logs;125
5.3.3.2;Profiles;125
5.3.4;Clustering Methods;126
5.3.4.1;Distance Measures;127
5.3.4.2;Clustering Algorithm;127
5.3.5;Case Study;128
5.3.6;Related Work;130
5.3.7;Conclusion;131
5.3.8;References;132
5.4;Mining Based on Learning from Process Change Logs;133
5.4.1;Introduction;133
5.4.2;Backgrounds;135
5.4.3;On Representing Process Changes;136
5.4.3.1;Why Do We Need a Change Log?;136
5.4.3.2;High-Level Change Operations vs. Change Primitives;137
5.4.3.3;How Do High-Level Changes Influence Process Behavior?;138
5.4.4;Mining Process Variants: Goals and Comparison with Process Mining;139
5.4.5;Example and Evaluation;141
5.4.6;Related Work;143
5.4.7;Summary and Outlook;144
5.4.8;References;144
5.5;Checking Compliance of Execution Traces to Business Rules;146
5.5.1;Introduction;146
5.5.2;An Industrial Case Study;147
5.5.2.1;Compliance Checking and Decision Making Support: Think3 Requirements;148
5.5.3;CLIMB Business Rules;149
5.5.3.1;A Methodology for Building Rules;150
5.5.3.2;Specification of Conditions;150
5.5.3.3;Rule Templates;151
5.5.3.4;From Templates to Customized Business Rules;152
5.5.3.5;Compliance Verification with Logic-Programming;153
5.5.4;SCIFFChecker: Compliance Checking in ProM;153
5.5.5;Related Work;155
5.5.6;Conclusions and Future Work;156
5.5.7;References;157
5.6;Detecting Intrinsic Inefficiency on Process Level: Benchmarking of Transactions in Banking;158
5.6.1;Introduction;158
5.6.2;Related Work;159
5.6.3;Benchmarking of Transactions – Introduction and Methodology;160
5.6.4;Case Study – Description and Data;161
5.6.5;Results;163
5.6.6;Conclusions and Aspects for Discussion;166
5.6.7;References;167
5.7;Abductive Workflow Mining;170
5.7.1;Introduction;170
5.7.2;Abductive Reasoning;171
5.7.3;Abductive Workflow;172
5.7.4;Testing and Results;174
5.7.5;Conclusions and Future Work;175
5.7.6;References;175
5.8;New Quality Metrics for Evaluating Process Models;176
5.8.1;Introduction;176
5.8.2;Preliminaries;176
5.8.3;An Approach for Process Model Quality Metrics;178
5.8.3.1;Assigning Optional and Self-loop Structures;178
5.8.3.2;Model Equivalence;178
5.8.3.3;Badness Score;179
5.8.3.4;Examples Models and Badness Scores;179
5.8.3.5;Quality Metrics;180
5.8.4;Conclusions and Future Work;181
5.8.5;References;181
6;MDE4BPM Workshop;183
6.1;Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008);184
6.1.1;Introduction;184
6.1.2;Program Overview;185
6.1.3;MDE4BPM Program Committee;186
6.2;Business to IT Transformations Revisited;187
6.2.1;Introduction;187
6.2.2;Literature Review;188
6.2.2.1;Requirements of Business to IT Transformations;188
6.2.2.2;Approaches;190
6.2.2.3;Evaluation;192
6.2.3;Business to IT Transformation Framework;194
6.2.3.1;Axiom;194
6.2.3.2;Axiom’s Consequences and Requirements from the Field;195
6.2.3.3;Framework;195
6.2.4;Summary;196
6.2.5;References;196
6.3;A Model-Driven Approach to Implementing Coordination Protocols in BPEL;199
6.3.1;Introduction;199
6.3.2;Background;200
6.3.3;Modeling Coordination Protocols;201
6.3.4;Model-Driven Implementation Approach;204
6.3.5;Generating BPEL Process Models;205
6.3.6;Related Work;208
6.3.7;Conclusions and Future Work;209
6.3.8;References;210
6.4;Towards Transformations from BPMN to Heterogeneous Systems;211
6.4.1;Introduction;211
6.4.2;The Visual Service Design Tool;212
6.4.2.1;The Metamodel;212
6.4.2.2;The BPMN Editor;213
6.4.3;The Transformation Framework;215
6.4.3.1;Stages of the Transformation;215
6.4.3.2;Transformation to BPEL;218
6.4.3.3;Example;218
6.4.3.4;Transformation to JIAC;219
6.4.4;Related Work;219
6.4.5;Conclusion;220
6.4.5.1;Future Work;221
6.4.6;References;221
6.5;Business Process Modelling with Continuous Validation;223
6.5.1;Introduction;223
6.5.2;Basic Concepts and Definitions;224
6.5.2.1;Event-Driven Process Chains;224
6.5.2.2;Control Flow Errors;225
6.5.3;Existing Verification Methods;225
6.5.4;Immediate Validation Feedback in Business Process Modelling;227
6.5.4.1;Validation Approach;227
6.5.4.2;Implementation Strategy;228
6.5.5;Examples;229
6.5.5.1;Syntax Errors;229
6.5.5.2;Connector Mismatch;229
6.5.5.3;Synchronisation Problem in AND-Join;231
6.5.5.4;Company-Wide Style Rules;231
6.5.6;Validation;232
6.5.7;Conclusions and Directions for Future Work;233
6.5.8;References;233
6.6;On the Formal Generation of Process Redesigns;235
6.6.1;Introduction;235
6.6.2;Process Definition;237
6.6.2.1;Process Characteristics;237
6.6.2.2;Process Properties;238
6.6.3;Selection, Transformation, and Replacement;239
6.6.3.1;Selection;239
6.6.3.2;Transformation;240
6.6.3.3;Replacement;241
6.6.4;Other Transformations;243
6.6.5;Conclusion and Outlook;244
6.6.6;References;245
6.7;Translating BPMN Models into UML Activities;247
6.7.1;Introduction;247
6.7.2;Selected Approaches to Business Process Modeling;249
6.7.3;A Conceptual Mapping from BPMN to UML Activities;249
6.7.3.1;One-to-One Mappings;250
6.7.3.2;Mapping $Rich$ BPMN Elements;251
6.7.3.3;Mapping $Overloaded$ BPMN Elements;251
6.7.4;Automating the Mapping Using ATL;252
6.7.4.1;One-to-One Mappings;253
6.7.4.2;Single Source to Composed Target;253
6.7.4.3;Single Source, Different Contextual Interpretations;254
6.7.5;Related Work;255
6.7.6;Future Work;256
6.7.7;Conclusions;257
6.7.8;References;257
7;PM4HDPS Workshop;259
7.1;Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008);260
7.2;Towards Process Models for Disaster Response;263
7.2.1;Introduction;263
7.2.2;Requirements for Acting During Disaster Response;264
7.2.2.1;A Requirement Analysis for Disaster Response;264
7.2.2.2;Specific Requirements from a Concrete Case-study;265
7.2.3;Oclets – A Formal Model for Adaptive Processes;266
7.2.3.1;Scenario-Based Specifications;266
7.2.3.2;Oclets – Adopting Scenarios to Petri Nets;266
7.2.3.3;Constructing Partially-Ordered Runs from Scenarios;267
7.2.4;Using Oclets to Realize Adaptive Processes;271
7.2.5;Conclusion;272
7.2.6;References;273
7.3;Workflows in Dynamic Development Processes;275
7.3.1;Introduction;275
7.3.2;Dynamic Task Nets and Conventional Workflows;276
7.3.2.1;DYNAMITE;276
7.3.2.2;Comparison with Workflow Meta-models;278
7.3.3;Integrating Static and Dynamic Process Parts;280
7.3.4;Related Work;283
7.3.5;Conclusion;285
7.3.6;References;285
7.4;Hypergraph-Based Modeling of Ad-Hoc Business Processes;287
7.4.1;Introduction;287
7.4.2;Motivation;288
7.4.3;FlexibleProcessGraph;290
7.4.3.1;Hypergraph Preliminaries;291
7.4.3.2;Formalism;291
7.4.3.3;Execution Semantics;292
7.4.3.4;Graphical Representation;294
7.4.4;Flexible Process Graph Example;294
7.4.5;Related Work;295
7.4.6;Conclusions;296
7.4.7;References;297
7.5;Domain-Driven Process Adaptation in Emergency Scenarios;299
7.5.1;Introduction;299
7.5.2;Emergency Scenario Requirements;300
7.5.3;Process Model Configuration for Emergency Scenarios;301
7.5.4;Configurable Process Models;301
7.5.5;Questionnaire-Based Process Configuration;302
7.5.6;Conclusions;306
7.5.7;References;306
7.6;Supporting Emergency Management through Process-Aware Information Systems;307
7.6.1;Introduction;307
7.6.2;Relevant Fields for the Application of Computer-Aided Tools;308
7.6.2.1;Medical Emergencies;308
7.6.2.2;Fire Alarms;308
7.6.2.3;Emission of Harmful Chemicals;311
7.6.3;Final Remarks;311
8;ProHealth Workshop;312
8.1;Introduction to the Second International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2008);313
8.1.1;Workshop Background and Goals;313
8.1.2;Paper Selection Process;314
8.1.3;Workshop Summary;314
8.2;Process Mining in Healthcare: A Contribution to Change the Culture of Blame;316
8.2.1;Introduction;316
8.2.2;Medical Errors and Need for Documentation;317
8.2.3;Discovering What Is Wrong in a Process;317
8.2.3.1;Supervised Process Mining;318
8.2.3.2;Unsupervised Process Mining;318
8.2.4;Conclusion;319
8.2.5;References;319
8.3;A Concept for the Assessment of Electronic Communication in Integrated Information Systems;320
8.3.1;Introduction;320
8.3.2;Methods;322
8.3.2.1;Collection of Communication Problems and Their Prerequisites;322
8.3.2.2;Validation of Communication Problems and Their Prerequisites;323
8.3.2.3;Deduction of the Requirements for the Modeling Notation and Model Assessment;323
8.3.3;Results: A Concept for the Detection of Communication Errors;324
8.3.3.1;Categorization of Communication Problems;324
8.3.3.2;Concept for the Description and Assessment of Communication Processes;326
8.3.4;Discussion;327
8.3.4.1;Overview of the Established Process Modeling Methods;328
8.3.4.2;Strengths and Open Issues of the New Concept;329
8.3.5;Conclusion;330
8.3.6;References;330
8.4;Management of Knowledge-Intensive Healthcare Processes on the Example of General Medical Documentation;332
8.4.1;Introduction;332
8.4.1.1;Motivation;332
8.4.1.2;Overview of the Contents;333
8.4.2;Background and Related Work;333
8.4.2.1;Knowledge in Healthcare;333
8.4.2.2;Formalization of Medical Knowledge;334
8.4.2.3;Models of Clinical Practice;334
8.4.2.4;Modeling Languages for Knowledge-Intensive Business Processes;335
8.4.3;Modeling Knowledge-Intensive Healthcare Processes;336
8.4.3.1;Process View of Clinical Treatment;336
8.4.3.2;Activity View of Clinical Documentation;337
8.4.4;Deriving Requirements and Potentials for Supporting IT;338
8.4.5;Example: Knowledge-Based Clinical Documentation;339
8.4.5.1;Specifications of a Knowledge-Oriented Documentation System;339
8.4.5.2;Electronic Patient Record Based on Medrapid;339
8.4.6;Conclusions and Future Work;341
8.4.7;References;342
8.5;From Paper Based Clinical Practice Guidelines to Declarative Workflow Management;344
8.5.1;Introduction;344
8.5.2;Field Study – Usage of CPGs in Danish Oncology Clinics;345
8.5.2.1;Method;345
8.5.2.2;Overall Treatment Processes and Guidance Documents;345
8.5.2.3;Current Workflow for Chemotherapy Treatment Sessions;346
8.5.2.4;Preliminary Conclusion to the Case Study;347
8.5.3;Treatment Workflow in Resultmaker Online Consultant;349
8.5.4;Discussion;352
8.5.5;Conclusion and Future Work;353
8.5.6;References;354
8.6;Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages;356
8.6.1;Introduction;356
8.6.2;Mapping PRO$forma$ to the Petri Net Formalism;357
8.6.2.1;PRO$forma$;357
8.6.2.2;Mapping PRO$forma$ Tasks to Coloured Petri Nets;360
8.6.3;Analysis of the Expressiveness of a Process-Based Language by Workflow Patterns;363
8.6.4;Conclusions;367
8.6.5;References;367
8.7;Flexibility Schemes for Workflow Management Systems;369
8.7.1;Introduction;369
8.7.2;Case of Gynecological Oncology;371
8.7.3;Realization of the System in Different Workflow Systems;373
8.7.3.1;YAWL / Worklets;373
8.7.3.2;Realization in Other Workflow Systems;374
8.7.4;Evaluation;376
8.7.5;Related Work;378
8.7.6;Conclusions;379
8.7.7;References;379
8.8;Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study;381
8.8.1;Introduction;381
8.8.2;Ontology Integration and Dealing with Inconsistencies;383
8.8.3;Design and Implementation;384
8.8.4;Result of Merging ICNP and Snomed CT;389
8.8.5;Conclusion and Future Work;391
8.8.6;References;392
8.9;Promoting Process-Based Collaboration Awareness to Integrate Care Teams;393
8.9.1;Motivation;393
8.9.2;Integrated Care Pathways and the CASMAS Model;395
8.9.3;The CASMAS Model;397
8.9.4;CASMASatWork;398
8.9.4.1;The Features Supporting Information Flow;400
8.9.4.2;Awareness Propagation and Perception;401
8.9.5;Conclusion;403
8.9.6;References;403
8.10;Session-Aware Clinical Information Systems;405
8.10.1;Introduction: Supporting the Multitasking Clinician;405
8.10.2;A Detailed Scenario;407
8.10.3;Related Work;409
8.10.3.1;Networking and Telecommunication;409
8.10.3.2;Pervasive Computing, CSCW and Context-Awareness;410
8.10.3.3;Decision Support;410
8.10.3.4;Guideline Models;410
8.10.4;Towards Attributes of Session-Aware Systems;411
8.10.5;Discussion;413
8.10.6;Future Work;413
8.10.7;References;414
8.11;Integrating Humans, Devices, and Events in Clinical Workflow Processes;416
8.11.1;Motivation;416
8.11.2;Case Study;417
8.11.2.1;Characteristic Process Features;418
8.11.3;Selected Technologies;419
8.11.4;Integration of Events, Devices and Information Systems;420
8.11.5;Conclusions and Future Work;422
8.11.6;References;422
9;QSWS Workshop;424
9.1;Introduction to the First Workshop on QoS in Self-healing Web Services (QSWS 2008);425
9.2;On Modeling and Maximizing Business Value for ]Autonomic Service-Oriented Systems;428
9.2.1;Introduction;428
9.2.2;Related Work;430
9.2.3;Some Challenges in Business Value Modeling and Maximization;432
9.2.4;Our Solutions in WS-Policy4MASC and the MASC Middleware;435
9.2.5;Conclusion;439
9.2.6;References;439
9.3;On Combining WS-Policy4MASC and ASF to Support Business-Driven Autonomic Service-Oriented Computing;440
9.3.1;Introduction;440
9.3.2;WS-Policy4MASC;441
9.3.3;Adaptive Server Framework (ASF);442
9.3.4;Benefits and Challenges of Adding WS-Policy4MASC to ASF;443
9.3.5;References;445
9.4;Self-healing Systems and Web Services: The WS-Diamond Approach;446
9.4.1;References;448
9.5;Probabilistic Time Management of Choreographies;449
9.5.1;Introduction;449
9.5.2;Choreographies and Orchestrations;450
9.5.3;Probabilistic Timed Graph;450
9.5.3.1;Time Histograms and Histogram Operations;451
9.5.3.2;Explicit and Implicit Information;451
9.5.3.3;Calculating the Probabilistic Timed Graph;452
9.5.4;Temporal Conformance;453
9.5.4.1;The Proposed Approach;453
9.5.4.2;Methods;454
9.5.4.3;The Temporal Conformance Checking Algorithm;456
9.5.4.4;Proof of Termination;459
9.5.5;Conclusions;459
9.5.6;References;460
9.6;Reasoning about Repairability of Workflows at Design Time;461
9.6.1;Introduction;461
9.6.2;Preliminaries;463
9.6.2.1;Workflow Model;463
9.6.2.2;Workflow Execution Model;464
9.6.3;Repairability of Workflows;464
9.6.4;Heuristic-Based Repairability Analysis;465
9.6.4.1;A Heuristic for Reasoning about Repairability;466
9.6.4.2;Repairability Factors;466
9.6.5;Repairability Reasoning Algorithm;467
9.6.5.1;Computing Goal-Dependent Activities;468
9.6.5.2;Checking the Repairability of Activities;468
9.6.5.3;Evaluate Impact of Non-repairable Activities;470
9.6.5.4;An Example;471
9.6.6;Validation;471
9.6.7;Conclusion;472
9.6.8;References;473
9.7;Enhancing Web Service Composition by Means of Diagnosis;474
9.7.1;Introduction;474
9.7.2;Motivating Example;475
9.7.3;Diagnostic Approach and Architecture;476
9.7.4;Modeling Web Services for Diagnosis;479
9.7.5;Exception Handling;481
9.7.6;Related Work;484
9.7.7;Conclusions;484
9.7.8;References;485
10;semantics4ws Workshop;486
10.1;Introduction to the Third Edition of the Workshop Advances in Semantics for Web Services 2008 (semantics4ws 2008);487
10.2;Semantically Annotated EPC within Semantic Business Process Management;490
10.2.1;Introduction;490
10.2.2;Semantic Business Process Management;492
10.2.3;sEPC Ontology;493
10.2.3.1;Domain Coverage;494
10.2.3.2;Key Modelling Decisions;495
10.2.3.3;Competency Questions;496
10.2.4;Application of sEPC;497
10.2.5;Summary;500
10.2.6;References;500
10.3;ARIS for Semantic Business Process Management;502
10.3.1;Introduction and Related Work;502
10.3.1.1;Business Process Management;502
10.3.1.2;Semantic Business Process Management;503
10.3.2;Related Work;503
10.3.3;Solution;504
10.3.3.1;Overall Approach;504
10.3.3.2;Semantic Process Modelling with ARIS;504
10.3.3.3;Selecting a WSMO Goal in ARIS;505
10.3.3.4;Completing the Data Flow;507
10.3.3.5;Semantic Business Process Execution;507
10.3.4;Evaluation;508
10.3.5;Results and Discussion;509
10.3.6;Summary;511
10.3.7;References;512
10.4;Auto-completion for Executable Business Process Models;514
10.4.1;Introduction and Problem Description;514
10.4.2;Solution Technique;515
10.4.2.1;Process Context-Based Auto-completion;516
10.4.2.2;Auto-completion with Pre- and Postconditions;516
10.4.2.3;Auto-completion with Non-functional Properties;517
10.4.2.4;Auto-completion Based on Combined Criteria;517
10.4.3;Related Work;518
10.4.4;Conclusions;519
10.4.5;References;519
10.5;Service Discovery in Ubiquitous Environments: Approaches and Requirements for Context-Awareness;520
10.5.1;Introduction;520
10.5.2;Approaches for Service Discovery;521
10.5.3;Toward a Semantic Web Service Discovery Approach in Structured P2P Registries;522
10.5.3.1;Representing Capacity and Semantic of a Service;523
10.5.3.2;Service Description Distribution;523
10.5.3.3;Querying for a Service;524
10.5.3.4;The Matching Algorithm;524
10.5.3.5;Process of Service Publication and Discovery;525
10.5.4;Conclusion and Open Issues;525
10.5.5;References;525
10.6;Ontology-Based Data Mediation in BPEL (For Semantic Web Services);527
10.6.1;Introduction;527
10.6.2;BPEL (For Semantic Web Services);528
10.6.3;Ontologies and Ontology-Based Mediation;531
10.6.4;Ontology Mediation in BPEL(4SWS);536
10.6.5;Conclusion and Future Work;537
10.6.6;References;537
10.7;A Framework for Dependency Based Automatic Service Composition;539
10.7.1;Introduction;539
10.7.1.1;Overview of Composition Techniques;539
10.7.1.2;Overview of Dependencies;540
10.7.1.3;Problem Description;541
10.7.2;Proposed Approach;541
10.7.3;Conclusions;544
10.7.4;References;544
10.8;Ontology-Based Behavioural Reasoning for Business Processes;546
10.8.1;Introduction;546
10.8.2;Calculus for Synchrony and Encapsulation;548
10.8.2.1;Syntax;549
10.8.2.2;Operational Semantics;551
10.8.3;Behavioural Reasoning Ontology;552
10.8.4;Conclusions and Future Work;555
10.8.5;References;556
11;CBP Workshop;558
11.1;Introduction to the Second Workshop on Collaborative Business Processes (CBP 2008);559
11.2;Quality Contracts for Cooperative Services and Associated Resources;563
11.2.1;Introduction;563
11.2.2;Problem Definition;564
11.2.2.1;A Reference Scenario;565
11.2.3;Models for Establishing Contracts;566
11.2.3.1;Process Model;567
11.2.3.2;Object Model;567
11.2.4;Contract Model;568
11.2.4.1;A Methodology for Building Contracts;569
11.2.5;Contracts for the Reference Scenario;571
11.2.6;Related Work;572
11.2.7;Concluding Remarks;573
11.2.8;References;574
11.3;Recursive Construction and Evolution of Collaborative Business Processes;575
11.3.1;Introduction;575
11.3.2;Context of the Proposed Approach;576
11.3.3;Existing Theoretical Work in the Area;578
11.3.4;Recursive Model of Virtual Enterprise;579
11.3.5;Example Application;581
11.3.6;Discussion;584
11.3.7;References;585
11.4;Towards a BPMN Semantics Using UML Models;587
11.4.1;Introduction;587
11.4.2;BPMN 1.1. – Service Interaction Patterns;589
11.4.2.1;Single-transmission Bilateral Interaction Patterns;590
11.4.2.2;Single-transmission Multilateral Interaction Patterns;592
11.4.2.3;Multi-transmission Interaction Patterns;593
11.4.3;Discussions;594
11.4.3.1;Related Works on the Field;595
11.4.3.2;Towards an Essential BPMN;595
11.4.4;Conclusions and Future Works;596
11.4.5;References;597
11.5;Distribution and Composition of Collaborative Business Processes through Peer-to-Peer Networks;599
11.5.1;Introduction;599
11.5.2;Collaborative Business Processes and Peer-to-Peer Networks;600
11.5.3;Model Creation for Collaborative Business Processes;601
11.5.4;Model Distribution and Composition;602
11.5.4.1;Collaborative Modeling Scenario;603
11.5.4.2;Managing and Distributing Process Models;604
11.5.4.3;Composition of Collaborative Business Processes;606
11.5.5;Peer-to-Peer Architecture;607
11.5.6;Conclusion;609
11.5.7;References;609
11.6;Dynamic Selection of Service Peers with Multiple Property Specifications;611
11.6.1;Introduction;611
11.6.2;Background;612
11.6.2.1;Web Service Modelling Ontology;612
11.6.2.2;UOW-SWS: A Business Process Application Prototype;613
11.6.3;Modelling Peers and Extending Non-functional Properties;614
11.6.3.1;A Generic Method for Selection of Multiple Property Specifications;614
11.6.3.2;QoS Aspects in WSMO;615
11.6.3.3;Spatial Properties of Web Services in WSMO;616
11.6.3.4;Unified Peer Selection Algorithm;617
11.6.4;Experimental Prototypes;618
11.6.5;Related Work;620
11.6.6;Conclusion;621
11.6.7;References;621
11.7;Characterization of Methods for Process-Oriented Engineering of SOA;623
11.7.1;Introduction;623
11.7.2;SOA Methodologies;625
11.7.3;Model for SOA Methodology Analysis;626
11.7.4;Evaluation of SOA Methodologies;629
11.7.5;Conclusion and Future Work;632
11.7.6;References;632
11.8;A Case Study of Business Process Interoperability in a Logistics Supply Chain Environment;635
11.8.1;Introduction;635
11.8.2;Motivating Scenario;636
11.8.2.1;Tested BPMS’s;636
11.8.2.2;Demonstrator;637
11.8.3;Interactions between Processes;637
11.8.3.1;Modeling Processes;638
11.8.3.2;Creating a Web Service Application;640
11.8.3.3;Creating a Local Intermediary Web Service;641
11.8.4;Avoiding Pitfalls;641
11.8.4.1;Problem of Web Services Timeout When Calling Long-Running Process;641
11.8.4.2;Recurrent Causes of Non-interoperability;642
11.8.4.3;Recommendations;643
11.8.5;Related Work;644
11.8.6;Conclusion;644
11.8.7;References;645
12;BPMS2 Workshop;646
12.1;Introduction to the First International Workshop on Business Process Management and Social Software (BPMS2 2008);647
12.2;BPM and Social Software;649
12.2.1;Introduction;649
12.2.1.1;The Model-Reality Divide;650
12.2.1.2;Lack of Information Fusioning;650
12.2.1.3;Information Pass-On Threshold and Lost Innovation;651
12.2.2;The Roots of Social Software;651
12.2.2.1;Weak and Strong Ties - Granovetter;651
12.2.2.2;Wisdom of the Crowds - Surowiecki;652
12.2.2.3;Social Production - Benkler, Tapscott;652
12.2.2.4;Service-Dominant Logic;652
12.2.3;Social Software and Its Relation to Other Approaches;652
12.2.4;Principles of Social Software;653
12.2.5;A Classification of Social Software;653
12.2.5.1;Wikis;654
12.2.5.2;Blogs;655
12.2.5.3;Tagging and Social Bookmarking;655
12.2.5.4;Recommender and Reputation Systems;655
12.2.5.5;Social Links;655
12.2.6;BPM Support Offered by Social Software;656
12.2.6.1;Design;656
12.2.6.2;Implement and Deploy;656
12.2.6.3;Operate;656
12.2.6.4;Evaluate and Improve;656
12.2.7;Summary;657
12.2.8;References;658
12.3;Business Process Management with Social Software Systems – A New Paradigm for Work Organisation;659
12.3.1;Introduction;659
12.3.2;Contrasting BPMS and SoS;660
12.3.3;Mechanisms forWork Management in BPMS and SoS;661
12.3.4;Guidelines for Complementing BPMS with SoS;662
12.3.5;An Illustrative Case;663
12.3.6;Epilogue;664
12.3.7;References;665
12.4;Social Software for Modeling Business Processes;666
12.4.1;Introduction;666
12.4.2;Related Work;667
12.4.3;Recommendation Based Process Modeling Support;668
12.4.4;Social Network from Process Models;669
12.4.4.1;Deriving Social Network from Process Models;669
12.4.4.2;Application of Social Network;670
12.4.5;Social Network from Recommendations;672
12.4.5.1;Deriving Social Network from Recommendations;672
12.4.5.2;Application of Social Network;675
12.4.6;Conclusion and Reflection;676
12.4.7;References;676
12.5;Automating Knowledge Transfer and Creation in Knowledge Intensive Business Processes;678
12.5.1;Introduction;678
12.5.2;Approach;680
12.5.3;Concepts and Use Case Results;683
12.5.4;Conclusion;685
12.5.5;References;685
12.6;Digital Identity and Reputation in the Context of a Bounded Social Ecosystem;687
12.6.1;Introduction;687
12.6.2;Digital Identity, Trust and Reputation;688
12.6.2.1;Information Overload;688
12.6.2.2;Digital Identity as a Facet of Reputation;689
12.6.3;Social Software and Unified Identity;690
12.6.3.1;Leveraging Social Software Practices;690
12.6.3.2;Reputation-Based Message Routing and a Unified Digital Identity Resource;691
12.6.4;Digital Identity Pattern Extraction (DIPE);692
12.6.4.1;Automation and Methodologies;693
12.6.4.2;Current Prototype for DIPE;693
12.6.4.3;Preliminary Results;694
12.6.5;Conclusions and Future Work;695
12.6.6;References;695
12.7;From a Social Wiki to a Social Workflow System;698
12.7.1;Introduction;698
12.7.2;Wiki versus Workflow Management?;699
12.7.2.1;Application and Business Needs;700
12.7.2.2;Social Clues and Group Awareness;701
12.7.3;From Wiki-Applications to Wiki-Based Workflow Systems;701
12.7.4;An Implementation of a Wiki-Based Workflow System;702
12.7.5;Summary and Conclusion;706
12.7.6;References;707
12.8;Utilizing Firm-Hosted Online Communities in Software Product Business: A Dimensional View;709
12.8.1;Introduction;709
12.8.2;Firm-Hosted Online Communities in Software Product Business;710
12.8.3;Planned Research Activities;711
12.8.3.1;The Research Project;711
12.8.3.2;ResearchMethods and Objectives;712
12.8.3.3;Expected Results;713
12.8.4;Summary;714
12.8.5;References;714
12.9;Workflow Enactment in a Social Software Environment;716
12.9.1;Introduction;716
12.9.2;X-Folders;717
12.9.3;X-Folders in a Social Software Environment;717
12.9.3.1;Architecture and Technological Solutions;718
12.9.4;Proof of Concept;719
12.9.5;Discussion and Related Works;720
12.9.6;Conclusions and Future Work;722
12.9.7;References;722
13;Author Index;723