CORC  > 北京大学  > 信息科学技术学院
Analyzing data dependence based on workflow net
Yu, Huang ; Hanpin, Wang ; Wen, Zhao ; Jiaqi, Zhu
2007
英文摘要Workflow management systems (WfMSs) frequently use data to coordinate the execution of workflow instances. A WfMS makes routing decisions according to data constraints. This paper presents an extended workflow net which has its business form and portrays data constraints among tasks which act as the decision condition. Data constraint is expressed by pre-condition and post-condition which formalize a task's input and output conditions. After introducing the model, we give an important definition of consistence related to data dependance. Then, we proposes a domain computation method during reduction to verify the consistence. The method considers data operation during reduction. In the end, a case study is analyzed by our method. ? Springer-Verlag Berlin Heidelberg 2007.; EI; 0
语种英语
内容类型其他
源URL[http://ir.pku.edu.cn/handle/20.500.11897/328458]  
专题信息科学技术学院
推荐引用方式
GB/T 7714
Yu, Huang,Hanpin, Wang,Wen, Zhao,et al. Analyzing data dependence based on workflow net. 2007-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace