Sciweavers

Share
BPM
2010
Springer
174views Business» more  BPM 2010»
9 years 7 months ago
Trace Alignment in Process Mining: Opportunities for Process Diagnostics
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
BPM
2010
Springer
126views Business» more  BPM 2010»
9 years 8 months ago
Symbolic Execution of Acyclic Workflow Graphs
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
Cédric Favre, Hagen Völzer
BPM
2010
Springer
147views Business» more  BPM 2010»
9 years 8 months ago
From People to Services to UI: Distributed Orchestration of User Interfaces
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
Florian Daniel, Stefano Soi, Stefano Tranquillini,...
BPM
2010
Springer
128views Business» more  BPM 2010»
9 years 10 months ago
Content-Aware Resolution Sequence Mining for Ticket Routing
Ticket routing is key to the efficiency of IT problem management. Due to the complexity of many reported problems, problem tickets typically need to be routed among various expert ...
Peng Sun, Shu Tao, Xifeng Yan, Nikos Anerousis, Yi...
BPM
2010
Springer
179views Business» more  BPM 2010»
9 years 10 months ago
Value-Oriented Coordination Process Modeling
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
Hassan Fatemi, Marten van Sinderen, Roel Wieringa
BPM
2010
Springer
155views Business» more  BPM 2010»
9 years 11 months ago
PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
Christoph Ringelstein, Steffen Staab
BPM
2010
Springer
186views Business» more  BPM 2010»
9 years 11 months ago
How to Implement a Theory of Correctness in the Area of Business Processes and Services
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Niels Lohmann, Karsten Wolf
BPM
2010
Springer
134views Business» more  BPM 2010»
9 years 11 months ago
A New Semantics for the Inclusive Converging Gateway in Safe Processes
We propose a new semantics for the inclusive converging gateway (also known as Or-join). The new semantics coincides with the intuitive, widely agreed semantics for Or-joins on sou...
Hagen Völzer
BPM
2010
Springer
191views Business» more  BPM 2010»
9 years 11 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
books