Business process management

InhaltsverzeichnisBusiness 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.