TY - BOOK AU - Hofstede,Arthur AU - Aalst,Wil M.P. AU - Weske,Mathias ED - SpringerLink (Online service) TI - Business Process Management: International Conference, BPM 2003 Eindhoven, The Netherlands, June 26–27, 2003 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540448952 AV - QA75.5-76.95 U1 - 025.04 23 PY - 2003/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Information storage and retrieval systems KW - Information systems KW - Electronic commerce KW - Management information systems KW - Computer Science KW - Information Storage and Retrieval KW - Information Systems Applications (incl.Internet) KW - User Interfaces and Human Computer Interaction KW - Computers and Society KW - Electronic Commerce/e-business KW - Business Information Systems N1 - 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 UR - http://dx.doi.org/10.1007/3-540-44895-0 ER -