---
res:
  bibo_abstract:
  - "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.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Stefan Balthasar
      foaf_name: Schneider, Stefan Balthasar
      foaf_surname: Schneider
      foaf_workInfoHomepage: http://www.librecat.org/personId=35343
    orcid: 0000-0001-8210-4011
  - foaf_Person:
      foaf_givenName: Arnab
      foaf_name: Sharma, Arnab
      foaf_surname: Sharma
      foaf_workInfoHomepage: http://www.librecat.org/personId=67200
  - foaf_Person:
      foaf_givenName: Holger
      foaf_name: Karl, Holger
      foaf_surname: Karl
      foaf_workInfoHomepage: http://www.librecat.org/personId=126
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  dct_date: 2019^xs_gYear
  dct_language: eng
  dct_publisher: IFIP@
  dct_title: Specifying and Analyzing Virtual Network Services Using Queuing Petri
    Nets@
...