Querying and monitoring distributed business processes

Proceedings of the VLDB Endowment

Volumn 1, Issue 2, 2008, Pages 1512-1515

  Milo, Tova ^a   Deutch, Daniel ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84863977383     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1454159.1454216     Document Type: Article

References (39)

1. S. Abiteboul, Zoe Abrams, Stefan Haar, and T. Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue! In Proc. of ACM PODS, 2005.
2. S. Abiteboul, A. Bonifati, G. Cobena, I. Manolescu, and T. Milo. Dynamic xml documents with distribution and replication. In Proc. of ACM SIGMOD, 2003.
3. A. Arasu, S. Babu, and J. Widom. The cql continuous query language: semantic foundations and query execution. The VLDB Journal, 15(2): 121-142, 2006.
4. BEA. Weblogic application server. http://www.bea.com.
5. C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes. In Proc. of VLDB, 2006.
6. C. Beeri, A. Eyal, T. Milo, and A. Pilberg. Monitoring business processes with queries. In Proc. of VLDB, 2007.
7. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. In Proc. of VLDB, 2005.
8. Business Process Execution Language for Web Services. http://www.ibm.com/developerworks/library/ws- bpel/.
9. M. Castellanos, F. Casati, M. Shan, and U. Dayal. ibom: A platform for intelligent business operation management. In ICDE, pages 1084-1095, 2005.
10. L. Chen, A. Gupta, and E. Kurul. Stack-based Algorithms for Pattern Matching on DAGs. In Proc. of VLDB, 2005.
11. E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, Cambridge, MA, USA, 1999.
12. M. Consens and A. Mendelzon. The g+/graphlog visual query system. In Proc. of ACM SIGMOD, page 388, 1990.
13. D. Deutch and T. Milo. Querying structural and behavioral properties of business processes. In Proc. of DBPL, 2007.
14. D. Deutch and T. Milo. Type inference and type checking for queries on execution traces. In Proc. of VLDB, 2008.
15. A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A verifier for interactive, data-driven web applications. In Proc. of ACM SIGMOD, 2005.
16. E.Clarke, O. Grumberg, and D. Long. Verification Tools for Finite State Concurrent Systems. In A Decade of Concurrency-Reflections and Perspectives, volume 803, pages 124-175. Springer-Verlag, 1993.
17. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing xpath queries. ACM Trans. Database Syst., 30(2):444-491, 2005.
18. A. K. Gupta and D. Suciu. Stream Processing of XPath Queries with Predicates. In Proc. of ACM SIGMOD, 2003.
19. A. Halevy, Z. Ives, J. Madhavan, P. Mork, D. Suciu, and I. Tatarinov. The piazza peer-data management system. Trans. on Knowledge and Data Engineering, 16(7):787-798, 2004.
20. HP. Openview bpi. http://www.hp.com.
21. Ilog jviews. http://www.ilog.com/products/jviews/.
22. N. Koudas and D. Srivastava. Data Stream Query Processing. In Proc. of VLDB, 2003.
23. M. Lam, J., V. B. Livshits, M. Martin, D. Avots, M. Carbin, and C. Unkel. Context-sensitive program analysis as database queries. In PODS, 2005.
24. F. Leymann. Web Services Flow Language (WSFL) 1.1, May 2001. http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
25. X. Li and G. Agrawal. Efficient Evaluation of XQuery over Streaming Data. In Proc. of VLDB, 2005.
26. Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York, NY, USA, 1992.
27. J. McHugh and J. Widom. Query optimization for XML. In The VLDB Journal, pages 315-326, 1999.
28. S. Narayanan and S. McIlraith. Analysis and simulation of web services. Compute Networks, 42:675-693, 2003.
29. Oracle BPEL Process Manager 2.0 Quick Start Tutorial. http://www.oracle.com/technology/products/ias/bpel/index.html.
30. J. Paredaens, P. Peelman, and L. Tanca. G-log: A graph-based query language. IEEE Trans. Knowl. Data Eng., 7(3):436-453, 1995.
31. D. Roman and M. Kifer. Reasoning about the behavior of semantic web services with concurrent transaction logic. In Proc. of VLDB, 2007.
32. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In POPL, 1999.
33. D. M. Sayal, F. Casati, U. Dayal, and M. Shan. Business Process Cockpit. In Proc. of VLDB, 2002.
34. D. Suciu. Distributed query evaluation on semistructured data. Database Systems, 27(1):1-62, 2002.
35. B. van Dongen, A. de Medeiros, H. Verbeek, A. Weijters, and W. van der Aalst. The prom framework: A new era in process mining tool support. In ICATPN, pages 444-454, 2005.
36. M. Vrhovnik, H. Schwarz, O. Suhre, B. Mitschang, V. Markl, A. Maier, and T. Kraft. An approach to optimize data processing in business processes. In Proc. of VLDB, 2007.
37. The World Wide Web Consortium. http://www.w3.org/.
38. Y. Wu and H. Jagadish. Structural join order selection for xml query optimization, 2003.
39. XLANG: Web Services for Business Process Design. http://www.gotdotnet.com/team/xml wsspecs/xlang- c/default.htm.