conference paper Stefan Balthasar Schneider author 353430000-0001-8210-4011 Arnab Sharma author 67200 Holger Karl author 126 Heike Wehrheim author 573 77 department 75 department 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) SFB 901 - Project Area B project SFB 901 - Subproject B3 project SFB 901 project SFB 901 - Project Area C project SFB 901 - Subproject C4 project 5G Development and validation platform for global industry-specific network services and Apps project SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks project For optimal placement and orchestration of network services, it is crucial that their structure and semantics are specified clearly and comprehensively and are available to an orchestrator. Existing specification approaches are either ambiguous or miss important aspects regarding the behavior of virtual network functions (VNFs) forming a service. We propose to formally and unambiguously specify the behavior of these functions and services using Queuing Petri Nets (QPNs). QPNs are an established method that allows to express queuing, synchronization, stochastically distributed processing delays, and changing traffic volume and characteristics at each VNF. With QPNs, multiple VNFs can be connected to complete network services in any structure, even specifying bidirectional network services containing loops. We discuss how management and orchestration systems can benefit from our clear and comprehensive specification approach, leading to better placement of VNFs and improved Quality of Service. Another benefit of formally specifying network services with QPNs are diverse analysis options, which allow valuable insights such as the distribution of end-to-end delay. We propose a tool-based workflow that supports the specification of network services and the automatic generation of corresponding simulation code to enable an in-depth analysis of their behavior and performance. https://ris.uni-paderborn.de/download/3287/6504/ris_preprint.pdf application/pdfno IFIP2019Washington, DC, USA eng 116--124 Schneider, S. B., Sharma, A., Karl, H., &#38; Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In <i>2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)</i> (pp. 116--124). Washington, DC, USA: IFIP. Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: <i>2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)</i>. Washington, DC, USA: IFIP; 2019:116--124. S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in <i>2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)</i>, Washington, DC, USA, 2019, pp. 116--124. Schneider, Stefan Balthasar, Arnab Sharma, Holger Karl, and Heike Wehrheim. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” In <i>2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)</i>, 116--124. Washington, DC, USA: IFIP, 2019. @inproceedings{Schneider_Sharma_Karl_Wehrheim_2019, place={Washington, DC, USA}, title={Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets}, booktitle={2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)}, publisher={IFIP}, author={Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike}, year={2019}, pages={116--124} } Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” <i>2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)</i>, IFIP, 2019, pp. 116--124. S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124. 32872018-06-18T15:23:18Z2022-01-06T06:59:09Z