{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:02:02Z","timestamp":1742392922756},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759867"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75987-4_12","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T13:29:16Z","timestamp":1191504556000},"page":"169-185","source":"Crossref","is-referenced-by-count":11,"title":["Querying Structural and Behavioral Properties of Business Processes"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Deutch","sequence":"first","affiliation":[]},{"given":"Tova","family":"Milo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Abrams, Z., Haar, S., Milo, T.: Diagnosis of asynchronous discrete event systems: datalog to the rescue! In: Proc. of PODS 2005 (2005)","DOI":"10.1145\/1065167.1065214"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: Positive active xml. In: Proc. of PODS 2004 (2004)","DOI":"10.1145\/1055558.1055564"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51171-7","volume-title":"Nested Relations and Complex Objects in Databases","author":"S. Abiteboul","year":"1989","unstructured":"Abiteboul, S., Fischer, P.C., Schek, H.J.: Nested Relations and Complex Objects in Databases. LNCS, vol.\u00a0361. Springer, Heidelberg (1989)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst.\u00a027(4) (2005)","DOI":"10.1145\/1075382.1075387"},{"key":"12_CR5","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying Business Processes with BP-QL (demo). In: Proc. of VLDB (2005)"},{"key":"12_CR6","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Proc. of VLDB (2006)"},{"key":"12_CR7","unstructured":"Business Process Execution Language for Web Services. http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"12_CR8","unstructured":"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"},{"key":"12_CR9","unstructured":"Buneman, P., Cong, G., Fan, W., Kementsietsidis, A.: Using partial evaluation in distributed query evaluation. In: Proc. of VLDB (2006)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084787","volume-title":"CONCUR \u201992","author":"O. Burkart","year":"1992","unstructured":"Burkart, O., Steffen, B.: Model checking for context-free processes. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, Springer, Heidelberg (1992)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Chamberlin, D.: Xquery: a query language for xml. In: Proc. of SIGMOD (2003)","DOI":"10.1145\/872757.872877"},{"key":"12_CR12","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Consens, M., Mendelzon, A.: The g+\/graphlog visual query system. In: Proc. of SIGMOD (1990)","DOI":"10.1145\/93597.98748"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: The monadic second-order logic of graphs. Inf. Comput.\u00a085(1) (1990)","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of communicating data-driven web services. In: Proc. of PODS (2006)","DOI":"10.1145\/1142351.1142364"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Dovier, A., Piazza, C.: The subgraph bisimulation problem. IEEE Trans. Knowl. Eng.\u00a015(4) (2003)","DOI":"10.1109\/TKDE.2003.1209024"},{"key":"12_CR17","unstructured":"Querying structural and behavioral properties of business processes - full version. http:\/\/www.cs.tau.ac.il\/~danielde\/BPQLFull.pdf\/"},{"key":"12_CR18","volume-title":"Computer and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computer and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Grohe, M.: Parameterized complexity for the database theorist. SIGMOD Rec.\u00a031(4) (2002)","DOI":"10.1145\/637411.637428"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Janssens, D., Rozenberg, G.: Graph grammars with node-label controlled rewriting and embedding. In: Proc. of COMPUGRAPH (1983)","DOI":"10.1007\/BFb0000107"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1065167.1065169"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Lengauer, T., Wanke, E.: Efficient decision procedures for graph properties on context-free graph languages. J. ACM\u00a040(2) (1993)","DOI":"10.1145\/151261.151268"},{"key":"12_CR23","unstructured":"Oracle BPEL Process Manager 2.0 Quick Start Tutorial. http:\/\/www.oracle.com\/technology\/products\/ias\/bpel\/index.html"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Pavlidis, T.: Linear and context-free graph grammars. J. ACM\u00a019(1) (1972)","DOI":"10.1145\/321679.321682"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Schurr, A.: Logic based programmed structure rewriting systems. Fundam. Inf.\u00a026(3-4) (1996)","DOI":"10.3233\/FI-1996-263407"},{"key":"12_CR26","unstructured":"The World Wide Web Consortium. http:\/\/www.w3.org\/"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75987-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:27:55Z","timestamp":1605763675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75987-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759867"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75987-4_12","relation":{},"subject":[]}}