Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods∗


BPMN is a visual notation for modeling business processes. Although there are many tools supporting it, they rarely provide formal verification of models. We propose a new approach to formal verification of BPMN models using the Alvis modeling language and the XTT2 knowledge representation. The structure of the BPMN model can be analyzed using translation… (More)


4 Figures and Tables