{"page":"116--124","year":"2019","has_accepted_license":"1","language":[{"iso":"eng"}],"_id":"3287","file":[{"relation":"main_file","date_created":"2019-01-07T12:38:35Z","content_type":"application/pdf","file_name":"ris_preprint.pdf","file_id":"6504","date_updated":"2019-01-07T12:38:35Z","access_level":"open_access","file_size":497528,"creator":"stschn"}],"ddc":["040"],"date_created":"2018-06-18T15:23:18Z","type":"conference","title":"Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets","author":[{"orcid":"0000-0001-8210-4011","last_name":"Schneider","full_name":"Schneider, Stefan Balthasar","id":"35343","first_name":"Stefan Balthasar"},{"full_name":"Sharma, Arnab","last_name":"Sharma","first_name":"Arnab","id":"67200"},{"last_name":"Karl","full_name":"Karl, Holger","id":"126","first_name":"Holger"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike","id":"573"}],"user_id":"35343","project":[{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"16","name":"SFB 901 - Subproject C4"},{"name":"5G Development and validation platform for global industry-specific network services and Apps","grant_number":"761493","_id":"28"},{"call_identifier":"5G PPP Phase 1","grant_number":"671517","name":"SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks","_id":"25"}],"abstract":[{"text":"For optimal placement and orchestration of network services, it is crucial\r\nthat their structure and semantics are specified clearly and comprehensively\r\nand are available to an orchestrator. Existing specification approaches are\r\neither ambiguous or miss important aspects regarding the behavior of virtual\r\nnetwork functions (VNFs) forming a service. We propose to formally and\r\nunambiguously specify the behavior of these functions and services using\r\nQueuing Petri Nets (QPNs). QPNs are an established method that allows to\r\nexpress queuing, synchronization, stochastically distributed processing delays,\r\nand changing traffic volume and characteristics at each VNF. With QPNs,\r\nmultiple VNFs can be connected to complete network services in any structure,\r\neven specifying bidirectional network services containing loops.\r\n  We discuss how management and orchestration systems can benefit from our\r\nclear and comprehensive specification approach, leading to better placement of\r\nVNFs and improved Quality of Service. Another benefit of formally specifying\r\nnetwork services with QPNs are diverse analysis options, which allow valuable\r\ninsights such as the distribution of end-to-end delay. We propose a tool-based\r\nworkflow that supports the specification of network services and the automatic\r\ngeneration of corresponding simulation code to enable an in-depth analysis of\r\ntheir behavior and performance.","lang":"eng"}],"publisher":"IFIP","date_updated":"2022-01-06T06:59:09Z","citation":{"short":"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.","apa":"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.","ama":"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.","chicago":"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.","mla":"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.","bibtex":"@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} }","ieee":"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."},"file_date_updated":"2019-01-07T12:38:35Z","status":"public","main_file_link":[{"open_access":"1","url":"http://dl.ifip.org/db/conf/im/im2019/188490.pdf"}],"oa":"1","conference":{"start_date":"2019-04-08","end_date":"2019-04-12","location":"Washington, DC, USA","name":"2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)"},"publication":"2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)","place":"Washington, DC, USA","department":[{"_id":"77"},{"_id":"75"}]}