Transformation of Conceptual to Logical Business Process Models

LIU Manlu,FAN Shaokun,ZHAO Jianliang,DOU Wanchun

2009-01-01

Abstract:Both conceptual and logical business process models are needed to support business process management. Conceptual models are usually used for business process analysis,which leads to the improvement of business processes. Logical models are usually used for system implementation purposes,where software modules as well as their behavioral pattern should be clearly defined.However,the transformation from conceptual models to logical models can be a tedious task,often causing errors in the resulting logical model.In this paper,we propose a formal approach that can be used to support efficient and accurate model transformation.First,we develop a procedure for transforming a conceptual business process model into a corresponding logical business process model.In particular,a model transformation algorithm is proposed based on the results from requirement analysis and constraint mapping.Second,we create a verification framework which can verify whether the derived logical model is consistent with the original conceptual model.Business ontologies are employed in our approach to describe both conceptual and logical models.Consistency constraints are described as rules in SWRL,which are later checked by the KAON2 inference engine.