Object Versioning Compliance Analysis Plug-in in ProM 6.0

Zhaoxia Wang,Arthur H. M. ter Hofstede,Chun Ouyang,T. Moe,Wynn,Jianmin Wang,Xiaochen Zhu

2011-01-01

Abstract:This document shows how to use the object versioning compliance analysis plugin (also called the VWF-net analysis plug-in) in ProM 6.0. This analysis plug-in is dedicated to the verification of versioning compliance between object versioning lifecycles and process models in PLM systems. Contemporary PLM systems typically use workflow technology to provide support for process management. Many common business processes in the manufacturing industry, e.g. in areas such as accounting, engineering design, product release, process planning, and production control, involve the use of object version operations. The use of these operations in the context of tasks is subject to access control restrictions. In addition to that, the order in which these operations may be used may be governed by a lifecycle model wherein it can be specified that certain operations can only be applied when the object is in a certain state. As ordering relations between version operations are also implicitly enforced by the ordering relations between tasks in the workflow model, compliance issues may rear their head. Specifically, on the process side, one can specify for tasks which version operations are permitted during the execution of these tasks and how they may progress the state of objects, while on the access control side the access privileges of users are stored and control is maintained over the order in which object version operations may be applied. The order of tasks may thus contradict the order in which version operations may be applied. Determining whether this is the case is nontrivial, as task ordering relations can be complex. The object versioning compliance analysis plug-in implements versioning compliance checking of process models in PLM systems. Its main objective is to provide a versioning-annotated workflow net (VWF-net) viewer that possesses both syntactical compatibility checking and behavioural compatibility checking capabilities. A VWF-net includes three parts: a WF-net, an object versioning lifecycle and task versioning annotation information (including the versioning