作者: Hamda Al-Ali , Ernesto Damiani , Mahmoud Al-Qutayri , Mohammad Abu-Matar , Rabeb Mizouni
DOI: 10.1007/978-3-319-74161-1_2
关键词:
摘要: Business Process Model and Notation (BPMN) is a standard graphical notation that widely used for modeling Processes (BP) in Management (BPM) systems. A key application of such systems continuous analysis BP execution checking compliance logs with process models. In this paper we introduce simple, human-readable rule language based on fragment First-Order Logic (FOL) show how rules can be generated directly from BPMN We focus control flow aspects models by (1) transforming the model to obtain uniform representation task activation (2) dividing into sets components (3) using our proposed generate each component. these business log British Telecom’s Aperture tool.