{"id":"https://openalex.org/W2112307828","doi":"https://doi.org/10.1145/1140335.1140342","title":"An abductive framework for a-priori verification of web services","display_name":"An abductive framework for a-priori verification of web services","publication_year":2006,"publication_date":"2006-07-10","ids":{"openalex":"https://openalex.org/W2112307828","doi":"https://doi.org/10.1145/1140335.1140342","mag":"2112307828"},"language":"en","primary_location":{"id":"doi:10.1145/1140335.1140342","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140342","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"article","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/A5079194919","display_name":"Marco Alberti","orcid":"https://orcid.org/0000-0003-4712-3721"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marco Alberti","raw_affiliation_strings":["University of Ferrara, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"University of Ferrara, Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088751356","display_name":"Marco Gavanelli","orcid":"https://orcid.org/0000-0001-7433-5899"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Gavanelli","raw_affiliation_strings":["University of Ferrara, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"University of Ferrara, Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028993591","display_name":"Evelina Lamma","orcid":"https://orcid.org/0000-0003-2747-4292"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Evelina Lamma","raw_affiliation_strings":["University of Ferrara, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"University of Ferrara, Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056655834","display_name":"Federico Chesani","orcid":"https://orcid.org/0000-0003-1664-9632"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Chesani","raw_affiliation_strings":["University of Bologna, Bologna, Italy","University of Bologna , Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"University of Bologna , Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040978920","display_name":"Paola Mello","orcid":"https://orcid.org/0000-0002-5929-8193"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Mello","raw_affiliation_strings":["University of Bologna, Bologna, Italy","University of Bologna , Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"University of Bologna , Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047795784","display_name":"Marco Montali","orcid":"https://orcid.org/0000-0002-8021-3430"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Montali","raw_affiliation_strings":["University of Bologna, Bologna, Italy","University of Bologna , Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"University of Bologna , Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5079194919"],"corresponding_institution_ids":["https://openalex.org/I201324441"],"apc_list":null,"apc_paid":null,"fwci":6.52,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.96404964,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8472645282745361},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6465635299682617},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6265718936920166},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5470352172851562},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4921237826347351},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4803227484226227},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.43196767568588257},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42581039667129517},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.42500150203704834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8472645282745361},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6465635299682617},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6265718936920166},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5470352172851562},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4921237826347351},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4803227484226227},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.43196767568588257},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42581039667129517},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.42500150203704834},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/1140335.1140342","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140342","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.182.5574","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.5574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ing.unife.it/docenti/MarcoGavanelli/publications/ppdp06.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.706.9715","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.706.9715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.inf.unibz.it/%7Emontali/papers/alberti-etal-PPDP2006-serviceverification.pdf","raw_type":"text"},{"id":"pmh:oai:alma.39UBZ_INST:11235436960001241","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?doid=1140335.1140342","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:cris.unibo.it:11585/29944","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/29944","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:iris.unife.it:11392/517009","is_oa":false,"landing_page_url":"http://hdl.handle.net/11392/517009","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"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/conferenceObject"},{"id":"pmh:oai:unibz.it:11235436960001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/conferenceProceeding/An-abductive-framework-for-a-priori-verification/991005773173501241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W35766043","https://openalex.org/W82518945","https://openalex.org/W120714380","https://openalex.org/W1499930632","https://openalex.org/W1501751099","https://openalex.org/W1513385292","https://openalex.org/W1541434994","https://openalex.org/W1552740165","https://openalex.org/W1556614714","https://openalex.org/W1592363676","https://openalex.org/W1608665889","https://openalex.org/W1814221162","https://openalex.org/W1969295812","https://openalex.org/W1974178029","https://openalex.org/W1987005090","https://openalex.org/W2007771077","https://openalex.org/W2063727779","https://openalex.org/W2096996519","https://openalex.org/W2102973317","https://openalex.org/W2151792486","https://openalex.org/W2162951904","https://openalex.org/W2561675875","https://openalex.org/W4285719527","https://openalex.org/W6606579929","https://openalex.org/W6632380663","https://openalex.org/W6642386767"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W1619002980","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389"],"abstract_inverted_index":{"Although":[0],"stemming":[1],"from":[2],"very":[3],"different":[4],"research":[5],"areas,":[6],"Multi-Agent":[7],"Systems":[8],"(MAS)":[9],"and":[10,19,43,54,89,105,150,173,185,216],"Service":[11],"Oriented":[12],"Computing":[13],"(SOC)":[14],"share":[15],"common":[16,24,41],"topics,":[17],"problems":[18,25],"settings.":[20],"One":[21],"of":[22,34,59,73,75,109,135,154,192],"the":[23,27,32,57,60,70,97,107,120,132,143,147,156],"is":[26],"need":[28],"to":[29,40,49,55,77,102,111,139,204],"formally":[30,95,170],"verify":[31],"conformance":[33,138],"individuals":[35],"(Agents":[36],"or":[37],"Web":[38],"Services)":[39],"rules":[42],"specifications":[44],"(resp.":[45],"Protocols/Choreographies),":[46],"in":[47,119,123],"order":[48],"provide":[50],"a":[51,66,82,128,152,166,171,174,183],"coherent":[52],"behaviour":[53],"reach":[56],"goals":[58],"user.In":[61],"previous":[62],"publications,":[63],"we":[64,126],"developed":[65],"framework,":[67],"SCIFF,":[68,155],"for":[69,94,146,168],"automatic":[71],"verification":[72,134],"compliance":[74,108],"agents":[76,110],"protocols.":[78],"The":[79],"framework":[80,145,157],"includes":[81],"language":[83,167],"based":[84],"on":[85,90,116],"abductive":[86],"logic":[87,92],"programming":[88,93],"constraint":[91],"defining":[96,169],"social":[98],"rules;":[99],"suitable":[100],"proof-procedures":[101],"check":[103],"on-the-fly":[104],"a-priori":[106],"protocols":[112],"have":[113],"been":[114],"defined.Building":[115],"our":[117],"experience":[118],"MAS":[121],"area,":[122],"this":[124],"paper":[125],"make":[127],"first":[129],"step":[130],"towards":[131],"formal":[133],"web":[136,175],"services":[137],"choreographies.":[140],"We":[141,189],"adapt":[142],"SCIFF\\":[144],"new":[148],"settings,":[149],"propose":[151],"heir":[153],"AlLoWS":[158,163,181,194,208],"(Abductive":[159],"Logic":[160],"Web-service":[161],"Specification)..":[162],"comes":[164],"with":[165,197,211],"choreography":[172],"service":[176],"specification.":[177],"As":[178],"its":[179,205],"ancestor,":[180],"has":[182],"declarative":[184],"an":[186],"operational":[187],"semantics.":[188],"show":[190],"examples":[191],"how":[193],"deals":[195,209],"correctly":[196],"interaction":[198],"patterns":[199],"previously":[200],"identified.":[201],"Moreover,":[202],"thanks":[203],"constraint-based":[206],"semantics,":[207],"seamlessly":[210],"other":[212],"cases":[213],"involving":[214],"constraints":[215],"deadlines":[217]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}