{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T02:27:08Z","timestamp":1743647228012},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540793953"},{"type":"electronic","value":"9783540793960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79396-0_17","type":"book-chapter","created":{"date-parts":[[2008,4,30]],"date-time":"2008-04-30T04:10:58Z","timestamp":1209528658000},"page":"189-200","source":"Crossref","is-referenced-by-count":8,"title":["Advanced Querying and Reasoning on Business Process Models"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Markovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","first-page":"535","volume-title":"ICEBE","author":"M. Hepp","year":"2005","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management. In: Lau, F.C.M., Lei, H., Meng, X., Wang, M. (eds.) ICEBE, pp. 535\u2013540. IEEE Computer Society, Los Alamitos (2005)"},{"key":"17_CR2","unstructured":"Markovic, I., Pereira, A.C., de Francisco, D., Munoz, H.: Querying in business process modeling. In: SeMSoC: Proceedings of the 2nd International Workshop on Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing, Vienna, Austria, 2007 (to appear)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Sangiorgi: A theory of bisimulation for the pi-calculus. ACTAINF: Acta Informatica\u00a033 (1996)","DOI":"10.1007\/s002360050036"},{"issue":"9","key":"17_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"Curtis, B., Kellner, M.I., Over, J.: Process modeling. Comm. of the ACM\u00a035(9), 75\u201390 (1992)","journal-title":"Comm. of the ACM"},{"key":"17_CR5","volume-title":"Workflow Management: Modeling Concepts, Architecture, and Implementation","author":"S. Jablonski","year":"1996","unstructured":"Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK (1996)"},{"key":"17_CR6","unstructured":"Markovic, I., Pereira, A.C.: Towards a formal framework for reuse in business process modeling. In: semantics4ws: Proceedings of the 2nd International Workshop on Advances in Semantics for Web services, Brisbane, Australia, 2007 (to appear)"},{"key":"17_CR7","unstructured":"Puhlmann, F.: Why do we actually need the pi-calculus for business process management? In: Abramowicz, W., Mayr, H.C. (eds.) BIS, LNI, GI, vol.\u00a085, pp. 77\u201389 (2006)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: Business Process Management, pp. 153\u2013168 (2005)","DOI":"10.1007\/11538394_11"},{"key":"17_CR9","unstructured":"Overdick, H., Puhlmann, F., Weske, M.: Towards a formal model for agile service discovery and integration. In: International Workshop on Dynamic Web Processes, associated with the 3rd International Conference on Service Oriented Computing, Amsterdam, The Netherlands (2005)"},{"key":"17_CR10","unstructured":"Puhlmann, F.: A tool chain for lazy soundness. In: Business Process Management, pp. 9\u201316 (2006)"},{"key":"17_CR11","unstructured":"Anja Bog, F.P.: A tool for the simulation of pi-calculus systems. In: Open.BPM 2006: Gesch\u00e4ftsprozessmanagement mit Open Source-Technologien, Hamburg, Germany (2006)"},{"key":"17_CR12","first-page":"159","volume-title":"Proceedings of the \u00a016th\u00a0 International Conference on Software Engineering","author":"E.S.K. Yu","year":"1994","unstructured":"Yu, E.S.K., Mylopoulos, J.: Understanding \u201cwhy\u201d in software process modeling, analysis, and design. In: Proceedings of the \u00a016th\u00a0 International Conference on Software Engineering, pp. 159\u2013168. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Kifer, Lausen, Wu: Logical foundations of object-oriented and frame-based languages. JACM: Journal of the ACM\u00a042 (1995)","DOI":"10.1145\/210332.210335"},{"key":"17_CR14","unstructured":"BPMI: Business Process Query Language, http:\/\/www.service-architecture.com\/web-services\/articles\/business_process_query_language_bpql.html"},{"key":"17_CR15","first-page":"343","volume-title":"VLDB","author":"C. Beeri","year":"2006","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Dayal, U., Whang, K.Y., Lomet, D.B., Alonso, G., Lohman, G.M., Kersten, M.L., Cha, S.K., Kim, Y.K. (eds.) VLDB, pp. 343\u2013354. ACM, New York (2006)"},{"key":"17_CR16","first-page":"409","volume-title":"IEEE SCC","author":"Y. Mou","year":"2004","unstructured":"Mou, Y., Cao, J., sheng Zhang, S.: A process component model for enterprise business knowledge reuse. In: IEEE SCC, pp. 409\u2013412. IEEE Computer Society, Los Alamitos (2004)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench \u2014 a tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79396-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T17:25:29Z","timestamp":1557509129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79396-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540793953","9783540793960"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79396-0_17","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}