Collaborative data-driven workflows: Think global, act local

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2013, Pages 91-102

  Abiteboul, Serge ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST ORDER LOGIC; LOCAL AS VIEWS; LOCAL OBSERVATIONS; SYMBOLIC REPRESENTATION; TEMPORAL OPERATORS; TEMPORAL STRUCTURES; WORKFLOW CONTROL; WORKFLOW SPECIFICATION;

SPECIFICATION LANGUAGES;

SPECIFICATIONS;

EID: 84880543245     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2463664.2463672     Document Type: Conference Paper

References (23)

1. P. A. Abdulla and B. Jonsson. Verifying programs with unreliable channels. Inf. and Comp., 127(2), 1996.
2. S. Abiteboul, E. Antoine, and J. Stoyanovich. Viewing the web as a distributed knowledge base. In ICDE, 2012.
3. S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project: an overview. VLDB J., 17(5), 2008.
4. S. Abiteboul, M. Bienvenu, A. Galland, and E. Antoine. A rule-based language for web data management. In PODS, pages 293-304, 2011.
5. S. Abiteboul, P. Bourhis, and V. Vianu. Comparing workflow specification languages: A matter of views. TODS, 37(2), 2012.
6. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
7. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. JCSS, 43(1), 1991.
8. 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.
9. 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.
10. D. Brand and P. Zafiropulo. On communicating finite-state machines. JACM, 30(2), 1983.
11. J. Brzozwski and E. Leiss. Finite automata and sequential networks. Theoretical Computer Science, 10, 1980.
12. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In PODS, 2006.
13. 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.
14. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
15. T. J. Green, G. Karvounarakis, N. E. Taylor, O. Biton, Z. G. Ives, and V. Tannen. Orchestra: facilitating collaborative data sharing. In SIGMOD, 2007.
16. J. M. Hellerstein. The declarative imperative: experiences and conjectures in distributed logic. SIGMOD Record, 39(1), 2010.
17. R. Hull. Web services composition: A story of models, automata, and logics. In ICSOC, 2005.
18. R. Hull and J. Su. Tools for composite web services: a short overview. SIGMOD Record, 34(2): 86-95, 2005.
19. T. Imieliński and W. Lipski. Incomplete information in relational databases. JACM, 31(4), 1984.
20. 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.
21. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3): 428-445, 2003.
22. 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.
23. M. Vardi. An automata-theoretic approach to linear temporal logic. In Banff Higher Order Workshop, 1995.