{"id":"https://openalex.org/W2804716837","doi":"https://doi.org/10.1186/s13174-018-0080-9","title":"Thematic series on Verification and Composition for the Internet of Services and Things","display_name":"Thematic series on Verification and Composition for the Internet of Services and Things","publication_year":2018,"publication_date":"2018-04-17","ids":{"openalex":"https://openalex.org/W2804716837","doi":"https://doi.org/10.1186/s13174-018-0080-9","mag":"2804716837"},"language":"en","primary_location":{"id":"doi:10.1186/s13174-018-0080-9","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13174-018-0080-9","pdf_url":"https://jisajournal.springeropen.com/track/pdf/10.1186/s13174-018-0080-9","source":{"id":"https://openalex.org/S1250476","display_name":"Journal of Internet Services and Applications","issn_l":"1867-4828","issn":["1867-4828","1869-0238"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Internet Services and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://jisajournal.springeropen.com/track/pdf/10.1186/s13174-018-0080-9","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008647250","display_name":"Marco Autili","orcid":"https://orcid.org/0000-0001-5951-1567"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marco Autili","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics - University of L\u2019Aquila, L\u2019Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics - University of L'Aquila, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics - University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics - University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021558162","display_name":"Dimitra Giannakopoulou","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dimitra Giannakopoulou","raw_affiliation_strings":["NASA Ames Research Center, Moffett Field, CA, USA"],"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center, Moffett Field, CA, USA","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082849720","display_name":"Massimo Tivoli","orcid":"https://orcid.org/0000-0001-9290-1997"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimo Tivoli","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics - University of L\u2019Aquila, L\u2019Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics - University of L'Aquila, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics - University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics - University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008647250"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":1.2335,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85426029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"9","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7979588508605957},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.5522239804267883},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.518585205078125},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47785255312919617},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4768986701965332},{"id":"https://openalex.org/keywords/services-computing","display_name":"Services computing","score":0.4641384482383728},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.455182284116745},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.44513142108917236},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.43990665674209595},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43220871686935425},{"id":"https://openalex.org/keywords/service-composition","display_name":"Service composition","score":0.43093717098236084},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4198175072669983},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.41535547375679016},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.2865467667579651},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11781534552574158},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0885581374168396}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7979588508605957},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.5522239804267883},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.518585205078125},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47785255312919617},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4768986701965332},{"id":"https://openalex.org/C542858634","wikidata":"https://www.wikidata.org/wiki/Q7455845","display_name":"Services computing","level":3,"score":0.4641384482383728},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.455182284116745},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.44513142108917236},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.43990665674209595},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43220871686935425},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.43093717098236084},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4198175072669983},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.41535547375679016},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.2865467667579651},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11781534552574158},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0885581374168396},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1186/s13174-018-0080-9","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13174-018-0080-9","pdf_url":"https://jisajournal.springeropen.com/track/pdf/10.1186/s13174-018-0080-9","source":{"id":"https://openalex.org/S1250476","display_name":"Journal of Internet Services and Applications","issn_l":"1867-4828","issn":["1867-4828","1869-0238"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Internet Services and Applications","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:93b31e7aea604e68a0f5535c9a7747e0","is_oa":true,"landing_page_url":"https://doaj.org/article/93b31e7aea604e68a0f5535c9a7747e0","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Internet Services and Applications, Vol 9, Iss 1, Pp 1-3 (2018)","raw_type":"article"},{"id":"pmh:oai:zenodo.org:50580","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/50580","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1186/s13174-018-0080-9","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13174-018-0080-9","pdf_url":"https://jisajournal.springeropen.com/track/pdf/10.1186/s13174-018-0080-9","source":{"id":"https://openalex.org/S1250476","display_name":"Journal of Internet Services and Applications","issn_l":"1867-4828","issn":["1867-4828","1869-0238"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Internet Services and Applications","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1432923229","display_name":null,"funder_award_id":"2015KWREMX","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G2017605187","display_name":null,"funder_award_id":"H2020 Program","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3975186846","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320310207","funder_display_name":"Carnegie Mellon University"},{"id":"https://openalex.org/G4122700725","display_name":null,"funder_award_id":"644178","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6315092050","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G8359669565","display_name":null,"funder_award_id":"644178","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320310207","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"},{"id":"https://openalex.org/F4320311040","display_name":"Norges Teknisk-Naturvitenskapelige Universitet","ror":"https://ror.org/05xg72x27"},{"id":"https://openalex.org/F4320311694","display_name":"Edge Hill University","ror":"https://ror.org/028ndzd53"},{"id":"https://openalex.org/F4320313985","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508"},{"id":"https://openalex.org/F4320316137","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938"},{"id":"https://openalex.org/F4320320286","display_name":"University College London","ror":"https://ror.org/02jx3x895"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320591","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320322805","display_name":"Universidad de Murcia","ror":"https://ror.org/03p3aeb86"},{"id":"https://openalex.org/F4320323424","display_name":"Universidade de Lisboa","ror":"https://ror.org/01c27hj86"},{"id":"https://openalex.org/F4320328429","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2804716837.pdf","grobid_xml":"https://content.openalex.org/works/W2804716837.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W2094729371","https://openalex.org/W2149639096","https://openalex.org/W2623162099","https://openalex.org/W2759368202"],"related_works":["https://openalex.org/W1971836633","https://openalex.org/W64430763","https://openalex.org/W4300923791","https://openalex.org/W4301114052","https://openalex.org/W1972620507","https://openalex.org/W1966169581","https://openalex.org/W4243504752","https://openalex.org/W4231730291","https://openalex.org/W2353278948","https://openalex.org/W1504624748"],"abstract_inverted_index":{"The":[0],"Internet":[1],"of":[2,21],"Services":[3],"and":[4,24,37,42,54,65,68,74,83,93],"Things":[5],"is":[6],"characterized":[7],"as":[8,61,63],"a":[9,18],"distributed":[10,44],"computing":[11],"environment":[12],"that":[13],"will":[14,31],"be":[15,33],"populated":[16],"by":[17,35],"large":[19],"number":[20],"software":[22,29,40,81],"services":[23,41],"things.":[25],"Within":[26],"this":[27],"context,":[28],"systems":[30,76],"increasingly":[32],"built":[34],"reusing":[36],"composing":[38],"together":[39],"things":[43],"over":[45],"the":[46],"Internet.":[47],"This":[48],"calls":[49],"for":[50,80],"new":[51,78],"integration":[52,59],"paradigms":[53],"patterns,":[55],"formal":[56],"composition":[57,67,82],"theories,":[58],"architectures,":[60],"well":[62],"flexible":[64],"dynamic":[66],"verification":[69,84],"mechanisms.":[70],"In":[71],"particular,":[72],"service-":[73],"thing-based":[75],"pose":[77],"challenges":[79],"techniques,":[85],"due":[86],"to":[87],"changing":[88],"requirements,":[89],"emerging":[90],"behaviors,":[91],"uncertainty,":[92],"dynamicity.":[94]},"counts_by_year":[{"year":2019,"cited_by_count":3}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}