期刊名称:Journal of Theoretical and Applied Information Technology
印刷版ISSN:1992-8645
电子版ISSN:1817-3195
出版年度:2014
卷号:61
期号:3
出版社:Journal of Theoretical and Applied
摘要:In this paper, we are interested in the verification of Workflows (WF). WF are increasingly used for modeling and improving the quality of business processes (BP). In fact, the BP are becoming more complex because of the process nature which can be decomposed into sub-processes that run in parallel and/or sequentially. In this paper, we are particularly interested in verifying a class of properties known as response properties. Our second aim is to optimise the verification process of complex WF. Therefore, we first propose a method to compute and extract WFφ which is a part of WF concerned with the property φ to verify, and second we apply an abstraction method which optimises the size of WFφ. This optimisation is interesting so that the verification process can be done just on the optimise WFφ, and we deduce the preservation of the satisfaction of φ in WF.
关键词:Workflow Petri nets; response properties; abstraction; formal methods