Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).
Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey RivkinPublished in: CoRR (2019)
Keyphrases
- data sets
- data analysis
- data processing
- training data
- neural network
- raw data
- data collection
- data objects
- image data
- spatial data
- business processes
- statistical analysis
- knowledge discovery
- data points
- high dimensional
- feature space
- data structure
- database
- original data
- data quality
- synthetic data
- input data
- data mining techniques
- metadata