Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.

Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: BPM (2019)

Keyphrases

data sets
data sources
data collection
raw data
data analysis
high quality
missing data
data processing
data structure
prior knowledge
database
probability distribution
image data
case study
synthetic data
training data
wireless sensor networks
data points
small number
relational databases
experimental data