Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic.
Dennis M. RiehlePublished in: Business Process Management Workshops (2018)
Keyphrases
- graph matching
- temporal logic
- business process models
- verification method
- model checking
- business process
- graph matching algorithm
- business processes
- graph edit distance
- pairwise
- pattern recognition
- model checker
- inexact graph matching
- control flow
- object recognition
- point sets
- matching algorithm
- process model
- edit distance
- image matching
- linear temporal logic
- pattern matching
- subgraph isomorphism
- business rules
- vector space
- belief revision