<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01657866</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-06T10:19:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Verifying the configuration of Virtualized Network Functions in Software Defined Networks</title>
            <author role="sad">
              <persName>
                <forename type="first">Johan</forename>
                <surname>Pelay</surname>
              </persName>
              <email type="md5">331dc934fe18cd2fce3b186d05d38616</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">johan-pelay</idno>
              <idno type="idhal" notation="numeric">16496</idno>
              <idno type="halauthorid" notation="string">38139-16496</idno>
              <affiliation ref="#struct-471268"/>
              <affiliation ref="#struct-491189"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Fabice</forename>
                <surname>Guillemin</surname>
              </persName>
              <email type="md5">d2a51b66cf36a948e58249d19bb98017</email>
              <email type="domain">orange.com</email>
              <idno type="idhal" notation="numeric">1080198</idno>
              <idno type="halauthorid" notation="string">2053695-1080198</idno>
              <affiliation ref="#struct-14674"/>
              <affiliation ref="#struct-471268"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Barais</surname>
              </persName>
              <email type="md5">b19ee4f192e7f3a0e707e0f39f0470f9</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="string">olivierbarais</idno>
              <idno type="idhal" notation="numeric">1972</idno>
              <idno type="halauthorid" notation="string">9282-1972</idno>
              <idno type="IDREF">https://www.idref.fr/094608946</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4551-8562</idno>
              <affiliation ref="#struct-471268"/>
              <affiliation ref="#struct-491189"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Johan</forename>
                <surname>Pelay</surname>
              </persName>
              <email type="md5">331dc934fe18cd2fce3b186d05d38616</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-12-07 10:56:24</date>
              <date type="whenModified">2026-01-23 09:12:07</date>
              <date type="whenReleased">2017-12-07 11:10:13</date>
              <date type="whenProduced">2017</date>
              <date type="whenEndEmbargoed">2018-06-07</date>
              <ref type="file" target="https://hal.science/hal-01657866v1/document">
                <date notBefore="2018-06-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01657866v1/file/verifying-configuration-virtualized_vHAL.pdf" id="file-1657866-1700162">
                <date notBefore="2018-06-07"/>
              </ref>
              <ref type="annex" n="0" target="https://hal.science/hal-01657866v1/file/4G-LTE-Advanced-network-architecture.jpg" id="file-1657866-1700175">
                <date notBefore="2017-12-07"/>
              </ref>
              <ref type="annex" n="0" target="https://hal.science/hal-01657866v1/file/IEEEtran.bst" id="file-1657866-1700172">
                <date notBefore="2017-12-07"/>
              </ref>
              <ref type="annex" n="0" target="https://hal.science/hal-01657866v1/file/schema3.jpg" id="file-1657866-1700169">
                <date notBefore="2017-12-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="577277">
                <persName>
                  <forename>Johan</forename>
                  <surname>Pelay</surname>
                </persName>
                <email type="md5">331dc934fe18cd2fce3b186d05d38616</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01657866</idno>
            <idno type="halUri">https://hal.science/hal-01657866</idno>
            <idno type="halBibtex">pelay:hal-01657866</idno>
            <idno type="halRefHtml">b&lt;&gt;com, pp.1-6, In press</idno>
            <idno type="halRef">bcom, pp.1-6, In press</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1657866-1700162"/><ref corresp="#file-1657866-1700175"/><ref corresp="#file-1657866-1700172"/><ref corresp="#file-1657866-1700169"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="BCOM_NETWORK">Network Domain, IRT b&lt;&gt;com</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="INRIA2017">INRIA2017</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="BCOM_NETWORK_SECURITY">Network and Security Domain, IRT b&lt;&gt;com</idno>
            <idno type="stamp" n="BCOM_AC" corresp="BCOM_NETWORK_SECURITY">Advanced Connectivity Lab, IRT b&lt;&gt;com</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Accepted version of the paper but with two formulas which had to be deleted in the final version for size reasons.</note>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Verifying the configuration of Virtualized Network Functions in Software Defined Networks</title>
                <author role="sad">
                  <persName>
                    <forename type="first">Johan</forename>
                    <surname>Pelay</surname>
                  </persName>
                  <email type="md5">331dc934fe18cd2fce3b186d05d38616</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">johan-pelay</idno>
                  <idno type="idhal" notation="numeric">16496</idno>
                  <idno type="halauthorid" notation="string">38139-16496</idno>
                  <affiliation ref="#struct-471268"/>
                  <affiliation ref="#struct-491189"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Fabice</forename>
                    <surname>Guillemin</surname>
                  </persName>
                  <email type="md5">d2a51b66cf36a948e58249d19bb98017</email>
                  <email type="domain">orange.com</email>
                  <idno type="idhal" notation="numeric">1080198</idno>
                  <idno type="halauthorid" notation="string">2053695-1080198</idno>
                  <affiliation ref="#struct-14674"/>
                  <affiliation ref="#struct-471268"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Barais</surname>
                  </persName>
                  <email type="md5">b19ee4f192e7f3a0e707e0f39f0470f9</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="string">olivierbarais</idno>
                  <idno type="idhal" notation="numeric">1972</idno>
                  <idno type="halauthorid" notation="string">9282-1972</idno>
                  <idno type="IDREF">https://www.idref.fr/094608946</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4551-8562</idno>
                  <affiliation ref="#struct-471268"/>
                  <affiliation ref="#struct-491189"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>b&lt;&gt;com</publisher>
                  <biblScope unit="pp">1-6</biblScope>
                  <date type="datePub" subtype="inPress">2017</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="OUV">Books</classCode>
              <classCode scheme="halOldTypology" n="DOUV">Directions of work or proceedings</classCode>
              <classCode scheme="halTreeTypology" n="OUV">Books</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The deployment of modular virtual network functions (VNFs) in software defined infrastructures (SDI) enables cloud and network providers to deploy integrated network services across different resource domains. It leads to a large interleaving between network configuration through software defined network controllers and VNF deployment within this network. Most of the configuration management tools and network orchestrators used to deploy VNF lack of an abstraction to express Assume-Guarantee contracts between the VNF and the SDN configuration. Consequently, VNF deployment can be inconsistent with network configurations. To tackle this challenge, in this paper, we present an approach to check the consistency between the VNF description described from a set of structural models and flow-chart models and a proposed deployment on a real SDN infrastructure with its own configuration manager. We illustrate our approach on virtualized Evolved Packet Core function.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-471268" status="OLD">
          <orgName>Domaine Network (IRT b&lt;&gt;com)</orgName>
          <orgName type="acronym">Network</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-435003" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-491189" status="VALID">
          <idno type="RNSR">201422126U</idno>
          <idno type="ROR">https://ror.org/0194hft57</idno>
          <orgName>Diversity-centric Software Engineering</orgName>
          <orgName type="acronym">DiverSe</orgName>
          <date type="start">2014-07-01</date>
          <date type="end">2026-06-30</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/diverse</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-491188" type="direct"/>
            <relation active="#struct-490899" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-14674" status="VALID">
          <orgName>Orange Labs [Lannion]</orgName>
          <desc>
            <address>
              <addrLine>Technopole Anticipa 2 avenue Pierre Marzin 22300 LANNION</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300518" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-435003" status="VALID">
          <idno type="ROR">https://ror.org/03cejhk28</idno>
          <orgName>Institut de Recherche Technologique b-com</orgName>
          <orgName type="acronym">IRT b-com</orgName>
          <desc>
            <address>
              <addrLine>ZAC des Champs Blancs – 1219 avenue Champs Blancs – 35510 – Cesson-Sévigné</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://b-com.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-491188" status="VALID">
          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-490899" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-490899" status="VALID">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300518" status="VALID">
          <orgName>France Télécom</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>