首页    期刊浏览 2025年02月27日 星期四
登录注册

文章基本信息

  • 标题:AN APPROACH OF OPTIMISATION AND FORMAL VERIFICATION OF WORKFLOW PETRI NETS
  • 本地全文:下载
  • 作者:OUTMAN EL HICHAMI ; MOHAMMED AL ACHHAB ; ISMAIL BERRADA
  • 期刊名称: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
国家哲学社会科学文献中心版权所有