Login / Signup
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