{"id":"https://openalex.org/W2473702339","doi":"https://doi.org/10.1109/noms.2016.7502813","title":"High-level modeling and application validation for SDN","display_name":"High-level modeling and application validation for SDN","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2473702339","doi":"https://doi.org/10.1109/noms.2016.7502813","mag":"2473702339"},"language":"en","primary_location":{"id":"doi:10.1109/noms.2016.7502813","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms.2016.7502813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium","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/A5082078717","display_name":"Felipe A. Lopes","orcid":"https://orcid.org/0000-0003-2727-9390"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Felipe A. Lopes","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050530774","display_name":"Leonidas Lima","orcid":"https://orcid.org/0000-0001-7966-5109"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Leonidas Lima","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103341725","display_name":"Marcelo Santos","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcelo Santos","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030552866","display_name":"Robson Fidalgo","orcid":"https://orcid.org/0000-0002-4714-2933"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Robson Fidalgo","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037353382","display_name":"St\u00eanio Fernandes","orcid":"https://orcid.org/0000-0002-4180-115X"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Stenio Fernandes","raw_affiliation_strings":["Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082078717"],"corresponding_institution_ids":["https://openalex.org/I25112270"],"apc_list":null,"apc_paid":null,"fwci":1.7372,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86140226,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"5810","issue":null,"first_page":"197","last_page":"205"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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":1.0,"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.9914000034332275,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.988099992275238,"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.8082307577133179},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.71205073595047},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6163774132728577},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5952940583229065},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5439916849136353},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.505568265914917},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5022120475769043},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.4949173331260681},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4932190775871277},{"id":"https://openalex.org/keywords/millisecond","display_name":"Millisecond","score":0.4639657735824585},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.46020007133483887},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4444941282272339},{"id":"https://openalex.org/keywords/network-management","display_name":"Network management","score":0.4287775754928589},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3497335612773895},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.22912901639938354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2099318504333496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8082307577133179},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.71205073595047},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6163774132728577},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5952940583229065},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5439916849136353},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.505568265914917},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5022120475769043},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.4949173331260681},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4932190775871277},{"id":"https://openalex.org/C60327585","wikidata":"https://www.wikidata.org/wiki/Q723733","display_name":"Millisecond","level":2,"score":0.4639657735824585},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.46020007133483887},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4444941282272339},{"id":"https://openalex.org/C129763632","wikidata":"https://www.wikidata.org/wiki/Q1454667","display_name":"Network management","level":2,"score":0.4287775754928589},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3497335612773895},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.22912901639938354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2099318504333496},{"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/noms.2016.7502813","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms.2016.7502813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W197998272","https://openalex.org/W766097457","https://openalex.org/W1461485317","https://openalex.org/W1507838685","https://openalex.org/W1573948901","https://openalex.org/W1949062307","https://openalex.org/W2005027824","https://openalex.org/W2021234005","https://openalex.org/W2022758041","https://openalex.org/W2040678819","https://openalex.org/W2041008854","https://openalex.org/W2047339217","https://openalex.org/W2067605982","https://openalex.org/W2074616737","https://openalex.org/W2089939717","https://openalex.org/W2093312782","https://openalex.org/W2099501333","https://openalex.org/W2112867573","https://openalex.org/W2116898340","https://openalex.org/W2123548135","https://openalex.org/W2124430419","https://openalex.org/W2124497098","https://openalex.org/W2139872812","https://openalex.org/W2147118406","https://openalex.org/W2163593754","https://openalex.org/W2264766172","https://openalex.org/W2327980189","https://openalex.org/W2399834472","https://openalex.org/W2401444387","https://openalex.org/W2548067625","https://openalex.org/W4253200893","https://openalex.org/W6622396664","https://openalex.org/W6628618980","https://openalex.org/W6634347966","https://openalex.org/W6684118736","https://openalex.org/W7009919952"],"related_works":["https://openalex.org/W2396093860","https://openalex.org/W98267493","https://openalex.org/W189250567","https://openalex.org/W3116052088","https://openalex.org/W3088968702","https://openalex.org/W2587010502","https://openalex.org/W2115519794","https://openalex.org/W3143695185","https://openalex.org/W2531412333","https://openalex.org/W2979505726"],"abstract_inverted_index":{"Software-Defined":[0],"Networking":[1,50],"(SDN)":[2],"enables":[3],"applications":[4,18,70],"running":[5],"on":[6],"its":[7],"control":[8],"plane.":[9],"The":[10],"Northbound":[11],"API":[12],"allows":[13],"programmers":[14],"to":[15,68,75],"develop":[16],"SDN":[17,80,98],"for":[19,34,90],"a":[20,31,52,65],"number":[21],"of":[22,38,55,79],"policy-based":[23],"network":[24],"management":[25],"tasks.":[26],"However,":[27],"there":[28],"is":[29,88,110],"still":[30],"clear":[32],"need":[33],"supporting":[35],"the":[36,48],"development":[37],"controller-agnostic":[39],"modeled":[40],"applications.":[41,81],"In":[42],"this":[43],"paper,":[44],"we":[45],"show":[46,104],"how":[47],"Model-Driven":[49],"(MDN),":[51],"framework":[53,87],"composed":[54],"CASE":[56],"tool":[57],"and":[58,74,95,117,124],"Domain-Specific":[59],"Modeling":[60],"Language":[61],"(DSML),":[62],"can":[63,120],"be":[64],"feasible":[66],"solution":[67],"create":[69],"independent":[71,96],"from":[72,97],"controllers":[73],"enable":[76],"proper":[77],"verification":[78],"Our":[82],"evaluation":[83],"demonstrates":[84],"that":[85],"MDN":[86],"viable":[89],"using":[91],"in":[92],"real":[93],"scenarios":[94],"controllers.":[99],"Moreover,":[100],"our":[101],"performance":[102],"tests":[103],"that:":[105],"(i)":[106],"MDN's":[107],"code":[108],"generation":[109],"two":[111],"times":[112],"faster":[113],"than":[114],"other":[115],"approaches;":[116],"(ii)":[118],"it":[119],"validate":[121],"several":[122],"constraints":[123],"complex":[125],"topologies":[126],"at":[127],"millisecond-timescale.":[128]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}