A Solution for Goal-oriented Policy Refinement in NFV Management and Orchestration Systems

  • Michel Bonfim UFPE / UFC
  • Fred Freitas UFPE
  • Stênio Fernandes UFPE


In this thesis, we propose an automated policy refinement procedure for NFV-MANO systems based on planning and description logic reasoning. It is implemented in ATOM, a framework that enables NFV-MANO to record high-level goals and performs a fully automated policy refinement that derives enforceable rules to govern NFV-MANO behavioral choices. Besides, ATOM provides a semantic verification system to find inconsistencies among policies. Experiments have shown that our solution scales well considering realistic scenarios with different sizes.


Azevedo, D., Bonfim, M., Lima, L., and Fernandes, S. (2018). Towards an accurate bandwidth estimation tool for 802.11n wireless networks. In 2018 IEEE Symposium on Computers and Communications (ISCC), pages 00486–00491.

Bandara, A. K., Lupu, E., Moffett, J. D., and Russo, A. (2004). A goal-based approach to policy refinement. In 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 7-9 June 2004, Yorktown Heights, NY, USA, pages 229–239.

Bonfim, M., Dias, K., and Fernandes, S. (2019a). Sfcmon: An efficient and scalable monitoring system for network ows in sfc-enabled domains. In Proceedings of the VI Pre-IETF Workshop, Porto Alegre, RS, Brasil. SBC.

Bonfim, M., Freitas, F., and Fernandes, S. (2019b). A semantic-based policy analysis solution for the deployment of nfv services. IEEE Transactions on Network and Service Management, 16(3):1005–1018.

Bonfim, M., Roque, R., Coutinho, E., Dias, K., and Fernandes, S. (2018). Identifying performance bottlenecks in software data planes for cloud-based nfv services. In NOMS 2018 2018 IEEE/IFIP Network Operations and Management Symposium, pages 1–7.

Bonfim, M., Santos, M., Dias, K., and Fernandes, S. (2020). A real-time attack defense framework for 5g network slicing. Software: Practice and Experience, 50(7):1228–1257.

Bonfim, M. S., Dias, K. L., and Fernandes, S. F. L. (2019c). Integrated nfv/sdn architectures: A systematic literature review. ACM Comput. Surv., 51(6):114:1–114:39.

Erol, K., Hendler, J., and Nau, D. S. (1994). Htn planning: Complexity and expressivity. In Proceedings of the Twelfth National Conference on Artificial Intelligence (Vol. 2), AAAI’94, pages 1123–1128, Menlo Park, CA, USA. American Association for Artificial Intelligence.

ETSI (2017). Network functions virtualisation management and orchestration report on policy management in mano (release 3). ETSI GR NFV-IFA 023 V3.1.1.

Georgievski, I. and Aiello, M. (2015). Htn planning: Overview, comparison, and beyond. Artificial Intelligence, 222:124 – 156.

Giotis, K., Kryftis, Y., and Maglaris, V. (2015). Policy-based Orchestration of NFV IEEE Network Softwarization (NetSoft), Services in Software-Defined Networks. 605243(605243).

Hölldobler, S. and Kuske, D. (2000). The boundary between decidable and undecidable fragments of the uent calculus. In Parigot, M. and Voronkov, A., editors, Logic for Programming and Automated Reasoning, pages 436–450, Berlin, Heidelberg. Springer Berlin Heidelberg.

Krötzsch, M., Patel-Schneider, P., Rudolph, S., Hitzler, P., and Parsia, B. (2012). OWL 2 web ontology language primer (second edition). Technical report, W3C. http://www.w3.org/TR/2012/REC-owl2-primer-20121211/.

Machado, C. C., Wickboldt, J. A., Granville, L. Z., and Filho, A. E. S. (2017). ARKHAM: an advanced refinement toolkit for handling service level agreements in softwaredened networking. J. Network and Computer Applications, 90:1–16.

Riekstin, A. C., Januario, G. C., Rodrigues, B. B., Nascimento, V. T., de Brito Carvalho, T. C. M., and Meirosu, C. (2016). A survey of policy refinement methods as a support for sustainable networks. IEEE Communications Surveys and Tutorials, 18(1):222–235.

Rochaeli, T. (2009). An Automated Policy Renement Process Supported by Expert Knowledge. PhD thesis, Technische Universitat, Darmstadt.
BONFIM, Michel; FREITAS, Fred; FERNANDES, Stênio. A Solution for Goal-oriented Policy Refinement in NFV Management and Orchestration Systems. In: CONCURSO DE TESES E DISSERTAÇÕES - SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS (SBRC), 39. , 2021, Uberlândia. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 73-80. ISSN 2177-9384. DOI: https://doi.org/10.5753/sbrc_estendido.2021.17156.