文章基本信息

标题：A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property
本地全文：下载
作者：Guan, Hua ; Ying, Shi ; Wang, Chunwei 等
期刊名称：Journal of Networks
印刷版ISSN：1796-2056
出版年度：2014
卷号：9
期号：10
页码：2743-2750
DOI：10.4304/jnw.9.10.2743-2750
语种：English
出版社：Academy Publisher
摘要：BPEL is becoming the mainstream of service oriented software, there are many exception handling models of BPEL. Toward the problem that how to guarantee the correctness of these models, this paper presents a model checking correctness approach of CPN (Colored Petri Nets)model based on temporal property, describes the temporal property using CTL(Computer Tree Logic). Correctness checking is implemented by the ASK-CTL tool of the CPN Tools. Finally, based on a case study of automobile assembling pipeline system, the CPN model of the case process is designed; the results of temporal property correctness checking are given, which can help the modeler to find the errors of the model as early as possible.
关键词：Business Process Execution Language;Exception Handling;Colored Petri Net;Temporal Property Correctness