{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:37:52Z","timestamp":1780627072625,"version":"3.54.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319152004","type":"print"},{"value":"9783319152011","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15201-1_25","type":"book-chapter","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T14:31:11Z","timestamp":1422714671000},"page":"376-388","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Generation of Context-Abstract Plans"],"prefix":"10.1007","author":[{"given":"\u0141ukasz","family":"Mikulski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur","family":"Niewiadomski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcin","family":"Pi\u0105tkowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Smyczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,2,1]]},"reference":[{"issue":"1","key":"25_CR1","first-page":"1636","volume":"90","author":"AL Blum","year":"1995","unstructured":"Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artif. Intell. 90(1), 1636\u20131642 (1995)","journal-title":"Artif. Intell."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Chifu, V.R., Salomie, I., St. Chifu, E.: Fluent calculus-based web service composition - from owl-s to fluent calculus. In: ICCP 2008, pp. 161\u2013168 (2008)","DOI":"10.1109\/CIMCA.2008.118"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"1","key":"25_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/FI-2011-578","volume":"112","author":"D Doliwa","year":"2011","unstructured":"Doliwa, D., et al.: PlanICS - a web service compositon toolset. Fundam. Inform. 112(1), 47\u201371 (2011)","journal-title":"Fundam. Inform."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Zou, G., et al.: AI planning and combinatorial optimization for web service composition in cloud computing. In: CCV 2010, pp. 1\u20138 (2010)","DOI":"10.5176\/978-981-08-5837-7_166"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Li, Z., et al.: Effort-oriented classification matrix of web service composition. In: ICIV 2010, pp. 357\u2013362 (2010)","DOI":"10.1109\/ICIW.2010.59"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Gehlot, V., Edupuganti, K.: Use of colored petri nets to model, analyze, and evaluate service composition and orchestration. In: HICSS 2009, pp. 1\u20138 (2009)","DOI":"10.1109\/HICSS.2009.487"},{"issue":"3","key":"25_CR8","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.entcs.2008.04.099","volume":"200","author":"P H\u00f6fner","year":"2008","unstructured":"H\u00f6fner, P., Lautenbacher, F.: Algebraic structure of web services. Electron. Notes Theoret. Comput. Sci. 200(3), 171\u2013187 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Report PB-78, Aarhus University (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"issue":"2","key":"25_CR10","first-page":"229","volume":"23","author":"\u0141 Mikulski","year":"2013","unstructured":"Mikulski, \u0141., Pi\u0105tkowski, M., Smyczy\u0144ski, S.: Algorithmics of posets generated by words over partially commutative alphabets (extended). Sci. Ann. Comp. Sci. 23(2), 229\u2013249 (2013)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Mitra, S., Kumar, R., Basu, S.: Automated choreographer synthesis for web services composition using I\/O automata. In: ICWS 2007, pp. 364\u2013371 (2007)","DOI":"10.1109\/ICWS.2007.47"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Niewiadomski, A., Penczek, W.: Towards SMT-based abstract planning in PlanICS ontology. In: KEOD 2013, pp. 123\u2013131 (2013)","DOI":"10.5220\/0004514901230131"},{"key":"25_CR13","unstructured":"OWL 2 web ontology language document overview (2009). http:\/\/www.w3.org\/TR\/owl2-overwiew\/"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11431053_4","volume-title":"The Semantic Web: Research and Applications","author":"J Peer","year":"2005","unstructured":"Peer, J.: A POP-based replanning agent for automatic web service composition. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Skaruz, J., Niewiadomski, A., Penczek, W.: Automated abstract planning with use of genetic algorithms. In: GECCO 2013, pp. 129\u2013130 (2013)","DOI":"10.1145\/2464576.2464640"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P Traverso","year":"2004","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-63890-3_11","volume-title":"Algorithms and Computation","author":"T Uno","year":"1997","unstructured":"Uno, T.: Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. In: Leong, H.-V., Jain, S., Imai, H. (eds.) ISAAC 1997. LNCS, vol. 1350, pp. 92\u2013101. Springer, Heidelberg (1997)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Wang, B., Haller, A., Rosenberg, F.: Generating workflow models from owl-s service descriptions with a partial-order plan construction. In: ICWS 2011, pp. 714\u2013715 (2011)","DOI":"10.1109\/ICWS.2011.88"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Yu, T., Lin, K.-J.: Service selection algorithms for web services with end-to-end qos constraints. In: CEC 2004, pp. 129\u2013136. IEEE (2004)","DOI":"10.1109\/ICECT.2004.1319726"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15201-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T03:09:16Z","timestamp":1747537756000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15201-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319152004","9783319152011"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15201-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}