Network service topology: Formalization, taxonomy and the CUSTOM specification model

被引:12
|
作者
Fulber-Garcia, Vinicius [1 ]
Duarte Jr, Elias P. [1 ]
Huff, Alexandre [2 ]
dos Santos, Carlos R. P. [3 ]
机构
[1] Univ Fed Parana, Dept Informat, Curitiba, Parana, Brazil
[2] Fed Technol Univ Parana, Toledo, Brazil
[3] Univ Fed Santa Maria, Dept Appl Comp, Santa Maria, RS, Brazil
关键词
NFV; Service; Topology; Definitions; Taxonomy; Specification; Model; FUNCTION VIRTUALIZATION; NFV; CHAIN; INTEGRATION; MANAGEMENT; SDN;
D O I
10.1016/j.comnet.2020.107337
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Network Function Virtualization (NFV) relies on virtualization technologies to allow the implementation of middleboxes in software that is executed on commercial off-the-shelf hardware. Multiple Virtual Network Functions (VNFs) can be combined to form arbitrary network services. The term service topology has been freely employed by both major NFV recommendation and standardization bodies (the Internet Engineering Task Force (IETF) and European Telecommunications Standards Institute (ETSI)) and in the literature. The objective of this work is to present a formal specification that unifies these different views of service topologies. A taxonomy is proposed which allows the classification of topologies according to multiple criteria, including structure, size, heterogeneity, function sharing, among others. We also propose the CUstom Service TOpology Model (CUSTOM), a specification model that allows the design of network service topologies that feature the different categories proposed in the taxonomy. Finally, we demonstrate the specification capabilities of CUSTOM through a series of case studies.
引用
收藏
页数:16
相关论文
共 50 条
  • [1] The Extension of Semantic Formalization of Service Workflow Specification Language
    Viriyasitavat, Wattana
    Xu, Li Da
    Bi, Zhuming
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (02) : 741 - 754
  • [2] Custom topology generation for network-on-chip
    Stuart, Matthias Bo
    Sparso, Jens
    2007 NORCHIP, 2007, : 81 - 84
  • [3] Formalization of network quality-of-service requirements
    Webel, Christian
    Gotzhein, Reinhard
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 4574 : 309 - +
  • [4] Topology design of Service Overlay Network with a generalized cost model
    Zhou, Ling
    Sen, Arunabha
    GLOBECOM 2007: 2007 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-11, 2007, : 75 - 80
  • [5] Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network
    Weng, Jiaming
    Liu, Dong
    Liu, Yingxu
    IET CYBER-PHYSICAL SYSTEMS: THEORY & APPLICATIONS, 2021, 6 (03) : 116 - 124
  • [6] SPECIFICATION OF A SIMPLIFIED NETWORK SERVICE IN CSP
    MORGAN, C
    HOARE, CAR
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 345 - 353
  • [8] Formalization of SOA Design Patterns Using Model-Based Specification Technique
    Dwivedi, Ashish Kumar
    Rath, Santanu Kumar
    Chakravarthy, Srinivasa L.
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND DATA ENGINEERING (ICCIDE 2018), 2019, 28 : 95 - 101
  • [9] Taxonomy for the Network and Service Management Research Field
    Carlos Raniery Paula dos Santos
    Jeroen Famaey
    Jürgen Schönwälder
    Lisandro Zambenedetti Granville
    Aiko Pras
    Filip De Turck
    Journal of Network and Systems Management, 2016, 24 : 764 - 787
  • [10] Taxonomy for the Network and Service Management Research Field
    Paula dos Santos, Carlos Raniery
    Famaey, Jeroen
    Schoenwaelder, Juergen
    Granville, Lisandro Zambenedetti
    Pras, Aiko
    De Turck, Filip
    JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, 2016, 24 (03) : 764 - 787