Querying structural and behavioral properties of business processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4797 LNCS, Issue , 2007, Pages 169-185

  Deutch, Daniel ^a   Milo, Tova ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; POLYNOMIALS;

QUERY EVALUATION ALGORITHM; REWRITING SYSTEMS;

QUERY LANGUAGES;

EID: 38449113336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75987-4_12     Document Type: Conference Paper

References (26)

1. Abiteboul, S., Abrams, Z., Haar, S., Milo, T.: Diagnosis of asynchronous discrete event systems: datalog to the rescue! In: Proc. of PODS 2005 (2005)
2. Abiteboul, S., Benjelloun, O., Milo, T.: Positive active xml. In: Proc. of PODS 2004 (2004)
3. Abiteboul, S., Fischer, P.C., Schek, H.J.: Nested Relations and Complex Objects in Databases. LNCS, vol. 361. Springer, Heidelberg (1989)
4. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27(4) (2005)
5. Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying Business Processes with BP-QL (demo). In: Proc. of VLDB (2005)
6. Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Proc. of VLDB (2006)
7. Business Process Execution Language for Web Services, http://www.ibm.com/developerworks/library/ws-bpel/
8. BPMI. Business process management initiative: Business process: Business process query language (bpql). http://www.service-architecture.com/web-services/ articles/business_process_query_language_bpql.html
9. Buneman, P., Cong, G., Fan, W., Kementsietsidis, A.: Using partial evaluation in distributed query evaluation. In: Proc. of VLDB (2006)
10. Burkart, O., Steffen, B.: Model checking for context-free processes. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, Springer, Heidelberg (1992)
11. Chamberlin, D.: Xquery: a query language for xml. In: Proc. of SIGMOD (2003)
12. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)
13. Consens, M., Mendelzon, A.: The g+/graphlog visual query system. In: Proc. of SIGMOD (1990)
14. Courcellc, B.: The monadic second-order logic of graphs. Inf. Comput. 85(1) (1990)
15. Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of communicating data-driven web services. In: Proc. of PODS (2006)
16. Dovier, A., Piazza, C.: The subgraph bisimulation problem. IEEE Trans. Knowl. Eng. 15(4) (2003)
17. Querying structural and behavioral properties of business processes - full version, http://www.cs.tau.ac.il/~danielde/BPQLFull.pdf/
18. Garey, M.R., Johnson, D.S.: Computer and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, New York (1979)
19. Grohe, M.: Parameterized complexity for the database theorist. SIGMOD Rec. 31(4) (2002)
20. Janssens, D., Rozenberg, G.: Graph grammars with node-label controlled rewriting and embedding. In: Proc. of COMPUGRAPH (1983)
21. Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: Proc. of PODS (2005)
22. Lengauer, T., Wanke, E.: Efficient decision procedures for graph properties on context-free graph languages. J. ACM 40(2) (1993)
23. Oracle BPEL Process Manager 2.0 Quick Start Tutorial. http://www.oracle.com/technology/products/ias/bpel/index.html
24. Pavlidis, T.: Linear and context-free graph grammars. J. ACM 19(1) (1972)
25. Schurr, A.: Logic based programmed structure rewriting systems. Fundam. Inf. 26(3-4) (1996)
26. The World Wide Web Consortium, http://www.w3.org/