{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T20:04:01Z","timestamp":1750363441841},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s11432-019-2644-8","type":"journal-article","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T15:07:47Z","timestamp":1591110467000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From model to implementation: a network algorithm programming language"],"prefix":"10.1007","volume":"63","author":[{"given":"Jian","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"An","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingshuai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lulin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miaomiao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Gan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,1]]},"reference":[{"key":"2644_CR1","unstructured":"McKeown N. Software-defined networking. In: Proceedings of Keynote Talk at the 28th Conference on Computer Communications, Valencia, 2009"},{"key":"2644_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N McKeown","year":"2008","unstructured":"McKeown N, Anderson T, Balakrishnan H, et al. Openflow: enabling innovation in campus networks. SIGCOMM Comput Commun Rev, 2008, 38: 69\u201374","journal-title":"SIGCOMM Comput Commun Rev"},{"key":"2644_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JPROC.2014.2371999","volume":"103","author":"D Kreutz","year":"2015","unstructured":"Kreutz D, Ramos F M V, Verissimo P E, et al. Software-defined networking: a comprehensive survey. Proc IEEE, 2015, 103: 14\u201376","journal-title":"Proc IEEE"},{"key":"2644_CR4","doi-asserted-by":"publisher","first-page":"1617","DOI":"10.1109\/SURV.2014.012214.00180","volume":"16","author":"B A A Nunes","year":"2014","unstructured":"Nunes B A A, Mendonca M, Nguyen X N, et al. A survey of software-defined networking: past, present, and future of programmable networks. IEEE Commun Surv Tut, 2014, 16: 1617\u20131634","journal-title":"IEEE Commun Surv Tut"},{"key":"2644_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/j.comnet.2014.10.015","volume":"75","author":"A Hakiri","year":"2014","unstructured":"Hakiri A, Gokhale A, Berthou P, et al. Software-defined networking: challenges and research opportunities for future Internet. Comput Netw, 2014, 75: 453\u2013471","journal-title":"Comput Netw"},{"key":"2644_CR6","doi-asserted-by":"crossref","unstructured":"Monsanto C, Foster N, Harrison R, et al. A compiler and run-time system for network programming languages. In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, 2012. 217\u2013230","DOI":"10.1145\/2103621.2103685"},{"key":"2644_CR7","doi-asserted-by":"crossref","unstructured":"Foster N, Harrison R, Freedman M J, et al. Frenetic: a network programming language. In: Proceeding of the 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, 2011. 279\u2013291","DOI":"10.1145\/2034574.2034812"},{"key":"2644_CR8","unstructured":"Monsanto C, Reich J, Foster N, et al. Composing software-defined networks. In: Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, Lombard, 2013"},{"key":"2644_CR9","unstructured":"Katta N P, Rexford J, Walker D. Logic programming for software-defined networks. In: Proceeding of Workshop Cross Model Design Validation, Copenhagen, 2012"},{"key":"2644_CR10","doi-asserted-by":"crossref","unstructured":"Soule R, Basu S, Kleinberg R, et al. Managing the network with Merlin. In: Proceeding of the 12th ACM Workshop on Hot Topics in Networks, College Park, 2013","DOI":"10.1145\/2535771.2535792"},{"key":"2644_CR11","volume-title":"Guide to the Unified Process featuring UML, Java and Design Patterns","author":"J Hunt","year":"2003","unstructured":"Hunt J. Inheritance considered harmful! In: Guide to the Unified Process featuring UML, Java and Design Patterns. Berlin: Springer, 2003"},{"key":"2644_CR12","volume-title":"Constrained Shortest Paths and Related Problems \u2014 Constrained Network Optimization","author":"M Ziegelmann","year":"2007","unstructured":"Ziegelmann M. Constrained Shortest Paths and Related Problems \u2014 Constrained Network Optimization. Saarbr\u00fccken: VDM Verlag, 2007"},{"key":"2644_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/2578855.2535862","volume":"49","author":"C J Anderson","year":"2014","unstructured":"Anderson C J, Foster N, Guha A, et al. Netkat: semantic foundations for networks. SIGPLAN Not, 2014, 49: 113\u2013126","journal-title":"SIGPLAN Not"},{"key":"2644_CR14","doi-asserted-by":"crossref","unstructured":"Voellmy A, Hudak P. Nettle: taking the sting out of programming network routers. In: Proceedings of the 13th International Conference on Practical Aspects of Declarative Languages, Austin, 2011. 235\u2013249","DOI":"10.1007\/978-3-642-18378-2_19"},{"key":"2644_CR15","doi-asserted-by":"crossref","unstructured":"Nelson T, Guha A, Dougherty D J, et al. A balance of power: expressive, analyzable controller programming. In: Proceedings of the 2nd ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, Hong Kong, 2013. 79\u201384","DOI":"10.1145\/2491185.2491201"},{"key":"2644_CR16","doi-asserted-by":"crossref","unstructured":"Voellmy A, Wang J, Yang Y R, et al. Maple: simplifying SDN programming using algorithmic policies. In: Proceedings of ACM SIGCOMM 2013 Conference, Hong Kong, 2013. 87\u201398","DOI":"10.1145\/2486001.2486030"},{"key":"2644_CR17","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/2656877.2656890","volume":"44","author":"P Bosshart","year":"2014","unstructured":"Bosshart P, Varghese G, Walker D, et al. P4: programming protocol-independent packet processors. SIGCOMM Comput Commun Rev, 2014, 44: 87\u201395","journal-title":"SIGCOMM Comput Commun Rev"},{"key":"2644_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1384609.1384625","volume":"38","author":"N Gude","year":"2008","unstructured":"Gude N, Koponen T, Pettit J, et al. NOX: towards an operating system for networks. SIGCOMM Comput Commun Rev, 2008, 38: 105\u2013110","journal-title":"SIGCOMM Comput Commun Rev"},{"key":"2644_CR19","doi-asserted-by":"crossref","unstructured":"Hinrichs T L, Gude N, Casado M, et al. Practical declarative network management. In: Proceedings of the 1st ACM SIGCOMM Workshop on Research on Enterprise Networking, New York, 2009","DOI":"10.1145\/1592681.1592683"},{"key":"2644_CR20","doi-asserted-by":"crossref","unstructured":"Huang S S, Green T J, Loo B T. Datalog and emerging applications: an interactive tutorial. In: Proceedings of ACM SIGMOD International Conference on Management of Data, Athens, 2011. 1213\u20131216","DOI":"10.1145\/1989323.1989456"},{"key":"2644_CR21","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","volume":"30","author":"E R Gansner","year":"2000","unstructured":"Gansner E R, North S C. An open graph visualization system and its applications to software engineering. Softw-Pract Exper, 2000, 30: 1203\u20131233","journal-title":"Softw-Pract Exper"},{"key":"2644_CR22","volume-title":"Lex & Yacc","author":"J R Levine","year":"1992","unstructured":"Levine J R, Mason T, Brown D. Lex & Yacc. 2nd ed. Sebastopol: O\u2019Reilly, 1992","edition":"2nd ed."}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-019-2644-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-019-2644-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-019-2644-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T05:49:01Z","timestamp":1622526541000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-019-2644-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,1]]},"references-count":22,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["2644"],"URL":"https:\/\/doi.org\/10.1007\/s11432-019-2644-8","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,1]]},"assertion":[{"value":"25 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 April 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"172102"}}