节点文献

基于ECA规则的工作流建模实施方案

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【机构】青岛建筑工程学院计算机教研室；青岛建筑工程学院计算机教研室山东青岛266520；山东青岛266520；山东青岛266520；

【摘要】基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等成熟的技术进行建模 ,但ECA难于形式化 ,使得建模时不能够保证工作流系统语义的正确性 ;而Petri网具有形式化描述的基础和正确性分析的优点 ,将这两方面结合起来 ,通过对Petri网中控制流结构的分析给出了由Petri网向ECA规则转化的方法 ,以保证基于ECA规则的工作流系统的正确性。更多还原

【关键词】 ECA规则； Petri网；工作流；主动数据库；控制流；

【文献出处】计算机应用 ,Computer Applications , 编辑部邮箱 ,2002年10期

【分类号】TP311.52
【被引频次】20
【下载频次】153

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献