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

Translation from Workflow Net to ECA

作　　者：宋军[1] 胡乃静[1] 罗永强[1] 

机构地区：[1]复旦大学计算机系,上海200437

出　　处：《小型微型计算机系统》2003年第9期1693-1696,共4页Journal of Chinese Computer Systems

摘　　要：基于 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.

关 键 词：工作流 PETRI网 ECA规则 主动数据库 控制流 工作流网 

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术]