Uniform Interpolation for the Automated Verification of Data-Aware Business Processes.

Alessandro Gianola

Published in: OVERLAY@AI*IA (2022)

Keyphrases

business processes
business partners
data analysis
business process
data sources
knowledge discovery
data mining techniques
process model
artificial intelligence
social networks
web services
model checking
workflow management systems
automated verification