10.3969/j.issn.1000-1220.2003.09.030
从工作流网向ECA规则的转换
基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术,因而目前已被广泛应用,但ECA规则难于形式化描述的特性,使得在工作流建模时,不能够保证工作流系统的语义的正确性;而Petri网具有形式化的描述的基础和正确性分析的优点;本文将这两方面结合起来,对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法,通过Petri网的形式化的验证后的ECA规则的转化,可以保证基于ECA规则的工作流系统的正确性.
工作流、Petri网、ECA规则、主动数据库、控制流、工作流网
24
TP393.01(计算技术、计算机技术)
2003-11-07(万方平台首次上网日期,不代表论文的发表时间)
共4页
1693-1696