A critical challenge for workflow management systems is their ability to respond effectively for changes in business processes. However, current workflow management systems can not suite to deal with frequent changes, because there are hardly any 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 algorithm and process are described.%工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应.然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性.本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述.
展开▼