Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.
Francisco DuránCamilo RochaGwen SalaünPublished in: WRLA@ETAPS (2018)
Keyphrases
- data sets
- data collection
- raw data
- database
- high quality
- synthetic data
- data sources
- data structure
- original data
- data processing
- databases
- statistical analysis
- business rules
- data quality
- query answering
- complex data
- business processes
- input data
- data mining techniques
- image data
- training data
- high level
- case study
- information systems
- data mining