Verification of data-aware processes

Information systems are based on two pillars: data, which constitute the information asset of the organization, and business processes, which constitute its modus operandi. Traditionally these two aspects are considered, conceptualized, and formalized more or less in isolation. Such form of separation of concerns has been considered quite fruitful and it led to significant advances in both data and process management fields. However it has recently been questioned by the so called artifact-centric approach that advocates a holistic view of data and processes as a unity. In this talk, we will look at recent progresses in the analysis of processes that live side-by-side with data, both as first-class citizens. These systems are inherently infinite state and pose serious challenges to traditional verification techniques such as model checking.