CBR:一种支持工作流过程语义验证的组件级化简方法

• 作者: 史美林 叶新铭 周建涛
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 工作流 验证 化简 组件 Petri网
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 1060-1065
• 页数: 6页
• 分类号: TP311|TP391
• 字数: 7170字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2005.06.025

摘要

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	周建涛	清华大学计算机科学与技术系	6	371	5.0	6.0
4	史美林	清华大学计算机科学与技术系	96	5322	30.0	72.0