AI approach to formal analysis of BPMN models. Towards a logical model for BPMN diagrams

Modeling Business Processes has become a challenging issue of todays´ Knowledge Management. As such it is a core activity of Knowledge Engineering. There are two principal approaches to modeling such processes: Business Process Modeling and Notation (BPMN) and Business Rules (BR). Both of them are to certain degree complementary. In this paper, we investigate how to build a logical model of BPMN using logic programming and rules. The main focus in on logical reconstruction of BPMN model in Prolog and defining some formal requirements on model correctness enabling formal verification of such models.