{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:59:08Z","timestamp":1725814748147},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319141299"},{"type":"electronic","value":"9783319141305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14130-5_14","type":"book-chapter","created":{"date-parts":[[2014,12,22]],"date-time":"2014-12-22T01:11:06Z","timestamp":1419210666000},"page":"188-203","source":"Crossref","is-referenced-by-count":0,"title":["Template-Based Generation of Semantic Services"],"prefix":"10.1007","author":[{"given":"Felix","family":"Mohr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Walther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., de Boer, F., Olderog, E.R.: Verification of sequential and concurrent programs. Springer (2009)","DOI":"10.1007\/978-1-84882-745-5"},{"issue":"4","key":"14_CR2","first-page":"793","volume":"30","author":"P. Bartalos","year":"2012","unstructured":"Bartalos, P., Bielikov\u00e1, M.: Automatic dynamic web service composition: A survey and problem formalization. Computing and Informatics\u00a030(4), 793\u2013827 (2012)","journal-title":"Computing and Informatics"},{"issue":"3","key":"14_CR3","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P. Bertoli","year":"2010","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artificial Intelligence\u00a0174(3), 316\u2013361 (2010)","journal-title":"Artificial Intelligence"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Cavallaro, L., Nitto, E.D., Furia, C.A., Pradella, M.: A tile-based approach for self-assembling service compositions. In: Proceedings of 15th International Conference on Engineering of Complex Computer Systems, pp. 43\u201352 (2010)","DOI":"10.1109\/ICECCS.2010.6"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-30569-9_6","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"D.R. Cok","year":"2005","unstructured":"Cok, D.R., Kiniry, J.R.: ESC\/Java2: Uniting ESC\/Java and JML. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 108\u2013128. Springer, Heidelberg (2005)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-13489-0_2","volume-title":"The Semantic Web: Research and Applications","author":"M. Junghans","year":"2010","unstructured":"Junghans, M., Agarwal, S., Studer, R.: Towards practical semantic web service discovery. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol.\u00a06089, pp. 15\u201329. Springer, Heidelberg (2010)"},{"issue":"1","key":"14_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.3233\/WIA-2009-0153","volume":"7","author":"M. Klusch","year":"2009","unstructured":"Klusch, M., Kaufer, F.: WSMO-MX: A hybrid semantic web service matchmaker. Web Intelligence and Agent Systems\u00a07(1), 23\u201342 (2009)","journal-title":"Web Intelligence and Agent Systems"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Klusch, M., Zhing, X.: Deployed semantic services for the common user of the web: A reality check. In: Proceedings of the 2nd IEEE International Conference on Semantic Computing. pp. 347\u2013353. IEEE (2008)","DOI":"10.1109\/ICSC.2008.12"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"L\u00e9cu\u00e9, F., Silva, E., Pires, L.F.: A framework for dynamic web services composition. In: Emerging Web Services Technology, vol.\u00a0II, pp. 59\u201375. Springer (2008)","DOI":"10.1007\/978-3-7643-8864-5_5"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Mohr, F., Kleine B\u00fcning, H.: Semi-automated software composition through generated components. In: Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services. ACM (2013)","DOI":"10.1145\/2539150.2539235"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th International World Wide Web Conference (WWW 2011), pp. 77\u201388. ACM (2002)","DOI":"10.1145\/511446.511457"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Schulte, S., Lampe, U., Eckert, J., Steinmetz, R.: LOG4SWS. KOM: self-adapting semantic web service discovery for SAWSDL. In: Proceedings of the 6th World Congress on Services, pp. 511\u2013518. IEEE (2010)","DOI":"10.1109\/SERVICES.2010.40"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/978-3-642-17746-0_45","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"S. Sohrabi","year":"2010","unstructured":"Sohrabi, S., McIlraith, S.A.: Preference-based web service composition: A middle ground between execution and search. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 713\u2013729. Springer, Heidelberg (2010)"},{"key":"14_CR15","first-page":"313","volume-title":"Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010","author":"S. Srivastava","year":"2010","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, pp. 313\u2013326. ACM, New York (2010)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Walther, S., Wehrheim, H.: Knowledge-based verification of service compositions \u2013 An SMT approach. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, pp. 24\u201332 (2013)","DOI":"10.1109\/ICECCS.2013.14"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Walther, S., Wehrheim, H.: Verified service compositions by template-based construction. In: Formal Aspects of Component Software. LNCS. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-15317-9_3"}],"container-title":["Lecture Notes in Computer Science","Software Reuse for Dynamic Systems in the Cloud and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14130-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,28]],"date-time":"2020-08-28T04:02:12Z","timestamp":1598587332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14130-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319141299","9783319141305"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14130-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}