ABSTRACT
We introduce and study a model of collaborative data-driven workflows. In a local-as-view style, each peer has a partial view of a global instance that remains purely virtual. Local updates have side effects on other peers' data, defined via the global instance. We also assume that the peers provide (an abstraction of) their specifications, so that each peer can actually see and reason on the specification of the entire system.
We study the ability of a peer to carry out runtime reasoning about the global run of the system, and in particular about actions of other peers, based on its own local observations. A main contribution is to show that, under a reasonable restriction (namely, key-visibility), one can construct a finite symbolic representation of the infinite set of global runs consistent with given local observations. Using the symbolic representation, we show that we can evaluate in PSPACE a large class of properties over global runs, expressed in an extension of first-order logic with past linear-time temporal operators, PLTL-FO. We also provide a variant of the algorithm allowing to incrementally monitor a statically defined property, and then develop an extension allowing to monitor an infinite class of properties sharing the same temporal structure, defined dynamically as the run unfolds. Finally, we consider an extension of the language, that permits workflow control with PLTL-FO formulas. We prove that this does not increase the power of the workflow specification language, thereby showing that the language is closed under such introspective reasoning.
- P. A. Abdulla and B. Jonsson. Verifying programs with unreliable channels. Inf. and Comp., 127(2), 1996.Google Scholar
- S. Abiteboul, E. Antoine, and J. Stoyanovich. Viewing the web as a distributed knowledge base. In ICDE, 2012. Google Scholar
Digital Library
- S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project: an overview. VLDB J., 17(5), 2008. Google Scholar
Digital Library
- S. Abiteboul, M. Bienvenu, A. Galland, and E. Antoine. A rule-based language for web data management. In PODS, pages 293--304, 2011. Google Scholar
Digital Library
- S. Abiteboul, P. Bourhis, and V. Vianu. Comparing workflow specification languages: A matter of views. TODS, 37(2), 2012. Google Scholar
Digital Library
- S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995. Google Scholar
Digital Library
- S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. JCSS, 43(1), 1991. Google Scholar
Digital Library
- P. Alvaro, W. R. Marczak, N. Conway, J. M. Hellerstein, D. Maier, and R. Sears. Dedalus: Datalog in time and space. In Datalog, pages 262--281, 2010. Google Scholar
Digital Library
- M. Arenas, V. Kantere, A. Kementsietsidis, I. Kiringa, R. J. Miller, and J. Mylopoulos. The hyperion project: from data integration to data coordination. SIGMOD Record, 32(3):53--58, 2003. Google Scholar
Digital Library
- D. Brand and P. Zafiropulo. On communicating finite-state machines. JACM, 30(2), 1983. Google Scholar
Digital Library
- J. Brzozwski and E. Leiss. Finite automata and sequential networks. Theoretical Computer Science, 10, 1980.Google Scholar
- A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In PODS, 2006. Google Scholar
Digital Library
- E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. North-Holland Pub. Co./MIT Press, 1990. Google Scholar
Digital Library
- R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995. Google Scholar
Digital Library
- T. J. Green, G. Karvounarakis, N. E. Taylor, O. Biton, Z. G. Ives, and V. Tannen. Orchestra: facilitating collaborative data sharing. In SIGMOD, 2007. Google Scholar
Digital Library
- J. M. Hellerstein. The declarative imperative: experiences and conjectures in distributed logic. SIGMOD Record, 39(1), 2010. Google Scholar
Digital Library
- R. Hull. Web services composition: A story of models, automata, and logics. In ICSOC, 2005.Google Scholar
- R. Hull and J. Su. Tools for composite web services: a short overview. SIGMOD Record, 34(2):86--95, 2005. Google Scholar
Digital Library
- T. Imieliński and W. Lipski. Incomplete information in relational databases. JACM, 31(4), 1984. Google Scholar
Digital Library
- Z. G. Ives, T. J. Green, G. Karvounarakis, N. E. Taylor, V. Tannen, P. P. Talukdar, M. Jacob, and F. Pereira. The orchestra collaborative data sharing system. SIGMOD Record, 37(3), 2008. Google Scholar
Digital Library
- A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003. Google Scholar
Digital Library
- I. Tatarinov, Z. G. Ives, J. Madhavan, A. Y. Halevy, D. Suciu, N. N. Dalvi, X. Dong, Y. Kadiyska, G. Miklau, and P. Mork. The piazza peer data management project. SIGMOD Record, 32(3):47--52, 2003. Google Scholar
Digital Library
- M. Vardi. An automata-theoretic approach to linear temporal logic. In Banff Higher Order Workshop, 1995. Google Scholar
Digital Library
Index Terms
Collaborative data-driven workflows: think global, act local
Recommendations
Explanations and Transparency in Collaborative Workflows
PODS '18: Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database SystemsWe pursue an investigation of data-driven collaborative workflows. In the model, peers can access and update local data, causing side-effects on other peers' data. In this paper, we study means of explaining to a peer her local view of a global run, ...
Monitoring of Grid scientific workflows
Large-Scale Programming Tools and EnvironmentsScientific workflows are a means of conducting in silico experiments in modern computing infrastructures for e-Science, often built on top of Grids. Monitoring of Grid scientific workflows is essential not only for performance analysis but also to ...
Process-centric views of data-driven business artifacts
Declarative, data-aware workflow models are becoming increasingly pervasive. While these have numerous benefits, classical process-centric specifications retain certain advantages. Workflow designers are used to development tools such as BPMN or UML ...






Comments