A New Approach for the Verification of BPMN Models Using Refinement Patterns.

Salma Ayari Yosra Ben Dali Hlaoui Leila Jemni Ben Ayed

Published in: COMPSAC (1) (2018)

Keyphrases

probabilistic model
process model
model driven
business process models
graphical models
machine learning algorithms
abstraction levels
database
information retrieval
website
training data
business process
formal verification
spatial patterns