{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T18:04:51Z","timestamp":1780596291679,"version":"3.54.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T00:00:00Z","timestamp":1496361600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010028","name":"University of Huddersfield","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100010028","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11761-017-0210-4","type":"journal-article","created":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T21:14:01Z","timestamp":1496438041000},"page":"301-314","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A specification-based QoS-aware design framework for service-based applications"],"prefix":"10.1007","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2118-5812","authenticated-orcid":false,"given":"George","family":"Baryannis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kyriakos","family":"Kritikos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,6,2]]},"reference":[{"key":"210_CR1","unstructured":"Andrieux A, Czajkowski K, Dan A, Keahey K, et\u00a0al (2011) Web services agreement specification (WS-Agreement). https:\/\/www.ogf.org\/documents\/GFD.192.pdf"},{"key":"210_CR2","volume-title":"Constraint logic programming using ECLiPSe","author":"KR Apt","year":"2007","unstructured":"Apt KR, Wallace M (2007) Constraint logic programming using ECLiPSe. Cambridge University Press, Cambridge"},{"issue":"6","key":"210_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MS.2007.174","volume":"24","author":"D Ardagna","year":"2007","unstructured":"Ardagna D, Comuzzi M, Mussi E, Pernici B, Plebani P (2007) PAWS: a framework for executing adaptive web-service processes. IEEE Softw 24(6):39\u201346","journal-title":"IEEE Softw"},{"key":"210_CR4","doi-asserted-by":"crossref","unstructured":"Barakat L, Miles S, Poernomo I, Luck M (2011) Efficient multi-granularity service composition. In: 2011 IEEE international conference on web services ICWS \u201911. IEEE Computer Society, Washington, pp 227\u2013234","DOI":"10.1109\/ICWS.2011.25"},{"key":"210_CR5","unstructured":"Baryannis G (2014) A novel specification and composition language for services. Ph.D. dissertation, University of Crete, Greece, http:\/\/elocus.lib.uoc.gr\/dlib\/f\/6\/e\/metadata-dlib-1415268652-781614-13324.tkl?lang=en"},{"key":"210_CR6","doi-asserted-by":"crossref","unstructured":"Baryannis G, Plexousakis D (2013) WSSL: a fluent calculus-based language for web service specifications. In: Salinesi C, Norrie MC, Pastor \u00d3 (eds) Advanced information systems engineering: proceedings of the 25th international conference, CAiSE 2013, LNCS, vol 7908. Springer, Berlin, pp 256\u2013271","DOI":"10.1007\/978-3-642-38709-8_17"},{"key":"210_CR7","doi-asserted-by":"crossref","unstructured":"Baryannis G, Plexousakis D (2014) Fluent calculus-based semantic web service composition and verification using WSSL. In: Lomuscio A et al (eds) Service-oriented computing ICSOC 2013 Workshops, LNCS, vol 8377. Springer International Publishing, Switzerland, pp 256\u2013270","DOI":"10.1007\/978-3-319-06859-6_23"},{"issue":"3\u20134","key":"210_CR8","doi-asserted-by":"crossref","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 (2010) Automated composition of web services by planning in asynchronous domains. Artif Intell 174(3\u20134):316\u2013361","journal-title":"Artif Intell"},{"issue":"3","key":"210_CR9","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J Cardoso","year":"2004","unstructured":"Cardoso J, Sheth AP, Miller JA, Arnold J, Kochut K (2004) Quality of service for workflows and web service processes. J Web Semant 1(3):281\u2013308","journal-title":"J Web Semant"},{"key":"210_CR10","unstructured":"Chinnici R, Moreau JJ, Ryman A, Weerawarana S (2007) Web services description language (WSDL) Version 2.0 Part 1: core language. World Wide Web Consortium, Recommendation, http:\/\/www.w3.org\/TR\/wsdl20"},{"issue":"4","key":"210_CR11","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1142\/S0218843005001225","volume":"14","author":"AR Cort\u00e9s","year":"2005","unstructured":"Cort\u00e9s AR, Mart\u00edn-D\u00edaz O, Toro AD, Toro M (2005) Improving the automatic procurement of web services using constraint programming. Int J Cooperative Inf Syst 14(4):439\u2013468","journal-title":"Int J Cooperative Inf Syst"},{"issue":"1","key":"210_CR12","first-page":"5:1","volume":"10","author":"R Eshuis","year":"2016","unstructured":"Eshuis R, Lcu F, Mehandjiev N (2016) Flexible construction of executable service compositions from reusable semantic knowledge. ACM TWEB 10(1):5:1\u20135:27","journal-title":"ACM TWEB"},{"key":"210_CR13","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S1574-6526(06)80006-4","volume-title":"Handbook of constraint programming, foundations of artificial intelligence","author":"EC Freuder","year":"2006","unstructured":"Freuder EC, Mackworth AK (2006) Constraint satisfaction: an emerging paradigm. In: Rossi F, van Beek P, Walsh T (eds) Handbook of constraint programming, foundations of artificial intelligence, vol 2. Elsevier, New York, pp 13\u201327"},{"key":"210_CR14","doi-asserted-by":"crossref","unstructured":"Gao F, Curry E, Ali MI, Bhiri S, Mileo A (2014) QoS-aware complex event service composition and optimization using genetic algorithms. In: Franch X, Ghose AK, Lewis GA, Bhiri S (eds) Service-oriented computing ICSOC 2014, LNCS, vol 8831. Springer, Berlin, pp 386\u2013393","DOI":"10.1007\/978-3-662-45391-9_28"},{"key":"210_CR15","unstructured":"Hilia M, Chibani A, Djouani K, Amirat Y (2012) Semantic service composition framework for multidomain ubiquitous computing applications. In: Liu C, Ludwig H, Toumani F, Yu Q (eds) Service-oriented computing ICSOC 2012, LNCS, vol 7636, Springer, Berlin, pp 450\u2013467"},{"key":"210_CR16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2716","volume":"35","author":"J Hoffmann","year":"2009","unstructured":"Hoffmann J, Bertoli P, Helmert M, Pistore M (2009) Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. J Artif Intell Res (JAIR) 35:49\u2013117","journal-title":"J Artif Intell Res (JAIR)"},{"key":"210_CR17","doi-asserted-by":"crossref","unstructured":"Jaeger MC, Rojec-Goldmann G, M\u00fchl G (2004) QoS aggregation for web service composition using workflow patterns. In: Proceedings of the 8th IEEE international enterprise distributed object computing conference EDOC \u201904. IEEE Computer Society, Washington, pp 149\u2013159","DOI":"10.1109\/EDOC.2004.1342512"},{"issue":"3","key":"210_CR18","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1504\/IJICA.2011.041913","volume":"3","author":"G Karpagam","year":"2011","unstructured":"Karpagam G, Bhuvaneswari A (2011) AI planning-based semantic web service composition. Int J Innov Comput Appl 3(3):126\u2013135. doi: 10.1504\/IJICA.2011.041913","journal-title":"Int J Innov Comput Appl"},{"issue":"1","key":"210_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A Keller","year":"2003","unstructured":"Keller A, Ludwig H (2003) The WSLA framework: specifying and monitoring service level agreements for web services. J Netw Syst Manag 11(1):57\u201381","journal-title":"J Netw Syst Manag"},{"issue":"2","key":"210_CR20","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1109\/TSC.2009.10","volume":"2","author":"K Kritikos","year":"2009","unstructured":"Kritikos K, Plexousakis D (2009a) Mixed-integer programming for QoS-based web service matchmaking. IEEE Trans Serv Comput 2(2):122\u2013139","journal-title":"IEEE Trans Serv Comput"},{"issue":"4","key":"210_CR21","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 (2009b) Requirements for QoS-based web service description and discovery. IEEE Trans Serv Comput 2(4):320\u2013337","journal-title":"IEEE Trans Serv Comput"},{"key":"210_CR22","doi-asserted-by":"crossref","first-page":"216","DOI":"10.4018\/978-1-61350-432-1.ch010","volume-title":"Handbook of research on service-oriented systems and non-functional properties, chap 10","author":"K Kritikos","year":"2012","unstructured":"Kritikos K, Plexousakis D (2012) Towards aligning and matchmaking QoS-based web service specifications. In: Reiff-Marganiec S, Tilly M (eds) Handbook of research on service-oriented systems and non-functional properties, chap 10. IGI Global, Hershey, pp 216\u2013257"},{"issue":"4","key":"210_CR23","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TSC.2013.11","volume":"7","author":"K Kritikos","year":"2014","unstructured":"Kritikos K, Plexousakis D (2014) Novel optimal and scalable non-functional service matchmaking techniques. IEEE Trans Serv Comput 7(4):614\u2013627","journal-title":"IEEE Trans Serv Comput"},{"key":"210_CR24","doi-asserted-by":"crossref","unstructured":"L\u00e9cu\u00e9 F, Silva E, Pires Ferreira L (2008) A framework for dynamic web services composition. In: Gschwind T, Pautasso C (eds) Emerging web services technology, vol II. Whitestein series in software agent technologies and autonomic computing. Birkh\u00e4user Basel, Switzerland, pp 59\u201375","DOI":"10.1007\/978-3-7643-8864-5_5"},{"issue":"3","key":"210_CR25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/2831270","volume":"48","author":"AL Lemos","year":"2016","unstructured":"Lemos AL, Daniel F, Benatallah B (2016) Web service composition: a survey of techniques and tools. ACM Comput Surv 48(3):33","journal-title":"ACM Comput Surv"},{"key":"210_CR26","doi-asserted-by":"crossref","unstructured":"Mabrouk NB, Beauche S, Kuznetsova E, Georgantas N, Issarny V (2009) QoS-aware service composition in dynamic service oriented environments. In: Bacon J, Cooper BF (eds) Middleware 2009: proceedings of the 10th international middleware conference, LNCS, vol 5896, Springer, pp 123\u2013142","DOI":"10.1007\/978-3-642-10445-9_7"},{"key":"210_CR27","doi-asserted-by":"crossref","unstructured":"Mabrouk NB, Georgantas N, Issarny V (2015) Set-based bi-level optimisation for QoS-aware service composition in ubiquitous environments. In: Zhu H, Miller JA (eds) IEEE international conference on web services ICWS\u2019 15, IEEE Computer Society, pp 25\u201332","DOI":"10.1109\/ICWS.2015.14"},{"key":"210_CR28","unstructured":"Martin D, Burstein M, et\u00a0al (2004) OWL-S: semantic markup for web services. http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2"},{"key":"210_CR29","unstructured":"Masetti M, Naselli A, Keller S (2015) Smart mobility and tourism scenario definition and requirements. Tech. rep., CHOReVOLUTION H2020 ICT9 Project, http:\/\/www.chorevolution.eu"},{"key":"210_CR30","doi-asserted-by":"crossref","unstructured":"Mello Ferreira A, Kritikos K, Pernici B (2009) Energy-aware design of service-based applications. In: Baresi L, Chi CH, Suzuki J (eds) Service-oriented computing: proceedings of the 7th international joint conference, ICSOC-ServiceWave 2009, LNCS, vol 5900. Springer, Berlin","DOI":"10.1007\/978-3-642-10383-4_7"},{"issue":"1\/2","key":"210_CR31","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1108\/00012530610648734","volume":"58","author":"R Miller","year":"2006","unstructured":"Miller R (2006) Three problems in logic-based knowledge representation. ASLIB Proc New Inf Perspect 58(1\/2):140\u2013151","journal-title":"ASLIB Proc New Inf Perspect"},{"key":"210_CR32","doi-asserted-by":"crossref","unstructured":"Papazoglou MP, Traverso P, Dustdar S, Leymann F (2007) Service-oriented computing: state of the art and research challenges. Computer 40(11):38\u201345","DOI":"10.1109\/MC.2007.400"},{"issue":"1","key":"210_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/844357.844360","volume":"4","author":"S Ran","year":"2003","unstructured":"Ran S (2003) A model for web services discovery with QoS. ACM Sigecom Exch 4(1):1\u201310","journal-title":"ACM Sigecom Exch"},{"key":"210_CR34","doi-asserted-by":"crossref","unstructured":"Rosenberg F, Celikovic P, Michlmayr A, Leitner P, Dustdar S (2009) An end-to-end approach for QoS-aware service composition. In: Proceedings of the 13th IEEE international enterprise distributed object computing conference EDOC \u201909. IEEE Computer Society, Washington, pp 151\u2013160","DOI":"10.1109\/EDOC.2009.14"},{"key":"210_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-70894-4","volume-title":"Semantic web services: concepts, technologies, and applications","author":"R Studer","year":"2007","unstructured":"Studer R, Grimm S, Abecker A (2007) Semantic web services: concepts, technologies, and applications. Springer, Berlin"},{"issue":"1\u20132","key":"210_CR36","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M Thielscher","year":"1999","unstructured":"Thielscher M (1999) From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem. Artif Intell 111(1\u20132):277\u2013299","journal-title":"Artif Intell"},{"key":"210_CR37","unstructured":"Thielscher M (2005) Reasoning robots: the art and science of programming robotic agents. Applied logic, vol 33. Springer, Netherlands"},{"key":"210_CR38","unstructured":"WSML Working Group (2008) The web service modeling language WSML. http:\/\/www.wsmo.org\/wsml\/wsml-syntax"},{"issue":"1\u20133","key":"210_CR39","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s10619-008-7030-7","volume":"24","author":"L Zeng","year":"2008","unstructured":"Zeng L, Ngu AHH, Benatallah B, Podorozhny RM, Lei H (2008) Dynamic composition and optimization of web services. Distrib Parallel Databases 24(1\u20133):45\u201372","journal-title":"Distrib Parallel Databases"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-017-0210-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0210-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-017-0210-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T10:07:24Z","timestamp":1602238044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-017-0210-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,2]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["210"],"URL":"https:\/\/doi.org\/10.1007\/s11761-017-0210-4","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,2]]}}}