{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T08:41:47Z","timestamp":1789202507241,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307928","type":"print"},{"value":"9783642307935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_5","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T07:34:33Z","timestamp":1339140873000},"page":"67-83","source":"Crossref","is-referenced-by-count":12,"title":["Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs"],"prefix":"10.1007","author":[{"given":"Kais","family":"Klai","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0378-7206(99)00038-5","volume":"37","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management\u00a037, 67\u201375 (2000)","journal-title":"Information and Management"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1025182201690","volume":"4","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P.: Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management\u00a04, 345\u2013389 (2003)","journal-title":"Information Technology and Management"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 157\u2013170. Springer, Heidelberg (2001)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: ICWS 2006: Proceedings of the IEEE International Conference on Web Services, pp. 145\u2013152. IEEE (2006)","DOI":"10.1109\/ICWS.2006.37"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-30476-0_19","volume-title":"Automated Technology for Verification and Analysis","author":"S. Haddad","year":"2004","unstructured":"Haddad, S., Ili\u00e9, J.-M., Klai, K.: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 196\u2013210. Springer, Heidelberg (2004)"},{"key":"5_CR8","unstructured":"Klai, K., Ochi, H.: Modular verification of inter-enterprise business processes. In: The Fourth International Conference on Information, Process, and Knowledge Management, eKNOW 2012, pp. 155\u2013161. IEEE (2012)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Klai, K., Petrucci, L.: Modular construction of the symbolic observation graph. In: ACSD, pp. 88\u201397. IEEE (2008)","DOI":"10.1109\/ACSD.2008.4574600"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-68746-7_20","volume-title":"Applications and Theory of Petri Nets","author":"K. Klai","year":"2008","unstructured":"Klai, K., Poitrenaud, D.: MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 288\u2013306. Springer, Heidelberg (2008)"},{"issue":"5","key":"5_CR11","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/j.datak.2011.01.007","volume":"70","author":"K. Klai","year":"2011","unstructured":"Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng.\u00a070(5), 467\u2013482 (2011)","journal-title":"Data Knowl. Eng."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Petrifying operating guidelines for services. In: ACSD, pp. 80\u201388. IEEE (2009)","DOI":"10.1109\/ACSD.2009.11"},{"key":"5_CR13","first-page":"12","volume":"65","author":"A. Martens","year":"2003","unstructured":"Martens, A.: On compatibility of web services. Petri Net Newsletter, Special Interest Groups on Petri Nets and Related Systems Models, Gesellschaft fur Informatik e.V.\u00a065, 12\u201320 (2003)","journal-title":"Petri Net Newsletter, Special Interest Groups on Petri Nets and Related Systems Models, Gesellschaft fur Informatik e.V."},{"key":"5_CR14","unstructured":"Martens, A.: On Usability of Web Services. In: Calero, C., Daz, O., Piattini, M. (eds.) Web Services Quality Workshop (2003)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11948148_25","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"F. Puhlmann","year":"2006","unstructured":"Puhlmann, F., Weske, M.: Interaction Soundness for Service Orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 302\u2013313. Springer, Heidelberg (2006)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11841760_13","volume-title":"Business Process Management","author":"J. Siegeris","year":"2006","unstructured":"Siegeris, J., Zimmermann, A.: Workflow Model Compositions Preserving Relaxed Soundness. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 177\u2013192. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0167-6423(01)00005-3","volume":"42","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M., van der Toorn, R.A.: Component-based software architectures: a framework based on inheritance of behavior. Sci. Comput. Program.\u00a042(2-3), 129\u2013171 (2002)","journal-title":"Sci. Comput. Program."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K.M. Hee van","year":"2003","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:30:52Z","timestamp":1620113452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}