{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:00:31Z","timestamp":1767920431319,"version":"3.49.0"},"reference-count":97,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["IBPG-1200-1.03\/14"],"award-info":[{"award-number":["IBPG-1200-1.03\/14"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["IBPG-1321- 1.03\/11"],"award-info":[{"award-number":["IBPG-1321- 1.03\/11"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["206410\/2014-0"],"award-info":[{"award-number":["206410\/2014-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["304422\/2013-4"],"award-info":[{"award-number":["304422\/2013-4"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["482831\/2012-0"],"award-info":[{"award-number":["482831\/2012-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Commun. Surv. Tutorials"],"published-print":{"date-parts":[[2016]]},"DOI":"10.1109\/comst.2015.2501026","type":"journal-article","created":{"date-parts":[[2015,11,18]],"date-time":"2015-11-18T15:17:52Z","timestamp":1447859872000},"page":"1255-1272","source":"Crossref","is-referenced-by-count":50,"title":["A Software Engineering Perspective on SDN Programmability"],"prefix":"10.1109","volume":"18","author":[{"given":"Felipe A.","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Robson","family":"Fidalgo","sequence":"additional","affiliation":[]},{"given":"Stenio","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"51","article-title":"Formal specification framework for software-defined networks (SDN)","author":"kang","year":"0","journal-title":"Proc 7th Int Conf Future Internet Technol"},{"key":"ref38","first-page":"672","article-title":"Reliability-aware controller placement for Software-Defined Networks","author":"hu","year":"0","journal-title":"Proc IFIP\/IEEE Int Symp Integr Netw Manage"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491199"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2014.6918986"},{"key":"ref37","first-page":"10","article-title":"On controller performance in software-defined networks","author":"tootoonchian","year":"0","journal-title":"Proc 2nd USENIX Conf Hot Topics Manage Internet Cloud Enterp Netw Serv (Hot-ICE’12)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461198"},{"key":"ref35","first-page":"59","article-title":"Kinetic: Verifiable dynamic network control","author":"kim","year":"0","journal-title":"Proc 12th USENIX NSDI"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838275"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LANMAN.2011.6076935"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CC.2014.6821736"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICTON.2013.6602984"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2014.26"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.76"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36516-4_4"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ANTS.2012.6524222"},{"key":"ref25","first-page":"207","article-title":"Interactive monitoring, visualization, and configuration of OpenFlow-based SDN","author":"heleno","year":"0","journal-title":"Proc IFIP\/IEEE Int Symp Integr Netw Manage"},{"key":"ref50","author":"fowler","year":"2010","journal-title":"Domain-specific Languages"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1002\/spe.936"},{"key":"ref59","author":"gronback","year":"2009","journal-title":"Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit"},{"key":"ref58","author":"stahl","year":"2006","journal-title":"Model-Driven Software Development Technology Engineering Management"},{"key":"ref57","author":"frankel","year":"2002","journal-title":"Model Driven Architecture Applying MDA to Enterprise Computing"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1040694.1040698"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"ref54","first-page":"65","article-title":"Quality in use of domain specific languages: A case study","author":"bari\u0161i?","year":"0","journal-title":"Proc 3rd ACM SIGPLAN Workshop Eval Usability Programm Lang Tools (PLATEAU’11)"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342451"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"ref4","article-title":"OpFlex: An open source approach","year":"2014"},{"key":"ref3","first-page":"525","article-title":"Building NetOpen networking services over open flow-based programmable networks","author":"kim","year":"0","journal-title":"Proc Int Conf Inf Netw (ICOIN)"},{"key":"ref6","article-title":"Forwarding and control element separation","author":"doria","year":"2010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491190"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/35.568214"},{"key":"ref49","article-title":"Formal foundations for software defined networks","author":"guha","year":"0","journal-title":"Open Networking Summit (ONS) Research Track"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/505754.505762"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1282427.1282382"},{"key":"ref46","article-title":"Forms of language specification examples from commonly used computer languages","author":"jones","year":"2008"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00027-6"},{"key":"ref47","first-page":"318","article-title":"A comparative study of formal and informal specifications through an industrial case study","author":"satpathy","year":"0","journal-title":"Proc IEEE\/IFIP Workshop Formal Specif Comput Based Syst"},{"key":"ref42","first-page":"33","article-title":"A survey of programming languages and platforms for multi-agent systems","volume":"30","author":"bordini","year":"2006","journal-title":"Informatica Slovenian"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501666"},{"key":"ref43","first-page":"51","author":"nilsson","year":"2002","journal-title":"Functional Reactive Programming Continued"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref72","first-page":"1213","article-title":"Datalog and emerging applications: An interactive tutorial","author":"huan","year":"0","journal-title":"Proc ACM SIGMOD Int Conf Manage Data-SIGMOD"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref70","year":"0","journal-title":"POX"},{"key":"ref76","first-page":"1","article-title":"Aster* x: Load-balancing as a network primitive","author":"handigol","year":"0","journal-title":"9th GENI Engineering Conf (Plenary)"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2345792"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775007"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/GIIS.2007.4404174"},{"key":"ref78","first-page":"99","article-title":"Real time network policy checking using header space","author":"kazemian","year":"0","journal-title":"Proc USENIX Symp Netw Syst Design Implem (NSDI)"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679403"},{"key":"ref60","first-page":"56","article-title":"Comparison of microsoft DSL tools and eclipse modeling frameworks for domain-specific modeling in the context of the model driven development","author":"\u00f6zg\u00fcr","year":"2007"},{"key":"ref62","first-page":"235","article-title":"Nettle: Functional reactive programming for OpenFlow networks","author":"voellmy","year":"0","journal-title":"Proc Pract Aspects Declarative Lang (PADL)"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"ref64","first-page":"1","article-title":"Composing software-defined networks","author":"monsanto","year":"0","journal-title":"Proc 12th USENIX Symp Netw Syst Des Implement (NSDI"},{"key":"ref65","article-title":"Logic programming for software-defined networks","author":"katta","year":"0","journal-title":"Proc ACM SIGPLAN Workshop Cross-Model Lang Design Implement"},{"key":"ref66","first-page":"203","article-title":"Network virtualization in multi-tenant datacenters","author":"koponen","year":"0","journal-title":"Proc 11th USENIX Symp on Netw Syst Design Implement (NSDI 14)"},{"key":"ref67","article-title":"Tierless programming and reasoning for software-defined networks","author":"nelson","year":"0","journal-title":"Proc 11th USENIX Symp Networked Syst Des Implement"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461197"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref69","first-page":"351","article-title":"Onix: A distributed control platform for large-scale production networks","author":"koponen","year":"0","journal-title":"Proc USENIX Symp Oper Syst Design Implementation (OSDI)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2005.1577741"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2013.58"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620752"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461195"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1364\/ECEOC.2012.Tu.1.D.1"},{"key":"ref91","doi-asserted-by":"crossref","DOI":"10.17487\/rfc3945","article-title":"Generalized multi-protocol label switching (GMPLS) architecture","author":"mannie","year":"2004"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491189"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-014-0431-8"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/LANOMS.2015.7332668"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2014.6829966"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2559899.2560327"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.081313.00105"},{"key":"ref15","author":"raza","year":"2013","journal-title":"North Bound Interface Working Group (NBI-WG) Charter"},{"key":"ref16","year":"2013","journal-title":"OpenFlow Switch Specification 1 4 0"},{"key":"ref82","first-page":"1","article-title":"Towards test-driven software defined networking","author":"vissicchio","year":"0","journal-title":"Proc IEEE Netw Operat Manage Symp (NOMS)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2012.6363992"},{"key":"ref81","first-page":"10","article-title":"A NICE way to test OpenFlow applications","author":"canini","year":"0","journal-title":"Proc 9th USENIX Conf Netw Syst Des Implement"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2015.03.018"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.081313.00105"},{"key":"ref83","author":"gamma","year":"1994","journal-title":"Design Patterns Elements of Reusable Object-Oriented Software"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486003"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018466"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2015.7140372"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012214.00180"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2326417"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2330903"}],"container-title":["IEEE Communications Surveys & Tutorials"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9739\/7475979\/07331240.pdf?arnumber=7331240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:45:23Z","timestamp":1641987923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7331240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":97,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/comst.2015.2501026","relation":{},"ISSN":["1553-877X","2373-745X"],"issn-type":[{"value":"1553-877X","type":"electronic"},{"value":"2373-745X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}