{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T03:03:20Z","timestamp":1774926200279,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319068589","type":"print"},{"value":"9783319068596","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06859-6_23","type":"book-chapter","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T08:58:33Z","timestamp":1399021113000},"page":"256-270","source":"Crossref","is-referenced-by-count":8,"title":["Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL"],"prefix":"10.1007","author":[{"given":"George","family":"Baryannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Ali, S.A., Roop, P.S., Warren, I., Bhatti, Z.E.: Unified Management of Control Flow and Data Mismatches in Web Service Composition. In: Gao, J.Z., Lu, X., Younas, M., Zhu, H. (eds.) SOSE, pp. 93\u2013101. IEEE (2011)","DOI":"10.1109\/SOSE.2011.6139097"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Baryannis, G., Carro, M., Plexousakis, D.: Deriving Specifications for Composite Web Services. In: COMPSAC, pp. 432\u2013437 (2012)","DOI":"10.1109\/COMPSAC.2012.64"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Baryannis, G., Garefalakis, P., Kritikos, K., Magoutis, K., Papaioannou, A., Plexousakis, D., Zeginis, C.: Lifecycle Management of Service-based Applications on Multi-Clouds: A Research Roadmap. In: Proceedings of the International workshop on Multi-Cloud Applications and Federated Clouds, pp. 13\u201320. ACM (2013)","DOI":"10.1145\/2462326.2462331"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-38709-8_17","volume-title":"Advanced Information Systems Engineering","author":"G. Baryannis","year":"2013","unstructured":"Baryannis, G., Plexousakis, D.: WSSL: A Fluent Calculus-Based Language for Web Service Specifications. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol.\u00a07908, pp. 256\u2013271. Springer, Heidelberg (2013)"},{"issue":"3-4","key":"23_CR5","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. Artif. Intell.\u00a0174(3-4), 316\u2013361 (2010)","journal-title":"Artif. Intell."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Bhuvaneswari, A., Karpagam, G.R.: Applying Fluent Calculus for Automated and Dynamic Semantic Web Service Composition. In: Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications (2010)","DOI":"10.1145\/1874590.1874606"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Chifu, V.R., Salomie, I., Harsa, I., Gherga, M.: Semantic Web Service Composition Method Based on Fluent Calculus.. In: Watt, S.M., Negru, V., Ida, T., Jebelean, T., Petcu, D. (eds.) SYNASC, pp. 325\u2013332. IEEE Computer Society (2009)","DOI":"10.1109\/SYNASC.2009.34"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs). RFC 3987 (2005)","DOI":"10.17487\/rfc3987"},{"key":"23_CR9","unstructured":"Farrell, J., Lausen, H.: Semantic Annotations for WSDL and XML Schema. World Wide Web Consortium, Recommendation REC-sawsdl-20070828 (August 2007)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Klusch, M., Gerber, A.: Semantic Web Service Composition Planning with OWLS-Xplan. In: Proceedings of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web, pp. 55\u201362 (2005)","DOI":"10.1109\/WI-IATW.2006.68"},{"issue":"4","key":"23_CR11","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/TSC.2009.26","volume":"2","author":"K. Kritikos","year":"2009","unstructured":"Kritikos, K., Plexousakis, D.: Requirements for QoS-based web service description and discovery. IEEE T. Services Computing\u00a02(4), 320\u2013337 (2009)","journal-title":"IEEE T. Services Computing"},{"key":"23_CR12","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic Markup for Web Services (2004)"},{"key":"23_CR13","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0. Specification (April 2007)"},{"key":"23_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.\u00a03532, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-642-02463-4_17","volume-title":"Conceptual Modeling: Foundations and Applications","author":"S. Sohrabi","year":"2009","unstructured":"Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web Service Composition via the Customization of Golog Programs with User Preferences. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 319\u2013334. Springer, Heidelberg (2009)"},{"key":"23_CR16","volume-title":"Semantic Web Services","year":"2007","unstructured":"Studer, R., Grimm, S., Abecker, A. (eds.): Semantic Web Services. Springer, Berlin (2007), \n                    \n                      http:\/\/www.springerlink.com\/content\/kj5458\/"},{"issue":"10","key":"23_CR17","doi-asserted-by":"publisher","first-page":"13024","DOI":"10.1016\/j.eswa.2011.04.102","volume":"38","author":"X. Tang","year":"2011","unstructured":"Tang, X., Jiang, C., Zhou, M.: Automatic Web service composition based on Horn clauses and Petri nets. Expert Syst. Appl.\u00a038(10), 13024\u201313031 (2011)","journal-title":"Expert Syst. Appl."},{"key":"23_CR18","unstructured":"Thielscher, M.: The Fluent Calculus. Tech. Rep. CL-2000-01. Dresden University of Technology (2000)"},{"key":"23_CR19","unstructured":"Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. CoRR cs.AI\/0408044 (2004)"},{"key":"23_CR20","series-title":"Applied Logic Series","volume-title":"Reasoning Robots","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: Reasoning Robots. Applied Logic Series, vol.\u00a033. Springer, Netherlands (2005)"},{"key":"23_CR21","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.\u00a03298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"23_CR22","unstructured":"WSML Working Group: The Web Service Modeling Language WSML (2008), \n                    \n                      http:\/\/www.wsmo.org\/wsml\/wsml-syntax"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06859-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:59:22Z","timestamp":1558882762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06859-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068589","9783319068596"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06859-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}