An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes

Boukhedouma Saida and Alimazighi Zaia
Additional contact information
Boukhedouma Saida: University of Science and Technology Houari Boumediene (USTHB)- LSI Laboratory, Bab Ezzouar, Algeria
Alimazighi Zaia: University of Science and Technology Houari Boumediene, LSI Laboratory, Bab Ezzouar, Algeria

International Journal of Information System Modeling and Design (IJISMD), 2018, vol. 9, issue 2, 44-78

Abstract: This article describes an MDE approach for transformation from BPEL specifications to WF-nets models for verifying behavioral properties on IOWF (Inter-Organizational Workflow) processes. The authors consider WF processes specified with BPEL and interconnected together according to specific cooperation patterns. They define a specific class of Petri nets called Hierarchical WF-nets (HWN) in order to formally check the “soundness” property on IOWF process models. For that, their verification approach is defined around three main phases: (i) recovery of the BPEL file(s) and generation of process tree(s), (ii) transformation from BPEL to WF-nets (resp. HWN) models using mapping and transformation rules and (iii) verification of the “soundness” property on the models obtained. They particularly define and implement a set of specific transformation rules which are closely linked to the interconnection rules attached to each cooperation pattern. Also, to show the feasibility of their verification method, the authors developed a “WF-Checking” tool which allows the implementation and testing of the proposed approach.

Date: 2018
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJISMD.2018040103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jismd0:v:9:y:2018:i:2:p:44-78

Access Statistics for this article

International Journal of Information System Modeling and Design (IJISMD) is currently edited by Thierry O. C. Edoh

More articles in International Journal of Information System Modeling and Design (IJISMD) from IGI Global
Bibliographic data for series maintained by Journal Editor ().