{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T01:14:20Z","timestamp":1665105260211},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2018,3,29]],"date-time":"2018-03-29T00:00:00Z","timestamp":1522281600000},"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":["SOCA"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11761-018-0234-4","type":"journal-article","created":{"date-parts":[[2018,4,4]],"date-time":"2018-04-04T02:51:01Z","timestamp":1522810261000},"page":"371-389","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Declarative Web services composition using proofs"],"prefix":"10.1007","volume":"12","author":[{"given":"Sana","family":"Baccar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Rouached","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Verborgh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,29]]},"reference":[{"issue":"4","key":"234_CR1","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.websem.2005.09.002","volume":"3","author":"V Agarwal","year":"2011","unstructured":"Agarwal V, Chafle G, Dasgupta K, Karnik N, Kumar A, Mittal S, Srivastava B (2011) Synthy: a system for end to end composition of web services. Web Semant Sci Serv Agents World Wide Web 3(4):311","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"issue":"6","key":"234_CR2","doi-asserted-by":"publisher","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 Software 24(6):39\u201346","journal-title":"IEEE Software"},{"key":"234_CR3","doi-asserted-by":"crossref","unstructured":"Bansal A, Kona S, Blake MB, Gupta G (2008) An agent-based approach for composition of semantic web services. In: WETICE, pp 12\u201317","DOI":"10.1109\/WETICE.2008.19"},{"key":"234_CR4","doi-asserted-by":"crossref","unstructured":"Baresi L, Ghezzi C, Guinea S (2004) Smart monitors for composed services. In: Proceedings of the 2nd international conference on service oriented computing, ICSOC \u201904, pp 193\u2013202. ACM, New York, NY, USA","DOI":"10.1145\/1035167.1035195"},{"key":"234_CR5","doi-asserted-by":"crossref","unstructured":"Baryannis G, Danylevych O, Karastoyanova D, Kritikos K, Leitner P, Rosenberg F, Wetzstein B (2010) Service composition. In: Service research challenges and solutions for the future internet- S-cube-towards engineering, managing and adapting service-based systems, pp 55\u201384","DOI":"10.1007\/978-3-642-17599-2_3"},{"key":"234_CR6","doi-asserted-by":"crossref","unstructured":"Benbernou S, Meziane H, Li YH, Hacid M-S (2007) A privacy agreement model for web services. In: IEEE SCC, pp 196\u2013203. IEEE Computer Society","DOI":"10.1109\/SCC.2007.14"},{"key":"234_CR7","unstructured":"Berners-Lee T (2000) CWM-A general purpose data processor for the semantic Web. https:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html . Accessed 15 Nov 2014"},{"key":"234_CR8","unstructured":"Berners-Lee T, Connolly D (2008) Notation3 (n3): A readable RDF syntax. W3c team submission, W3C"},{"issue":"3","key":"234_CR9","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1017\/S1471068407003213","volume":"8","author":"T Berners-lee","year":"2008","unstructured":"Berners-lee T, Connolly D, Kagal L, Scharf Y, Hendler J (2008) N3logic: a logical framework for the world wide web. Theory Pract Log Prog 8(3):249\u2013269","journal-title":"Theory Pract Log Prog"},{"issue":"5","key":"234_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):34\u201343","journal-title":"Sci Am"},{"key":"234_CR11","first-page":"70","volume-title":"WEBIST (selected papers), volume 140 of lecture notes in business information processing","author":"S Bhiri","year":"2012","unstructured":"Bhiri S, Derguech W, Zaremba M (2012) Modelling capabilities as attribute-featured entities. In: Cordeiro J, Krempels K-H (eds) WEBIST (selected papers), volume 140 of lecture notes in business information processing. Springer, Berlin, pp 70\u201385"},{"key":"234_CR12","doi-asserted-by":"crossref","unstructured":"Bostrom G, Giambiagi P, Olsson T (2010) Quality of service evaluation in virtual organizations using slas. In: Interoperability for enterprise software and applications, pp 211\u2013224. ISTE","DOI":"10.1002\/9780470612200.ch18"},{"key":"234_CR13","doi-asserted-by":"crossref","unstructured":"Chafle G, Das G, Dasgupta K, Kumar A, Mittal S, Mukherjea S, Srivastava B (2007) An integrated development environment for web service composition. In: ICWS, pp 839\u2013847. IEEE Computer Society","DOI":"10.1109\/ICWS.2007.38"},{"issue":"4","key":"234_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s11280-011-0115-7","volume":"14","author":"D Cheng","year":"2011","unstructured":"Cheng D, Chao K, Lo C, Tsai C (2011) A user centric service-oriented modeling approach. World Wide Web 14(4):431\u2013459","journal-title":"World Wide Web"},{"key":"234_CR15","unstructured":"Chesani F, Mello P, Montali M, Torroni P (2009) Verifying a-priori the composition of declarative specified services. In: 2nd International workshop on agents, web-services and ontologies: integrated methodologies, vol 494"},{"key":"234_CR16","doi-asserted-by":"crossref","unstructured":"Cugola G, Pinto LS, Tamburrelli G (2012) Qos-aware adaptive service orchestrations. In: 2012 IEEE 19th international conference on web services, Honolulu, HI, USA, June 24\u201329, 2012, pp 440\u2013447","DOI":"10.1109\/ICWS.2012.104"},{"issue":"2","key":"234_CR17","first-page":"86","volume":"50","author":"S Dustdar","year":"2008","unstructured":"Dustdar S, Papazoglou MP (2008) Services and service composition: an introduction. Inf Technol 50(2):86\u201392","journal-title":"Inf Technol"},{"key":"234_CR18","doi-asserted-by":"crossref","unstructured":"Keller U, Lara R, Lausen H, Polleres A, Fensel D (2005) Automatic location of services. In: The semantic web: research and applications, pp 1\u201316. Springer, Berlin","DOI":"10.1007\/11431053_1"},{"key":"234_CR19","unstructured":"Kona S, Bansal A, Gupta G (2007) Automatic composition of semantic web services. In: ICWS, pp 150\u2013158"},{"key":"234_CR20","doi-asserted-by":"crossref","unstructured":"Kwon J, Kim H, Lee D, Lee S (2008) Redundant-free web services composition based on a two-phase algorithm. In: ICWS, pp 361\u2013368","DOI":"10.1109\/ICWS.2008.91"},{"issue":"3","key":"234_CR21","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":"234_CR22","doi-asserted-by":"crossref","unstructured":"Li W, Badr Y, Biennier F (2013) Towards a capability model for web service composition. In: ICWS 2013, pp 609\u2013610","DOI":"10.1109\/ICWS.2013.86"},{"issue":"3","key":"234_CR23","doi-asserted-by":"crossref","first-page":"1563","DOI":"10.3233\/IFS-130876","volume":"26","author":"Y Li","year":"2014","unstructured":"Li Y, Zhang J (2014) Topsis method for hybrid multiple attribute decision making with 2-tuple linguistic information and its application to computer network security evaluation. J Intell Fuzzy Syst 26(3):1563\u20131569","journal-title":"J Intell Fuzzy Syst"},{"key":"234_CR24","doi-asserted-by":"crossref","unstructured":"Ma Z, Liu L, Yang H, Mylopoulos J (2011) Adaptive service composition based on runtime requirements monitoring. In: ICWS, pp 339\u2013346","DOI":"10.1109\/ICWS.2011.83"},{"key":"234_CR25","doi-asserted-by":"crossref","unstructured":"Mahbub K (2004) A framework for requirements monitoring of service based systems. In: Proceedings of the 2nd international conference on service oriented computing, pp 84\u201393. ACM Press","DOI":"10.1145\/1035167.1035181"},{"key":"234_CR26","doi-asserted-by":"crossref","unstructured":"Marconi A, Pistore M, Poccianti P, Traverso P (2007) Automatedweb service composition at work: the amazon\/mps case study. In: ICWS, pp 767\u2013774","DOI":"10.1109\/ICWS.2007.50"},{"issue":"1","key":"234_CR27","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.websem.2009.11.001","volume":"8","author":"G Meditskos","year":"2010","unstructured":"Meditskos G, Bassiliades N (2010) Dlejena: a practical forward-chaining owl 2 rl reasoner combining jena and pellet. Web Semant Sci Serv Agents World Wide Web 8(1):89","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"issue":"1","key":"234_CR28","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali M, Pesic M, Aalst WMP, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographiess. ACM Trans Web 4(1):3:1\u20133:62","journal-title":"ACM Trans Web"},{"key":"234_CR29","unstructured":"Mrissa M, Hacid M-S (2009) Combining configuration and query rewriting for Web service composition. Technical report RR-LIRIS-2009-045, LIRIS UMR 5205 CNRS"},{"issue":"11","key":"234_CR30","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"MP Papazoglou","year":"2007","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","journal-title":"Computer"},{"issue":"4","key":"234_CR31","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/TSC.2008.18","volume":"1","author":"H Rajan","year":"2008","unstructured":"Rajan H, Hosamani M (2008) Tisa: toward trustworthy services in a service-oriented architecture. IEEE Trans Serv Comput 1(4):201\u2013213","journal-title":"IEEE Trans Serv Comput"},{"key":"234_CR32","doi-asserted-by":"crossref","unstructured":"Rash JL, Rouff C, Truszkowski W, Gordon DF, Hinchey MG (eds) (2001) Formal approaches to agent-based systems, first international workshop, FAABS 2000 Greenbelt, MD, USA, April 5\u20137, 2000, Revised Papers, volume 1871 of lecture notes in computer science. Springer","DOI":"10.1007\/3-540-45484-5"},{"issue":"1","key":"234_CR33","first-page":"31","volume":"3","author":"AR Riad","year":"2008","unstructured":"Riad AR, Hassan QF (2008) Service-oriented architecture: a new alternative to traditional integration methods in b2b applications. JCIT 3(1):31\u201341","journal-title":"JCIT"},{"key":"234_CR34","doi-asserted-by":"crossref","unstructured":"Robinson WN (2003) Monitoring web service requirements, pp 65\u201374","DOI":"10.1109\/ICRE.2003.1232738"},{"key":"234_CR35","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.ins.2014.04.054","volume":"280","author":"QZ Sheng","year":"2014","unstructured":"Sheng QZ, Qiao X, Vasilakos AV, Szabo C, Bourne S, Xu X (2014) Web services composition: a decade\u2019s overview. Inf Sci 280:218\u2013238","journal-title":"Inf Sci"},{"issue":"2","key":"234_CR36","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. Web Semant 5(2):51\u201353","journal-title":"Web Semant"},{"issue":"3","key":"234_CR37","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s00799-004-0083-y","volume":"4","author":"H Skogsrud","year":"2004","unstructured":"Skogsrud H, Benatallah B, Casati F (2004) A trust negotiation system for digital library web services. Int J Digit Libr 4(3):185\u2013207","journal-title":"Int J Digit Libr"},{"key":"234_CR38","first-page":"601","volume-title":"International semantic web conference, volume 5823 of lecture notes in computer science","author":"S Sohrabi","year":"2009","unstructured":"Sohrabi S, McIlraith SA (2009) Optimizing web service composition while enforcing regulations. In: Bernstein A, Karger DR, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K (eds) International semantic web conference, volume 5823 of lecture notes in computer science. Springer, Berlin, pp 601\u2013617"},{"key":"234_CR39","doi-asserted-by":"crossref","unstructured":"Tian B, Gu Y (2013) Formal modeling and verification for web service composition, pp 2733\u20132737","DOI":"10.4304\/jsw.8.11.2733-2737"},{"key":"234_CR40","unstructured":"Verborgh R (2014) Serendipitous web applications through semantic hypermedia. PhD thesis, Ghent University, Ghent, Belgium"},{"key":"234_CR41","unstructured":"Verborgh R, Arndt D, Hoecke SV, Roo JD, Mels G, Steiner T, Gabarr\u00f3 J (2015) The pragmatic proof: hypermedia API composition and execution, CoRR. arXiv:abs\/1512.07780"},{"key":"234_CR42","doi-asserted-by":"crossref","unstructured":"Wu G, Wei J, Ye C, Shao X, Zhong H, Huang T (2011) Runtime monitoring of data-centric temporal properties for web services. In: ICWS, pp 161\u2013170","DOI":"10.1109\/ICWS.2011.124"},{"issue":"4","key":"234_CR43","doi-asserted-by":"crossref","first-page":"853","DOI":"10.3233\/IFS-120663","volume":"25","author":"A Yousefli","year":"2013","unstructured":"Yousefli A, Deheshvar A, Komijani T (2013) Ranking vague sets using topsis method. J Intell Fuzzy Syst 25(4):853\u2013858","journal-title":"J Intell Fuzzy Syst"},{"issue":"4","key":"234_CR44","doi-asserted-by":"publisher","first-page":"62","DOI":"10.4018\/ijwsr.2013100103","volume":"10","author":"E Zahoor","year":"2013","unstructured":"Zahoor E, Munir K, Perrin O, Godart C (2013) A bounded model checking approach for the verification of web services composition. Int J Web Serv Res 10(4):62\u201381","journal-title":"Int J Web Serv Res"},{"key":"234_CR45","doi-asserted-by":"crossref","unstructured":"Zahoor E, Perrin O, Godart C (2010) Disc: a declarative framework for self-healing web services composition. In: ICWS, pp 25\u201333. IEEE Computer Society","DOI":"10.1109\/ICWS.2010.70"},{"key":"234_CR46","doi-asserted-by":"crossref","unstructured":"Zahoor E, Perrin O, Godart C (2012) Web services composition verification using satisfiability solving. In: 2012 IEEE 19th international conference on web services, Honolulu, HI, USA, June 24\u201329, 2012, pp 242\u2013249","DOI":"10.1109\/ICWS.2012.75"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-018-0234-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-018-0234-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-018-0234-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T23:50:31Z","timestamp":1604101831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-018-0234-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,29]]},"references-count":46,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s11761-018-0234-4","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,29]]},"assertion":[{"value":"9 March 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}