Business Process Management

- Business Process Management: A Survey

- Full Papers

- Workflow: A Language for Composing Web Services

- Mining Most Specific Workflow Models from Event-Based Data

- Evaluation of Correctness Criteria for Dynamic Workflow Changes

- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders

- Structuring Business Objectives: A Business Process Modeling Perspective

- Use Cases as Workflows

- A Model to Support Collaborative Work in Virtual Enterprises

- Towards a Library for Process Programming

- Generating a Process Model from a Process Audit Log

- Contracting Workflows and Protocol Patterns

- Security in Business Process Engineering

- Query Nets: Interacting Workflow Modules That Ensure Global Termination

- Generic Recurrent Patterns in Business Processes

- Personal Schedules for Workflow Systems

- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net

- Pattern Based Workflow Design Using Reference Nets

- A Model for Process Service Interaction

- Exception Handling in the BPEL4WS Language

- Ratios to Support the Exploration of Business Process Models

- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications

- Undo in Workflow Management Systems

- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling

- A Case-Based Framework for Workflow Model Management

- Tool Papers

- ADEPT Workflow Management System

- Modelling and Validation with VipTool

Mathias Weske is Professor of Software Systems Technology at the Hasso Plattner Institute for Software Systems Engineering at the University of Potsdam, Germany, where he leads the business process technology research group. His current research interests include various topics in workflow management, web services technology, and enterprise application integration. He is a member of the GI, vice chair of the executive committee of GI SIG EMISA, and a member of IEEE and ACM.Wil van der Aalst is a full professor at the Department of Mathematics & Computer Science of the Technische Universiteit Eindhoven, The Netherlands, where he chairs the Architecture of Information Systems group. He also has a part-time appointment in the BPM group of Queensland University of Technology, Australia. His research and teaching interests include information systems, workflow management, Petri nets, process mining, specification languages, and simulation. Wil has published journal papers, books, refereed conference or workshop publications, and book chapters.