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


This paper studies the following problem: given a relational data schema, a temporal property over the schema, and a process that modifies the data instances, how can we enforce the property during each step of the process execution? Temporal properties are defined using a first-order future time LTL (FO-LTL) and they are evaluated under finite and fixed… (More)
DOI: 10.1007/978-3-642-45005-1_5

2 Figures and Tables


  • Presentations referencing similar topics