{"id":"https://openalex.org/W2021418918","doi":"https://doi.org/10.1145/1595696.1595719","title":"Automatic synthesis of behavior protocols for composable web-services","display_name":"Automatic synthesis of behavior protocols for composable web-services","publication_year":2009,"publication_date":"2009-08-24","ids":{"openalex":"https://openalex.org/W2021418918","doi":"https://doi.org/10.1145/1595696.1595719","mag":"2021418918"},"language":"en","primary_location":{"id":"doi:10.1145/1595696.1595719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1595696.1595719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/inria-00415421","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061991704","display_name":"Antonia Bertolino","orcid":"https://orcid.org/0000-0001-8749-1356"},"institutions":[{"id":"https://openalex.org/I4210107558","display_name":"Consorzio Pisa Ricerche","ror":"https://ror.org/01t0n3b84","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210107558"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonia Bertolino","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche, Pisa, Italy","institution_ids":["https://openalex.org/I4210107558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108511492","display_name":"Paola Inverardi","orcid":null},"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":"Paola Inverardi","raw_affiliation_strings":["Universit\u00e0 dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013103539","display_name":"Patrizio Pelliccione","orcid":"https://orcid.org/0000-0002-5438-2281"},"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":"Patrizio Pelliccione","raw_affiliation_strings":["Universit\u00e0 dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"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":["Universit\u00e0 dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":128,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"150"},"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":1.0,"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":1.0,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.857072114944458},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7684589624404907},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.7157976031303406},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.6925623416900635},{"id":"https://openalex.org/keywords/ws-policy","display_name":"WS-Policy","score":0.6797010898590088},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.6119693517684937},{"id":"https://openalex.org/keywords/web-modeling","display_name":"Web modeling","score":0.5873369574546814},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.5822964310646057},{"id":"https://openalex.org/keywords/ws-i-basic-profile","display_name":"WS-I Basic Profile","score":0.5439723134040833},{"id":"https://openalex.org/keywords/web-standards","display_name":"Web standards","score":0.5390493273735046},{"id":"https://openalex.org/keywords/web-development","display_name":"Web development","score":0.5040153861045837},{"id":"https://openalex.org/keywords/ws-addressing","display_name":"WS-Addressing","score":0.4630375802516937},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4313802123069763},{"id":"https://openalex.org/keywords/data-web","display_name":"Data Web","score":0.4190177321434021},{"id":"https://openalex.org/keywords/web-application-security","display_name":"Web application security","score":0.412075400352478},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.07220610976219177}],"concepts":[{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.857072114944458},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7684589624404907},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.7157976031303406},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.6925623416900635},{"id":"https://openalex.org/C190515685","wikidata":"https://www.wikidata.org/wiki/Q749179","display_name":"WS-Policy","level":5,"score":0.6797010898590088},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.6119693517684937},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.5873369574546814},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5822964310646057},{"id":"https://openalex.org/C38434365","wikidata":"https://www.wikidata.org/wiki/Q1066916","display_name":"WS-I Basic Profile","level":5,"score":0.5439723134040833},{"id":"https://openalex.org/C182321512","wikidata":"https://www.wikidata.org/wiki/Q1153289","display_name":"Web standards","level":3,"score":0.5390493273735046},{"id":"https://openalex.org/C79373723","wikidata":"https://www.wikidata.org/wiki/Q386275","display_name":"Web development","level":3,"score":0.5040153861045837},{"id":"https://openalex.org/C135910124","wikidata":"https://www.wikidata.org/wiki/Q263718","display_name":"WS-Addressing","level":5,"score":0.4630375802516937},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4313802123069763},{"id":"https://openalex.org/C162005631","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Data Web","level":3,"score":0.4190177321434021},{"id":"https://openalex.org/C59241245","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Web application security","level":4,"score":0.412075400352478},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.07220610976219177},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1595696.1595719","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1595696.1595719","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:inria-00415421v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00415421","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) \u2013 ESEC/FSE09, Aug 2009, Amsterdam, European Union. pp.141-150, ⟨10.1145/1595696.1595719⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dnet:people______::3a33524da81553ee349cdbb73ecae02c","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::3a33524da81553ee349cdbb73ecae02c","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, pp. 141\u2013150, Amsterdam, 24-28 August 2009","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00415421v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00415421","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) \u2013 ESEC/FSE09, Aug 2009, Amsterdam, European Union. pp.141-150, ⟨10.1145/1595696.1595719⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W9134813","https://openalex.org/W138239890","https://openalex.org/W1495288145","https://openalex.org/W1517402704","https://openalex.org/W1608087281","https://openalex.org/W1919040198","https://openalex.org/W2025677988","https://openalex.org/W2054995704","https://openalex.org/W2080297417","https://openalex.org/W2117438772","https://openalex.org/W2124081952","https://openalex.org/W2142973056","https://openalex.org/W3007268486","https://openalex.org/W6636475409"],"related_works":["https://openalex.org/W1604267432","https://openalex.org/W3097089661","https://openalex.org/W1976629447","https://openalex.org/W4268596","https://openalex.org/W1168306964","https://openalex.org/W1539372061","https://openalex.org/W2357485224","https://openalex.org/W2015588304","https://openalex.org/W2404615010","https://openalex.org/W2785675517"],"abstract_inverted_index":{"Web-services":[0],"are":[1],"broadly":[2],"considered":[3],"as":[4],"an":[5,20],"effective":[6],"means":[7],"to":[8,43],"achieve":[9],"interoperability":[10],"between":[11],"heterogeneous":[12],"parties":[13],"of":[14,29,48],"a":[15],"business":[16],"process":[17],"and":[18],"offer":[19],"open":[21],"platform":[22],"for":[23],"developing":[24],"new":[25],"composite":[26],"web-services":[27],"out":[28],"existing":[30],"ones.":[31],"In":[32],"the":[33,41,54,66],"literature":[34],"many":[35],"approaches":[36],"have":[37],"been":[38],"proposed":[39],"with":[40,53,65],"aim":[42],"automatically":[44],"compose":[45],"web-services.":[46],"All":[47],"them":[49],"assume":[50],"that,":[51],"along":[52],"web-service":[55,67],"signature,":[56],"some":[57],"information":[58],"is":[59],"provided":[60],"about":[61],"how":[62],"clients":[63],"interacting":[64],"should":[68],"behave":[69],"when":[70],"invoking":[71],"it.":[72]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":26},{"year":2012,"cited_by_count":21}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}