We consider in this demonstration the (static) analysis of data-centric process-based applications, namely applications that depend on an underlying database and whose control is guided by a finite state transition system. We observe that analysts of such applications often want to do more than analyze a specific instance of the application’s pro- cess control and database. In particular they want to in- teractively test and explore the effect on analysis results of different hypothetical modifications applied to the appli- cation’s transition system and to the underlying database. To that end, we propose a demonstration of PROPOLIS, a system for PROvisioned PrOcess anaLysIS, namely analy- sis of data-centric processes under hypothetical modification scenarios. Our solution is based on the notion of a provi- sioned expression (which in turn is based on the notion of data provenance), namely an expression that captures, in a compact way, the analysis result with respect to all possible combinations of scenarios, and allows for their exploration at interactive speed. We will demonstrate PROPOLIS in the context of an online shopping application, letting partici- pants play the role of analysts.
