{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:22:15Z","timestamp":1729653735202,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/noms.2016.7502813","type":"proceedings-article","created":{"date-parts":[[2016,7,4]],"date-time":"2016-07-04T17:07:22Z","timestamp":1467652042000},"page":"197-205","source":"Crossref","is-referenced-by-count":7,"title":["High-level modeling and application validation for SDN"],"prefix":"10.1109","author":[{"given":"Felipe A.","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Leonidas","family":"Lima","sequence":"additional","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":[{"journal-title":"OpenFlow Switch Specification v1 3 2","year":"2013","key":"ref39"},{"journal-title":"Graphical Modeling Framework (GMF)","year":"0","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2013.6825093"},{"key":"ref32","first-page":"22: 1","article-title":"Authoring of openftow networks with visual network description (sdn version) (wip)","author":"fontes","year":"0"},{"journal-title":"Mini Edit Application - Version 2 2 0 1 https \/\/github com\/mininet\/mininet\/blob\/master\/examples\/miniedit py","year":"0","key":"ref31"},{"key":"ref30","first-page":"429","article-title":"On Network Application representation and controller independence in SDN","author":"gutierrez","year":"0"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"journal-title":"Intent framework","year":"2015","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.7763\/IJMO.2012.V2.132"},{"journal-title":"Rapid Prototyping for Software Defined Networks - Version 2 2 1","year":"0","key":"ref34"},{"key":"ref10","first-page":"1","article-title":"Software-Defined Networking: The New Norm for Networks [white paper]","year":"0","journal-title":"ONF White Paper"},{"article-title":"The Epsilon Book","year":"2013","author":"kolovos","key":"ref40"},{"key":"ref11","article-title":"Forwarding and control element separation (forces) protocol specification","volume":"5810","author":"doria","year":"2010","journal-title":"Internet Requests for Comment RFC Editor RFC"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491190"},{"key":"ref13","article-title":"Opftex control protocol","author":"smith","year":"2014","journal-title":"Working Draft IETF Secretariat Internet-Draft draft-smith-opflex-Gl"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"journal-title":"RYU Controller","year":"2015","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461197"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"ref4","article-title":"Modular sdn programming with pyretic","author":"reich","year":"2013","journal-title":"Technical Reprot of USENIX"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103685"},{"key":"ref3","first-page":"59","article-title":"Kinetic: Verifiable dynamic network control","author":"kim","year":"0"},{"journal-title":"POX OpenFlow Controller - Version Fall","year":"2013","author":"mccauley","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref5","article-title":"Logic programming for software-defined networks","volume":"412","author":"katta","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2014.6918985"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491189"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2015.7140372"},{"journal-title":"SDN Expectations Report","year":"2015","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342451"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461198"},{"key":"ref21","first-page":"519","article-title":"Tierless programming and reasoning for software-defined networks","author":"nelson","year":"0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0219-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/GIIS.2014.6934264"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18378-2_19"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260"}],"event":{"name":"NOMS 2016 - 2016 IEEE\/IFIP Network Operations and Management Symposium","start":{"date-parts":[[2016,4,25]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2016,4,29]]}},"container-title":["NOMS 2016 - 2016 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7499631\/7502779\/07502813.pdf?arnumber=7502813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T22:11:57Z","timestamp":1475187117000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7502813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/noms.2016.7502813","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}