Referenced Items are not available for this document.
A critical challenge for workflow management systems is their ability to respond effectively to changes in business processes. Unfortunately, today's workflow management systems are not well suited to dealing with frequent changes, because there are few checks to assure some minimal level of correctness. This paper presents a method using Petri-Net-Based techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification process and verification approach are described.
Published in:
e-Education, e-Business, e-Management, and e-Learning, 2010. IC4E '10. International Conference on
Date of Conference: 22-24 Jan. 2010
- Page(s):
- 21 - 24
- E-ISBN :
- 978-1-4244-5681-9
- Print ISBN:
- 978-1-4244-5680-2
- INSPEC Accession Number:
- 11180759
- Conference Location :
- Sanya
- Digital Object Identifier :
- 10.1109/IC4E.2010.71
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
