Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.

Riccardo De Masellis Jianwen Su

Published in: ICSOC (2013)

Keyphrases

business processes
business process
knowledge discovery
data analysis
business rules
decision making
web services
case study
data mining techniques
workflow management systems
workflow systems
process mining
business process models
process execution