Home // eKNOW 2012, The Fourth International Conference on Information, Process, and Knowledge Management // View article

Modular verification of inter-enterprise Business Processes

Authors:
Kais Klai
Hanen Ochi

Keywords: Process composition; abstraction; verification; deadlock-freeness;

Abstract:
In this paper, we propose to adapt the Symbolic Observation Graphs (SOG) based approach in order to abstract, to compose and to check Inter-Enterprise Business Processes (IEBP). Each component (local process) is represented by a SOG where only the collaboration actions of the process are visible while its local behavior and its private structure are hidden. The entire IEBP is then abstracted by the composition of the components' abstractions (i.e., their SOGs). The main result of this paper is to demonstrate that the composition of the SOGs is deadlock free if and only if the original IEBP is deadlock free. We implemented our adaptation of the SOG construction and compared our abstraction and modular verification approach with the Operating Guidelines technique. The obtained results strengthen our belief that the SOGs are suitable to abstract and compose business processes especially when these are loosely coupled.

Pages: 155 to 161

Copyright: Copyright (c) IARIA, 2012

Publication date: January 30, 2012

Published in: conference

ISSN: 2308-4375

ISBN: 978-1-61208-181-6

Location: Valencia, Spain

Dates: from January 30, 2012 to February 4, 2012