Propolis: Provisioned analysis of datacentric processes

Daniel Deutch*, Yuval Moskovitch, Val Tannen

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review


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 process control and database. In particular they want to interactively test and explore the effect on analysis results of different hypothetical modifications applied to the application's transition system and to the underlying database. To that end, we propose a demonstration of PROPOLIS, a system for PROvisioned PrOcess anaLysIS, namely analysis of data centric processes under hypothetical modification scenarios. Our solution is based on the notion of a provisioned 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 participants play the role of analysts.

Original languageEnglish
Pages (from-to)1302-1305
Number of pages4
JournalProceedings of the VLDB Endowment
Issue number12
StatePublished - Aug 2013
Externally publishedYes
Event39th International Conference on Very Large Data Bases, VLDB 2012 - Trento, Italy
Duration: 26 Aug 201330 Aug 2013


Dive into the research topics of 'Propolis: Provisioned analysis of datacentric processes'. Together they form a unique fingerprint.

Cite this