从工作流网向ECA规则的转换

Translation from Workflow Net to ECA

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

ECA rule is good at implement of workflow, active database based on ECA rule can be workflow engineer, It can provide high degree of concurrent of execution ,also capabilities of database like safety、recovery can are immediately available . but ECA is not good at verify of workflow correction. But Petri net can be do well in this area. so we give rules of convert from Petri net to ECA rule.