Research Papers |
|
|
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry |
|
|
|
Volker Gruhn, André Köhler, Robert Klawes |
|
|
1 | (16) |
|
An Organisational Perspective on Collaborative Business Processes |
|
|
|
Xiaohui Zhao, Chengfei Liu, Yun Yang |
|
|
17 | (15) |
|
Mining Hierarchies of Models: From Abstract Views to Concrete Specifications |
|
|
|
Gianluigi Greco, Antonella Guzzo, Luigi Pontieri |
|
|
32 | (16) |
|
Flexible Business Process Management Using Forward Stepping and Alternative Paths |
|
|
|
|
48 | (16) |
|
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven Approach |
|
|
|
Rainer Anzböck, Schahram Dustdar |
|
|
64 | (16) |
|
A Human-Oriented Tuning of Workflow Management Systems |
|
|
|
Irene Vanderfeesten, Hajo A. Reijers |
|
|
80 | (16) |
|
The Price of Coordination in Resource Management |
|
|
|
Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal |
|
|
96 | (13) |
|
sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services |
|
|
|
Hyung Gi Song, Kangsun Lee |
|
|
109 | (11) |
|
Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow |
|
|
|
Eric Andonoff, Lotfi Bouzguenda, Chihab Hanachi |
|
|
120 | (17) |
|
An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis |
|
|
|
Jiacun Wang, Daniela Rosca, William Tepfenhart, Allen Milewski, Michael Stoute |
|
|
137 | (16) |
|
Using the π-Calculus for Formalizing Workflow Patterns |
|
|
|
Frank Puhlmann, Mathias Weske |
|
|
153 | (16) |
|
Mining Workflow Recovery from Event Based Logs |
|
|
|
Walid Gaaloul, Claude Godart |
|
|
169 | (17) |
|
Behavior Based Integration of Composite Business Processes |
|
|
|
Georg Grossmann, Yikai Ren, Michael Schrefl, Markus Stumptner |
|
|
186 | (19) |
|
Visualization Support for Managing Large Business Process Specifications |
|
|
|
Alexander Streit, Binh Pham, Ross Brown |
|
|
205 | (15) |
|
Transforming BPEL to Petri Nets |
|
|
|
Sebastian Hinz, Karsten Schmidt, Christian Stahl |
|
|
220 | (16) |
|
Event-Based Coordination of Process-Oriented Composite Applications |
|
|
|
Marlon Dumas, Tore Fjellheim, Stephen Milliner, Julien Vayssière |
|
|
236 | (16) |
|
Integrating Process Learning and Process Evolution - A Semantics Based Approach |
|
|
|
Stefanie Rinderle, Barbara Weber, Manfred Reichert, Werner Wild |
|
|
252 | (16) |
|
An Analysis and Taxonomy of Unstructured Workflows |
|
|
|
|
268 | (17) |
|
A Framework for Document-Driven Workflow Systems |
|
|
|
Jianrui Wang, Akhil Kumar |
|
|
285 | (17) |
|
Service Interaction Patterns |
|
|
|
Alistair Barros, Marlon Dumas, Arthur H.M. ter Hofstede |
|
|
302 | (17) |
Industrial Papers |
|
|
Modeling and Assessment of Production Printing Workflows Using Petri Nets |
|
|
|
Raju N. Gottumukkala, Dr. Tong Sun |
|
|
319 | (15) |
|
Process Management in Health Care: A System for Preventing Risks and Medical Errors |
|
|
|
Massimo Ruffolo, Rosario Curia, Lorenzo Gallucci |
|
|
334 | (10) |
|
A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department |
|
|
|
Onur Özkök, Fatma Pakdil, Fahri Bugra Çamlica, Tolga Bektas, Imdat Kara |
|
|
344 | (10) |
|
IT Support for Healthcare Processes |
|
|
|
Richard Lenz, Manfred Reichert |
|
|
354 | (10) |
|
From RosettaNet PIPS to BPEL Processes: A Three Level Approach for Business Protocols |
|
|
|
|
364 | (10) |
Short Papers |
|
|
Using Software Quality Characteristics to Measure Business Process Quality |
|
|
|
A. Selcuk Guceglioglu, Onur Demirors |
|
|
374 | (6) |
|
Business Process Modelling and Improvement Using TAD Methodology |
|
|
|
|
380 | (6) |
|
On the Suitability of Correctness Criteria for Business Process Models |
|
|
|
Juliane Dehnert, Armin Zimmermann |
|
|
386 | (6) |
|
Service Retrieval Based on Behavioral Specifications and Quality Requirements |
|
|
|
Daniela Grigori, Verónika Peralta, Mokrane Bouzeghoub |
|
|
392 | (6) |
|
On the Semantics of EPCs: Efficient Calculation and Simulation |
|
|
|
Nicolas Cuntz, Ekkart Kindler |
|
|
398 | (6) |
|
Towards Integrating Business Policies with Business Processes |
|
|
|
|
404 | (6) |
|
A Contract Layered Architecture for Regulating Cross-Organisational Business Processes |
|
|
|
Mohsen Rouached, Olivier Perrin, Claude Godart |
|
|
410 | (6) |
|
An Effective Content Management Methodology for Business Process Management |
|
|
|
Young Gil Kim, Sang Chan Park, Chul Young Kim, Jin Ho Kim |
|
|
416 | (6) |
|
Specification and Management of Policies in Service Oriented Business Collaboration |
|
|
|
|
422 | (6) |
|
Yet Another Event-Driven Process Chain |
|
|
|
Jan Mendling, Gustaf Neumann, Markus Nüttgens |
|
|
428 | (6) |
|
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective |
|
|
|
Kamyar Sarshar, Peter Loos |
|
|
434 | (6) |
|
Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services |
|
|
|
Sami Bhiri, Khaled Gaaloul, Olivier Perrin, Claude Godart |
|
|
440 | (6) |
|
Accelerated Enterprise Process Modeling Through a Formalized Functional Typology |
|
|
|
Avi Wasser, Maya Lincoln, Reuven Karni |
|
|
446 | (6) |
|
Introducing Business Process into Legacy Information Systems |
|
|
|
Marcos R.S. Borges, A.F. Vincent, Ma Carmen Penadés, Renata M. Araujo |
|
|
452 | (6) |
|
Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow |
|
|
|
Adnene Guabtni, François Charoy, Claude Godart |
|
|
458 | (6) |
|
Verification of SAP Reference Models |
|
|
|
B.F. van Dongen, M.H. Jansen-Vullers |
|
|
464 | (7) |
Author Index |
|
471 | |