论文部分内容阅读
基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术,因而目前已被广泛应用,但ECA规则难于形式化描述的特性,使得在工作流建模时,不能够保证工作流系统的语义的正确性;而Petri网具有形式化的描述的基础和正确性分析的优点;本文将这两方面结合起来,对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法,通过Petri网的形式化的验证后的ECA规则的转化,可以保证基于ECA规则的工作流系统的正确性.