-
1
-
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
-
17
-
An Organisational Perspective on Collaborative Business Processes
-
32
-
Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
-
48
-
Flexible Business Process Management Using Forward Stepping and Alternative Paths
-
64
-
Semi-automatic Generation of Web Services and BPEL Processes – A Model-Driven Approach
-
80
-
A Human-Oriented Tuning of Workflow Management Systems
-
96
-
The Price of Coordination in Resource Management
-
109
-
<Literal>sPAC</Literal> (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services
-
120
-
Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow
-
137
-
An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis
-
153
-
Using the <Emphasis Type="Italic">π</Emphasis>-Calculus for Formalizing Workflow Patterns
-
169
-
Mining Workflow Recovery from Event Based Logs
-
186
-
Behavior Based Integration of Composite Business Processes
-
205
-
Visualization Support for Managing Large Business Process Specifications
-
220
-
Transforming BPEL to Petri Nets
-
236
-
Event-Based Coordination of Process-Oriented Composite Applications
-
252
-
Integrating Process Learning and Process Evolution – A Semantics Based Approach
-
268
-
An Analysis and Taxonomy of Unstructured Workflows
-
285
-
A Framework for Document-Driven Workflow Systems
-
302
-
Service Interaction Patterns
-
319
-
Modeling and Assessment of Production Printing Workflows Using Petri Nets
-
334
-
Process Management in Health Care: A System for Preventing Risks and Medical Errors
-
344
-
A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department
-
354
-
IT Support for Healthcare Processes
-
364
-
From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols
-
374
-
Using Software Quality Characteristics to Measure Business Process Quality
-
380
-
Business Process Modelling and Improvement Using TAD Methodology
-
386
-
On the Suitability of Correctness Criteria for Business Process Models
-
392
-
Service Retrieval Based on Behavioral Specifications and Quality Requirements
-
398
-
On the Semantics of EPCs: Efficient Calculation and Simulation
-
404
-
Towards Integrating Business Policies with Business Processes
-
410
-
A Contract Layered Architecture for Regulating Cross-Organisational Business Processes
-
416
-
An Effective Content Management Methodology for Business Process Management
-
422
-
Specification and Management of Policies in Service Oriented Business Collaboration
-
428
-
Yet Another Event-Driven Process Chain
-
434
-
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective
-
440
-
Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services
-
446
-
Accelerated Enterprise Process Modeling Through a Formalized Functional Typology
-
452
-
Introducing Business Process into Legacy Information Systems
-
458
-
Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow
-
464
-
Verification of SAP Reference Models
