{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:46Z","timestamp":1725746806770},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_17","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:26:23Z","timestamp":1377753983000},"page":"267-282","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Checking Compatibility of Web Services Behaviorally"],"prefix":"10.1007","author":[{"given":"Kais","family":"Klai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanen","family":"Ochi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"17_CR1","unstructured":"Aalst, V.D.: The application of petri nets to workflow management (1998)"},{"issue":"3","key":"17_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"17_CR3","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/TASE.2012.2188511","volume":"9","author":"Y. Du","year":"2012","unstructured":"Du, Y., Li, X., Xiong, P.: A petri net approach to mediation-aided composition of web services. IEEE T. Automation Science and Engineering 9(2), 429\u2013435 (2012)","journal-title":"IEEE T. Automation Science and Engineering"},{"key":"17_CR4","doi-asserted-by":"crossref","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. 3299, pp. 196\u2013210. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30476-0_19"},{"key":"17_CR5","unstructured":"Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: ADC 2003, pp. 191\u2013200 (2003)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220\u2013235. Springer, Heidelberg (2005)","DOI":"10.1007\/11538394_15"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Klai, K., Desel, J.: Checking soundness of business processes compositionally using symbolic observation graphs. In: Giese, H., Rosu, G. (eds.) FMOODS\/FORTE 2012. LNCS, vol. 7273, pp. 67\u201383. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-30793-5_5"},{"key":"17_CR8","unstructured":"Klai, K., Ochi, H.: Modular verification of inter-enterprise business processes. In: eKNOW, pp. 155\u2013161 (2012)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Klai, K., Petrucci, L.: Modular construction of the symbolic observation graph. In: ACSD, pp. 88\u201397 (2008)","DOI":"10.1109\/ACSD.2008.4574600"},{"key":"17_CR10","doi-asserted-by":"crossref","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. 5062, pp. 288\u2013306. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68746-7_20"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 294\u2013309. Springer-Verlag, Heidelberg (2009)","DOI":"10.1007\/978-3-642-03848-8_20"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 294\u2013309. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-03848-8_20"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17\u201332. Springer, Heidelberg (2006)","DOI":"10.1007\/11841760_3"},{"key":"17_CR14","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the soa. Annals of Mathematics, Computing and Teleinformatics 1, 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing and Teleinformatics"},{"key":"17_CR15","unstructured":"Petri, C.A.: Concepts of net theory. In: MFCS 1973, pp. 137\u2013146. Mathematical Institute of the Slovak Academy of Sciences (1973)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 172\u2013191. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00899-3_10"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing: Applicable Formal Methods 23(3), 333\u2013363 (2010)","DOI":"10.1007\/s00165-010-0161-4"},{"issue":"1","key":"17_CR18","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst","year":"2010","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J. 53(1), 90\u2013106 (2010)","journal-title":"Comput. J."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Xiong, P., Fan, Y., Zhou, M.: A petri net approach to analysis and composition of web services. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 376\u2013387 (2010)","DOI":"10.1109\/TSMCA.2009.2037018"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:13:31Z","timestamp":1558304011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"30 August 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}