{"id":"https://openalex.org/W1792109404","doi":"https://doi.org/10.3233/jcs-2009-0357","title":"Planning and verifying service composition","display_name":"Planning and verifying service composition","publication_year":2009,"publication_date":"2009-10-12","ids":{"openalex":"https://openalex.org/W1792109404","doi":"https://doi.org/10.3233/jcs-2009-0357","mag":"1792109404"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2009-0357","doi":"https://doi.org/10.3233/jcs-2009-0357","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-0357","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050606239","display_name":"Massimo Bartoletti","orcid":"https://orcid.org/0000-0003-3796-9774","observed_orcids":["https://orcid.org/0000-0003-3796-9774"]},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Massimo Bartoletti","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 degli Studi di Cagliari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 degli Studi di Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055365661","display_name":"Pierpaolo Degano","orcid":"https://orcid.org/0000-0002-8070-4838","observed_orcids":["https://orcid.org/0000-0002-8070-4838"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Pierpaolo Degano","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, Italy","E-mail:","Fax: +39 070 675 8504"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"E-mail:","institution_ids":[]},{"raw_affiliation_string":"Fax: +39 070 675 8504","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026348666","display_name":"Gian-Luigi Ferrari","orcid":"https://orcid.org/0000-0003-3548-5514","observed_orcids":["https://orcid.org/0000-0003-3548-5514"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gian Luigi Ferrari","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, Italy","E-mail:","Fax: +39 070 675 8504"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]},{"raw_affiliation_string":"E-mail:","institution_ids":[]},{"raw_affiliation_string":"Fax: +39 070 675 8504","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050606239"],"corresponding_institution_ids":["https://openalex.org/I172446870"],"apc_list":{"value":4150,"currency":"USD","value_usd":4150},"apc_paid":null,"fwci":10.9256,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.98029062,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":"5","first_page":"799","last_page":"837"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6317999958992004,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.6317999958992004,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11424","display_name":"Security and Verification in Computing","score":0.2069000005722046,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.05389999970793724,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/service-composition","display_name":"service composition","score":0.9850000143051147},{"id":"https://openalex.org/keywords/policy-framing","display_name":"policy framing","score":0.6790000200271606},{"id":"https://openalex.org/keywords/type-and-effect-systems","display_name":"type and effect systems","score":0.7910000085830688},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.6029999852180481},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.41499999165534973},{"id":"https://openalex.org/keywords/service-selection","display_name":"service selection","score":0.4099999964237213},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.49799999594688416},{"id":"https://openalex.org/keywords/safety-and-liveness-properties","display_name":"safety and liveness properties","score":0.8040000200271606},{"id":"https://openalex.org/keywords/information-flow","display_name":"information flow","score":0.38499999046325684}],"concepts":[{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.6189432740211487},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.608561098575592},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5526481866836548},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.44495147466659546},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32936370372772217},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32461851835250854},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.11455860733985901},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.10847356915473938},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.053584396839141846},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","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":7,"locations":[{"id":"doi:10.3233/jcs-2009-0357","doi":"https://doi.org/10.3233/jcs-2009-0357","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-0357","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:eprints.adm.unipi.it:2175","doi":null,"is_oa":false,"landing_page_url":"http://eprints.adm.unipi.it/2175/1/TR%2D07%2D02.pdf.gz","pdf_url":"http://eprints.adm.unipi.it/2175/1/TR%2D07%2D02.pdf.gz","source":{"id":"https://openalex.org/S4306401711","display_name":"UnipiEprints Open Archive (Universit\u00e0 di Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.121.1077","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.1077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://compass2.di.unipi.it/TR/Files/TR-07-02.pdf.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.135.8048","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.8048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.di.unipi.it/~bartolet/pubs/service-plans-jcs07.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.408.692","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.692","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rap.dsi.unifi.it/sensoriasite/files/BDF@JCS07.pdf","raw_type":"text"},{"id":"pmh:oai:arpi.unipi.it:11568/196809","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/196809","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unica.it:11584/22335","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11584/22335","pdf_url":null,"source":{"id":"https://openalex.org/S4377196293","display_name":"UNICA IRIS Institutional Research Information System (University of Cagliari)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I172446870","host_organization_name":"University of Cagliari","host_organization_lineage":["https://openalex.org/I172446870"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W57488466","https://openalex.org/W79400672","https://openalex.org/W93463775","https://openalex.org/W101332214","https://openalex.org/W111512737","https://openalex.org/W174979378","https://openalex.org/W224168884","https://openalex.org/W251011588","https://openalex.org/W329789253","https://openalex.org/W1014947406","https://openalex.org/W1479733905","https://openalex.org/W1484172663","https://openalex.org/W1485833866","https://openalex.org/W1489021242","https://openalex.org/W1492982544","https://openalex.org/W1500650374","https://openalex.org/W1505561515","https://openalex.org/W1511185761","https://openalex.org/W1511543899","https://openalex.org/W1511668635","https://openalex.org/W1513224132","https://openalex.org/W1526333779","https://openalex.org/W1535774177","https://openalex.org/W1552587784","https://openalex.org/W1558848517","https://openalex.org/W1573475271","https://openalex.org/W1599408865","https://openalex.org/W1606143923","https://openalex.org/W1658032593","https://openalex.org/W1780016311","https://openalex.org/W1784055113","https://openalex.org/W1813979319","https://openalex.org/W1856361782","https://openalex.org/W1969093678","https://openalex.org/W1985170326","https://openalex.org/W2036910349","https://openalex.org/W2048921878","https://openalex.org/W2053322049","https://openalex.org/W2068611963","https://openalex.org/W2098504640","https://openalex.org/W2099361263","https://openalex.org/W2104130981","https://openalex.org/W2105033638","https://openalex.org/W2108416191","https://openalex.org/W2109232719","https://openalex.org/W2114189125","https://openalex.org/W2118002698","https://openalex.org/W2134104500","https://openalex.org/W2151353792","https://openalex.org/W2153074919","https://openalex.org/W2154374619","https://openalex.org/W2155266873","https://openalex.org/W2156877380","https://openalex.org/W2157418168","https://openalex.org/W2158942489","https://openalex.org/W2160257474","https://openalex.org/W2162021078","https://openalex.org/W2162282992","https://openalex.org/W2167928477","https://openalex.org/W2187360174","https://openalex.org/W2254026976","https://openalex.org/W2465326068","https://openalex.org/W2911625174","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2155266873","https://openalex.org/W2887253606","https://openalex.org/W1514438243","https://openalex.org/W2064168810","https://openalex.org/W7096857110","https://openalex.org/W7095455919","https://openalex.org/W2699813208","https://openalex.org/W2112522398","https://openalex.org/W2160294939","https://openalex.org/W2136170403"],"abstract_inverted_index":{"A":[0],"static":[1],"approach":[2],"is":[3,29,54,89],"proposed":[4],"to":[5,92],"study":[6],"secure":[7],"composition":[8],"of":[9,52,115],"services.":[10],"We":[11],"extend":[12],"the":[13,68,110,113,120],"\u03bb-calculus":[14],"with":[15,34,70],"primitives":[16],"for":[17,101,108],"selecting":[18],"and":[19,45,59,65,107],"invoking":[20],"services":[21,53,81,117],"that":[22,118],"respect":[23],"given":[24],"security":[25,72,121],"requirements.":[26],"Security-critical":[27],"code":[28],"enclosed":[30],"in":[31],"policy":[32,94],"framings":[33,41,95],"a":[35,57],"possibly":[36],"nested,":[37],"local":[38],"scope.":[39],"Policy":[40],"en":[42],"force":[43],"safety":[44],"liveness":[46],"properties.":[47],"The":[48],"actual":[49],"run-time":[50,104],"behaviour":[51],"over-approximated":[55],"by":[56],"type":[58],"effect":[60],"system.":[61],"Types":[62],"are":[63],"standard,":[64],"effects":[66],"include":[67],"actions":[69],"possible":[71],"concerns":[73],"\u2013":[74],"as":[75,77],"well":[76],"information":[78],"about":[79],"which":[80],"may":[82],"be":[83],"invoked":[84],"at":[85],"run-time.":[86],"An":[87],"approximation":[88],"model":[90],"checked":[91],"verify":[93],"within":[96],"their":[97],"scopes.":[98],"This":[99],"allows":[100],"removing":[102],"any":[103],"execution":[105],"monitor,":[106],"determining":[109],"plans":[111],"driving":[112],"selection":[114],"those":[116],"match":[119],"requirements":[122],"on":[123],"demand.":[124]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":7}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}