{"id":"https://openalex.org/W2401390921","doi":"https://doi.org/10.1109/aina.2016.54","title":"Service Oriented Verification Integrated Fault Reasoning for SDNs","display_name":"Service Oriented Verification Integrated Fault Reasoning for SDNs","publication_year":2016,"publication_date":"2016-03-01","ids":{"openalex":"https://openalex.org/W2401390921","doi":"https://doi.org/10.1109/aina.2016.54","mag":"2401390921"},"language":"en","primary_location":{"id":"doi:10.1109/aina.2016.54","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aina.2016.54","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5104023825","display_name":"Yongning Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I47301684","display_name":"Illinois State University","ror":"https://ror.org/050kcr883","country_code":"US","type":"education","lineage":["https://openalex.org/I47301684"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yongning Tang","raw_affiliation_strings":["School of Info. Tech. Illinois State Univ. Normal IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Info. Tech. Illinois State Univ. Normal IL","institution_ids":["https://openalex.org/I47301684"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043707940","display_name":"Guang Cheng","orcid":"https://orcid.org/0000-0001-8642-4362"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guang Cheng","raw_affiliation_strings":["School of Computer Science southern, Univ. National Computer Network Lab, Nanjing, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science southern, Univ. National Computer Network Lab, Nanjing, P. R. China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101816989","display_name":"Zhiwei Xu","orcid":"https://orcid.org/0000-0002-0401-8481"},"institutions":[{"id":"https://openalex.org/I4210130704","display_name":"University of Michigan\u2013Dearborn","ror":"https://ror.org/035wtm547","country_code":"US","type":"education","lineage":["https://openalex.org/I4210130704"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiwei Xu","raw_affiliation_strings":["Dept. of Computer & info. Sci., Univ. of Michigan-Dearborn Dearborn MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer & info. Sci., Univ. of Michigan-Dearborn Dearborn MI","institution_ids":["https://openalex.org/I4210130704"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103732198","display_name":"Feng Chen","orcid":"https://orcid.org/0009-0000-3557-0933"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Chen","raw_affiliation_strings":["Dept. of Automation Univ. of Sci. & Tech. of China Hefei, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Automation Univ. of Sci. & Tech. of China Hefei, P. R. China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02839404,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"85","issue":null,"first_page":"624","last_page":"629"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7730308771133423},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6056011319160461},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5745905637741089},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5635071992874146},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.53070467710495},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5141878128051758},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4664765000343323},{"id":"https://openalex.org/keywords/network-element","display_name":"Network element","score":0.44074827432632446},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.43041107058525085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7730308771133423},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6056011319160461},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5745905637741089},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5635071992874146},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.53070467710495},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5141878128051758},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4664765000343323},{"id":"https://openalex.org/C129119673","wikidata":"https://www.wikidata.org/wiki/Q4418003","display_name":"Network element","level":2,"score":0.44074827432632446},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.43041107058525085},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aina.2016.54","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aina.2016.54","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA)","raw_type":"proceedings-article"}],"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/W158224344","https://openalex.org/W1408671314","https://openalex.org/W1584322803","https://openalex.org/W1590488181","https://openalex.org/W1882012874","https://openalex.org/W2011316745","https://openalex.org/W2019759631","https://openalex.org/W2074448485","https://openalex.org/W2101042113","https://openalex.org/W2108363021","https://openalex.org/W2115526539","https://openalex.org/W2116206868","https://openalex.org/W2122695394","https://openalex.org/W2140720699","https://openalex.org/W2147236343","https://openalex.org/W2152254232","https://openalex.org/W2180601376","https://openalex.org/W2183075030","https://openalex.org/W2289096564","https://openalex.org/W2408119291","https://openalex.org/W4238465620","https://openalex.org/W6606536520","https://openalex.org/W6628268946","https://openalex.org/W6634652454","https://openalex.org/W6635205284","https://openalex.org/W6639592347","https://openalex.org/W6714182509"],"related_works":["https://openalex.org/W116776481","https://openalex.org/W2125008614","https://openalex.org/W2926903444","https://openalex.org/W2039199837","https://openalex.org/W2612997776","https://openalex.org/W1981424990","https://openalex.org/W4226460523","https://openalex.org/W4366492151","https://openalex.org/W2372054365","https://openalex.org/W2997086908"],"abstract_inverted_index":{"Fault":[0],"localization":[1],"is":[2],"a":[3,68,85,95,110,116,122,219],"core":[4],"element":[5],"in":[6,35,135,175,213,239],"SDN":[7,10,79,137,151,242],"networkmanagement.":[8],"Many":[9],"fault":[11,207,237],"reasoning":[12,238],"and":[13,44,48,61,106,125,146,158,225],"verificationtechniques":[14],"assist":[15],"operators":[16],"focus":[17],"on":[18,154],"either":[19],"analyzing":[20],"the":[21,26,42,45,82,141,143,155,159,169,178,181,187,192,211,240],"controlplane":[22],"configuration":[23,59,160],"or":[24],"checking":[25],"data":[27,46],"plane":[28],"network":[29,86,92,129,144,164,194,254],"behavior.":[30,64],"These":[31],"solutions":[32],"are":[33,184],"limited":[34],"that":[36,230],"they":[37,55],"cannot":[38],"correlate":[39],"networksymptoms":[40],"between":[41],"control":[43],"planes,":[47],"areharder":[49],"to":[50,57,77,186,201,209],"generalize":[51],"across":[52],"protocols":[53],"since":[54],"have":[56],"modelcomplex":[58],"languages":[60],"dynamic":[62],"protocol":[63],"This":[65],"paper":[66],"proposes":[67],"new":[69],"approach":[70],"called":[71],"Service":[72,98,112,170,182],"OrientedVerification":[73],"Integrated":[74],"Reasoning":[75],"(SOVIR)":[76],"tackle":[78],"faultreasoning.":[80],"In":[81],"SOVIR":[83,101,139,167,196,215],"system,":[84],"user":[87],"can":[88],"request":[89],"oneor":[90],"multiple":[91],"services":[93],"via":[94],"high":[96],"level":[97],"ProvisioningLanguage":[99],"(SPL).":[100],"automatically":[102],"parses":[103],"each":[104],"provisionedservice":[105],"presents":[107],"it":[108],"as":[109],"logical":[111,119,179],"View,":[113,174],"which":[114,176],"consistsof":[115],"pair":[117],"of":[118,127,161,236],"end":[120,162],"nodes,":[121,166],"service":[123],"specification,":[124],"alist":[126],"required":[128],"functions":[130],"(e.g.,":[131],"load":[132],"balancer).":[133],"Afterprovisioned":[134],"an":[136],"network,":[138],"queries":[140],"controllerabout":[142],"topology":[145],"flow":[147,156],"rules":[148,157],"from":[149],"all":[150,177],"switches.":[152],"Based":[153],"nodesand":[163],"function":[165],"maps":[168],"View":[171,183],"toan":[172],"Implementation":[173],"componentsin":[180],"mapped":[185],"actual":[188,193],"system":[189],"componentsalong":[190],"with":[191,231],"topology.":[195],"usesan":[197],"extended":[198],"Symptom-Fault-Verification":[199],"model":[200],"incorporatevarious":[202],"verification":[203,251],"techniques":[204],"systematically":[205],"into":[206],"reasoningprocess":[208],"localize":[210],"faults":[212],"SDN.":[214],"has":[216],"been":[217],"evaluatedin":[218],"simulation":[220],"environment":[221],"for":[222],"its":[223],"accuracy":[224],"efficiency.":[226],"The":[227],"evaluation":[228],"shows":[229],"SOVIR,":[232],"both":[233],"performance":[234],"andaccuracy":[235],"simulated":[241],"networks":[243],"canbe":[244],"greatly":[245],"improved":[246],"by":[247],"taking":[248],"properly":[249],"selected":[250],"toolson":[252],"specific":[253],"entities.":[255]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}