A Verification Method of Soundizability under Protocol Inheritance for Acyclic Free Choice Workflow Nets

被引：0
|
作者：
Wu, Huan [1 ]
Yamaguchi, Shingo [1 ]
机构：
[1] Yamaguchi Univ, Grad Sch Sci & Engn, Ube, Yamaguchi 7558611, Japan
来源：
2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON) | 2013年
关键词：
PETRI NETS;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A workflow may be extended to adapt to market growth, legal reform, and so on. The extended workflow must be logically correct, and inherit the behavior of the existing workflow. Even if the extended workflow inherits the behavior, it may be not logically correct. Can we modify it so that it satisfies not only behavioral inheritance but also logical correctness? This is called soundizability problem. In this paper, we propose a Petri net based method to solve the problem. Limiting our analysis to acyclic free choice workflow nets, we gave a necessary and sufficient condition on the problem, which is the existence of a key structure of free choice workflow nets called TP-handles. Based on this condition, we also constructed a polynomial time procedure to solve the problem.
引用
收藏
页数：4
相关论文
共 30 条
123