Aalst, Wil van der, Hofstede, Arthur ter, Weske, Mathias (Eds.)
2003, XII, 396 p.
Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
This volume contains the proceedings of the International Conference on Bus- ess Process Management: On the Application of Formal Methods to “Process- Aware”Information Systems (BPM 2003), Eindhoven, The Netherlands, June 26-27, 2003. The conference was held in conjunction with the 24th Internat- nal Conference on Application and Theory of Petri Nets (ICATPN 2003) and followed by the 30th International Colloquium on Automata, Languages and Programming (ICALP 2003). The aim of co-locating these conferences is to stimulate interaction between researchers and practitioners working on formal methods and business process management. BPM 2003 was organized by the Information Systems (IS) and Information & Technology (I&T) research groups of the Technische Universiteit Eindhoven (TU/e), Eindhoven, The Netherlands. We would like to thank the members of the program committee (see next page) and the reviewers for their e?orts in selecting the papers. We received contributions from 27 countries. In total 77 papers were submitted. Of these papers, 25 papers were accepted for publication in these proceedings and presentation at the conference. In addition to the regular presentations, invited lectures were given by John Hoogland, Skip Ellis, Jon Pyke, and Kees van Hee. BPM 2003 and ICATPN 2003 were supported by the following institutions and organizations: KNAW, NWO, Deloitte & Touche, Pallas Athena, BETA, Philips, Gemeente Eindhoven, Sodexho, OCE, FileNet, TU/e, SIGPAM, EMISA, and Atos Origin. We would like to acknowledge the support of the people in the IS and I&T research groups involved in the organization of ICATPN 2003 and BPM 2003.
Content Level »Research
Keywords »business - business process - business process management - management - modeling - process management - tools - web service
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.