{"id":"https://openalex.org/W2055189624","doi":"https://doi.org/10.1145/1346337.1346240","title":"Correctness-aware high-level functional matching approaches for semantic Web services","display_name":"Correctness-aware high-level functional matching approaches for semantic Web services","publication_year":2008,"publication_date":"2008-04-01","ids":{"openalex":"https://openalex.org/W2055189624","doi":"https://doi.org/10.1145/1346337.1346240","mag":"2055189624"},"language":"en","primary_location":{"id":"doi:10.1145/1346337.1346240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1346337.1346240","pdf_url":null,"source":{"id":"https://openalex.org/S131231701","display_name":"ACM Transactions on the Web","issn_l":"1559-1131","issn":["1559-1131","1559-114X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on the Web","raw_type":"journal-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/A5006466090","display_name":"Islam Elgedawy","orcid":"https://orcid.org/0000-0002-9884-1590"},"institutions":[{"id":"https://openalex.org/I4210103279","display_name":"IBM Research - India","ror":"https://ror.org/014wt7r80","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210103279","https://openalex.org/I4210114115"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Islam Elgedawy","raw_affiliation_strings":["IBM India Research Lab, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"IBM India Research Lab, Bangalore, India","institution_ids":["https://openalex.org/I4210103279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054836950","display_name":"Zahir Tari","orcid":"https://orcid.org/0000-0002-1235-9673"},"institutions":[{"id":"https://openalex.org/I82951845","display_name":"RMIT University","ror":"https://ror.org/04ttjf776","country_code":"AU","type":"education","lineage":["https://openalex.org/I82951845"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zahir Tari","raw_affiliation_strings":["RMIT University, Melbourne, Australia"],"affiliations":[{"raw_affiliation_string":"RMIT University, Melbourne, Australia","institution_ids":["https://openalex.org/I82951845"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078011246","display_name":"James A. Thom","orcid":"https://orcid.org/0000-0002-6666-9132"},"institutions":[{"id":"https://openalex.org/I82951845","display_name":"RMIT University","ror":"https://ror.org/04ttjf776","country_code":"AU","type":"education","lineage":["https://openalex.org/I82951845"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"James A. Thom","raw_affiliation_strings":["RMIT University, Melbourne, Australia"],"affiliations":[{"raw_affiliation_string":"RMIT University, Melbourne, Australia","institution_ids":["https://openalex.org/I82951845"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006466090"],"corresponding_institution_ids":["https://openalex.org/I4210103279"],"apc_list":null,"apc_paid":null,"fwci":11.5093,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.98067787,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"40"},"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/T11719","display_name":"Data Quality and Management","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9922999739646912,"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.8857475519180298},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8539799451828003},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.6613651514053345},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5987058877944946},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.514300525188446},{"id":"https://openalex.org/keywords/precision-and-recall","display_name":"Precision and recall","score":0.48735079169273376},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4673882722854614},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4615499973297119},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4195873439311981},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4131910800933838},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4065053164958954},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3875214755535126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21751278638839722}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8857475519180298},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8539799451828003},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6613651514053345},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5987058877944946},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.514300525188446},{"id":"https://openalex.org/C81669768","wikidata":"https://www.wikidata.org/wiki/Q2359161","display_name":"Precision and recall","level":2,"score":0.48735079169273376},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4673882722854614},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4615499973297119},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4195873439311981},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4131910800933838},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4065053164958954},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3875214755535126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21751278638839722},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1346337.1346240","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1346337.1346240","pdf_url":null,"source":{"id":"https://openalex.org/S131231701","display_name":"ACM Transactions on the Web","issn_l":"1559-1131","issn":["1559-1131","1559-114X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on the Web","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5400000214576721}],"awards":[{"id":"https://openalex.org/G3416605280","display_name":null,"funder_award_id":"LP0667600","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":101,"referenced_works":["https://openalex.org/W15927890","https://openalex.org/W28150129","https://openalex.org/W117743196","https://openalex.org/W159152356","https://openalex.org/W574564932","https://openalex.org/W1479716822","https://openalex.org/W1485738746","https://openalex.org/W1489021242","https://openalex.org/W1500447620","https://openalex.org/W1501970182","https://openalex.org/W1505256950","https://openalex.org/W1511461976","https://openalex.org/W1512069953","https://openalex.org/W1517592599","https://openalex.org/W1528710605","https://openalex.org/W1553078293","https://openalex.org/W1564775810","https://openalex.org/W1565849741","https://openalex.org/W1568833694","https://openalex.org/W1592579869","https://openalex.org/W1596704901","https://openalex.org/W1600215005","https://openalex.org/W1603071253","https://openalex.org/W1606556136","https://openalex.org/W1614615401","https://openalex.org/W1662227352","https://openalex.org/W1670748022","https://openalex.org/W1685626019","https://openalex.org/W1714132059","https://openalex.org/W1772822243","https://openalex.org/W1787579957","https://openalex.org/W1838409447","https://openalex.org/W1851176316","https://openalex.org/W1887246875","https://openalex.org/W1944800461","https://openalex.org/W1969713547","https://openalex.org/W1973754941","https://openalex.org/W1982084274","https://openalex.org/W1982342196","https://openalex.org/W1988693635","https://openalex.org/W1993396777","https://openalex.org/W1996497597","https://openalex.org/W2011491369","https://openalex.org/W2016639451","https://openalex.org/W2017739343","https://openalex.org/W2026711685","https://openalex.org/W2027515180","https://openalex.org/W2032179790","https://openalex.org/W2036705516","https://openalex.org/W2041399626","https://openalex.org/W2042571323","https://openalex.org/W2049571767","https://openalex.org/W2050354236","https://openalex.org/W2052524743","https://openalex.org/W2054618740","https://openalex.org/W2064419470","https://openalex.org/W2071106922","https://openalex.org/W2075106684","https://openalex.org/W2090326451","https://openalex.org/W2093955118","https://openalex.org/W2098812130","https://openalex.org/W2107617664","https://openalex.org/W2107843501","https://openalex.org/W2108370953","https://openalex.org/W2109946403","https://openalex.org/W2111061141","https://openalex.org/W2111096251","https://openalex.org/W2117805756","https://openalex.org/W2119016176","https://openalex.org/W2119733112","https://openalex.org/W2122295522","https://openalex.org/W2126051031","https://openalex.org/W2130028914","https://openalex.org/W2132520964","https://openalex.org/W2132614554","https://openalex.org/W2133109597","https://openalex.org/W2133284628","https://openalex.org/W2140019013","https://openalex.org/W2141880113","https://openalex.org/W2145812462","https://openalex.org/W2147573685","https://openalex.org/W2150451032","https://openalex.org/W2155429872","https://openalex.org/W2156535004","https://openalex.org/W2157418168","https://openalex.org/W2157501505","https://openalex.org/W2158049821","https://openalex.org/W2158978275","https://openalex.org/W2159263584","https://openalex.org/W2159585014","https://openalex.org/W2160375412","https://openalex.org/W2161967451","https://openalex.org/W2167149134","https://openalex.org/W2169998623","https://openalex.org/W2170767967","https://openalex.org/W2171104838","https://openalex.org/W2602086452","https://openalex.org/W2770613891","https://openalex.org/W3016087725","https://openalex.org/W4285719527","https://openalex.org/W4406855331"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1619002980"],"abstract_inverted_index":{"Service":[0],"matching":[1,68,97,197,248],"approaches":[2],"trade":[3],"precision":[4],"for":[5,10,23,57,144],"recall,":[6],"creating":[7],"the":[8,14,25,40,48,64,67,75,96,104,166,181,242,245],"need":[9],"users":[11,53],"to":[12,33,38,74,127,140,164,179,186,202,232],"choose":[13],"correct":[15,49],"services,":[16],"which":[17],"obviously":[18],"is":[19,37,59,200],"a":[20,134,150,155,159,174,195],"major":[21],"obstacle":[22],"automating":[24],"service":[26,247],"discovery":[27],"and":[28,112,124,147,229],"aggregation":[29],"processes.":[30],"Our":[31],"approach":[32,198],"overcome":[34],"this":[35,116],"problem,":[36],"eliminate":[39],"appearance":[41],"of":[42,66,77,169,216,238,244],"false":[43],"positives":[44],"by":[45],"returning":[46],"only":[47,81],"services.":[50],"As":[51],"different":[52,55,188,214],"have":[54],"semantics":[56,168],"what":[58],"correct,":[60],"we":[61,93,118,223],"argue":[62,94],"that":[63,80,95,199,210],"correctness":[65],"results":[69],"must":[70],"be":[71,100,220],"determined":[72],"according":[73,231],"achievement":[76,110],"users'":[78,84],"goals:":[79],"services":[82,146,226],"achieving":[83],"goals":[85],"are":[86,227],"considered":[87],"correct.":[88],"To":[89],"determine":[90,180],"such":[91,130,142,209],"correctness,":[92],"process":[98],"should":[99],"based":[101],"primarily":[102],"on":[103],"high-level":[105],"functional":[106],"specifications":[107],"(namely":[108],"goals,":[109],"contexts,":[111],"external":[113],"behaviors).":[114],"In":[115],"article,":[117],"propose":[119,133,154,194],"models,":[120],"data":[121,156],"structures,":[122],"algorithms,":[123],"theorems":[125],"required":[126,185],"correctly":[128],"match":[129,187,203],"specifications.":[131],"We":[132,153,192],"model":[135],"called":[136,158],"G":[137,189,234],"+":[138,190,235],",":[139],"capture":[141,165],"specifications,":[143],"both":[145],"users,":[148],"in":[149,173,177,205],"machine-understandable":[151],"format.":[152],"structure,":[157],"Concepts":[160],"Substitutability":[161],"Graph":[162],"(CSG),":[163],"substitution":[167],"application":[170],"domain":[171],"concepts":[172],"context-based":[175],"manner,":[176,208],"order":[178],"semantic-preserving":[182],"mapping":[183],"transformations":[184],"models.":[191,236],"also":[193],"behavior":[196,211],"able":[201],"states":[204],"an":[206],"m-to-n":[207],"models":[212],"with":[213],"numbers":[215],"state":[217],"transitions":[218],"can":[219],"matched.":[221],"Finally,":[222],"show":[224],"how":[225],"matched":[228],"aggregated":[230],"their":[233],"Results":[237],"supporting":[239],"experiments":[240],"demonstrate":[241],"advantages":[243],"proposed":[246],"approaches.":[249]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}