<?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-01816411</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-03T21:30:10+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Towards a formal verification approach for cloud software architecture</title>
            <author role="aut">
              <persName>
                <forename type="first">Ayach</forename>
                <surname>Amal</surname>
              </persName>
              <idno type="halauthorid">1382909-0</idno>
              <affiliation ref="#struct-6267"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Layth</forename>
                <surname>Sliman</surname>
              </persName>
              <email type="md5">fa66426dd654401ae640474ca67750a2</email>
              <email type="domain">insa-lyon.fr</email>
              <idno type="idhal" notation="string">layth-sliman</idno>
              <idno type="idhal" notation="numeric">779057</idno>
              <idno type="halauthorid" notation="string">370301-779057</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3369-7302</idno>
              <idno type="IDREF">https://www.idref.fr/144958473</idno>
              <idno type="VIAF">https://viaf.org/viaf/187637131</idno>
              <idno type="ISNI">http://isni.org/isni/0000000140467770</idno>
              <affiliation ref="#struct-416458"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mourad</forename>
                <surname>Kmimech</surname>
              </persName>
              <email type="md5">f87277e4ab6e814018dfff6d6a41d6f2</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">mourad-kmimech</idno>
              <idno type="idhal" notation="numeric">981557</idno>
              <idno type="halauthorid" notation="string">671426-981557</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3120-3287</idno>
              <affiliation ref="#struct-91738"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed Tahar</forename>
                <surname>Bhiri</surname>
              </persName>
              <idno type="halauthorid">237352-0</idno>
              <affiliation ref="#struct-206882"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Badran</forename>
                <surname>Raddaoui</surname>
              </persName>
              <email type="md5">c9374d62d5e6fc10fcdba3dec1e0df93</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">badran-raddaoui</idno>
              <idno type="idhal" notation="numeric">1027280</idno>
              <idno type="halauthorid" notation="string">736529-1027280</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4712-0811</idno>
              <idno type="IDREF">https://www.idref.fr/188386823</idno>
              <idno type="VIAF">https://viaf.org/viaf/863144647710842203512</idno>
              <affiliation ref="#struct-5170"/>
              <affiliation ref="#struct-638"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Médiathèque</forename>
                <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
              </persName>
              <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
              <email type="domain">imtbs-tsp.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-06-15 11:44:01</date>
              <date type="whenModified">2026-02-18 14:06:01</date>
              <date type="whenReleased">2018-06-15 11:44:01</date>
              <date type="whenProduced">2017-09-26</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142673">
                <persName>
                  <forename>Médiathèque</forename>
                  <surname>Télécom SudParis &amp; Institut Mines-Télécom Business School</surname>
                </persName>
                <email type="md5">8d9568058c47dcee2bc21ac2481f44c9</email>
                <email type="domain">imtbs-tsp.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01816411</idno>
            <idno type="halUri">https://hal.science/hal-01816411</idno>
            <idno type="halBibtex">amal:hal-01816411</idno>
            <idno type="halRefHtml">&lt;i&gt;SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques&lt;/i&gt;, Sep 2017, Kitakyushu, Japan. pp.490 - 502, &lt;a target="_blank" href="https://dx.doi.org/10.3233/978-1-61499-800-6-490"&gt;&amp;#x27E8;10.3233/978-1-61499-800-6-490&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques, Sep 2017, Kitakyushu, Japan. pp.490 - 502, &amp;#x27E8;10.3233/978-1-61499-800-6-490&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">TELECOM-SUDPARIS-SACLAY</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TSP-DIEGO">DIEGO group</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Towards a formal verification approach for cloud software architecture</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ayach</forename>
                    <surname>Amal</surname>
                  </persName>
                  <idno type="halauthorid">1382909-0</idno>
                  <affiliation ref="#struct-6267"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Layth</forename>
                    <surname>Sliman</surname>
                  </persName>
                  <email type="md5">fa66426dd654401ae640474ca67750a2</email>
                  <email type="domain">insa-lyon.fr</email>
                  <idno type="idhal" notation="string">layth-sliman</idno>
                  <idno type="idhal" notation="numeric">779057</idno>
                  <idno type="halauthorid" notation="string">370301-779057</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3369-7302</idno>
                  <idno type="IDREF">https://www.idref.fr/144958473</idno>
                  <idno type="VIAF">https://viaf.org/viaf/187637131</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000140467770</idno>
                  <affiliation ref="#struct-416458"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mourad</forename>
                    <surname>Kmimech</surname>
                  </persName>
                  <email type="md5">f87277e4ab6e814018dfff6d6a41d6f2</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">mourad-kmimech</idno>
                  <idno type="idhal" notation="numeric">981557</idno>
                  <idno type="halauthorid" notation="string">671426-981557</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3120-3287</idno>
                  <affiliation ref="#struct-91738"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed Tahar</forename>
                    <surname>Bhiri</surname>
                  </persName>
                  <idno type="halauthorid">237352-0</idno>
                  <affiliation ref="#struct-206882"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Badran</forename>
                    <surname>Raddaoui</surname>
                  </persName>
                  <email type="md5">c9374d62d5e6fc10fcdba3dec1e0df93</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">badran-raddaoui</idno>
                  <idno type="idhal" notation="numeric">1027280</idno>
                  <idno type="halauthorid" notation="string">736529-1027280</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4712-0811</idno>
                  <idno type="IDREF">https://www.idref.fr/188386823</idno>
                  <idno type="VIAF">https://viaf.org/viaf/863144647710842203512</idno>
                  <affiliation ref="#struct-5170"/>
                  <affiliation ref="#struct-638"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">18749</idno>
                <title level="m">Proceedings SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques</title>
                <meeting>
                  <title>SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques</title>
                  <date type="start">2017-09-26</date>
                  <date type="end">2017-09-28</date>
                  <settlement>Kitakyushu</settlement>
                  <country key="JP">Japan</country>
                </meeting>
                <imprint>
                  <publisher>IOS Press</publisher>
                  <biblScope unit="pp">490 - 502</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.3233/978-1-61499-800-6-490</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Behavioral consistency of cloud architectures is one of the pivotal challenges in cloud computing. In this paper, we propose a new approach for checking the behavioral consistency of the topology and orchestration of cloud computing. To do so, we choose TOSCA language in order to describe the cloud application. Then, we exploit the Wright ADL that encompasses the CSP language to check the consistency of cloud architectures using FDR2 model-checker.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-6267" status="VALID">
          <idno type="IdRef">084314990</idno>
          <orgName>Faculté des Sciences de Monastir</orgName>
          <orgName type="acronym">FSM</orgName>
          <date type="start">1978-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Monastir, Avenue de l'environnement 5019 Monastir Tunisie</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.fsm.rnu.tn/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302159" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-416458" status="VALID">
          <idno type="ROR">https://ror.org/01h7hvj14</idno>
          <orgName>Efrei (Villejuif / Bordeaux)</orgName>
          <orgName type="acronym">Efrei</orgName>
          <desc>
            <address>
              <addrLine>30-32 avenue de la République, 94800 Villejuif, France83 Rue Lucien Faure, 33000 Bordeaux, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.efrei.fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-91738" status="VALID">
          <orgName>Optimisation des systèmes industriels et de services [Tunis]</orgName>
          <orgName type="acronym">OASIS</orgName>
          <desc>
            <address>
              <addrLine>BP 37, 1002 Tunis Le Belvédère</addrLine>
              <country key="TN"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1060969" type="direct"/>
            <relation active="#struct-207896" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206882" status="VALID">
          <orgName>Multimedia, InfoRmation systems and Advanced Computing Laboratory</orgName>
          <orgName type="acronym">MIRACL</orgName>
          <desc>
            <address>
              <addrLine>Route de Tunis, km 10, BP 242, Sakiet Ezziet, 3021 SFAX</addrLine>
              <country key="TN"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-350672" type="direct"/>
            <relation active="#struct-303396" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-5170" status="VALID">
          <orgName>Département Informatique</orgName>
          <orgName type="acronym">TSP - INF</orgName>
          <desc>
            <address>
              <addrLine>Télécom SudParis - 9 rue Charles Fourier. 91011 Évry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-inf.int-evry.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </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="regroupinstitution" xml:id="struct-302159" status="VALID">
          <idno type="IdRef">139267263</idno>
          <idno type="ISNI">0000 0004 0593 5040</idno>
          <idno type="ROR">https://ror.org/00nhtcg76</idno>
          <idno type="Wikidata">Q3551637</idno>
          <orgName>Université de Monastir - University of Monastir - جامعة المنستير</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>BP 56 Avenue Taher Hadded، Monastir 5000</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.um.rnu.tn/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1060969" status="VALID">
          <idno type="ISNI">0000000122294183</idno>
          <idno type="ROR">https://ror.org/03b1zjt31</idno>
          <idno type="Wikidata">Q3578098</idno>
          <orgName>National Engineering School of Tunis [Tunis El Manar University] = École Nationale d'Ingénieurs de Tunis [Université de Tunis – El Manar]</orgName>
          <orgName type="acronym">ENIT</orgName>
          <desc>
            <address>
              <addrLine>Rue Béchir Salem Belkhiria, Campus universitaire Farhat Hached El Manar, BP 37, Le Bélvédère, 1002, Tunis</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.enit.rnu.tn/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-207896" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-207896" status="VALID">
          <idno type="IdRef">112859585</idno>
          <idno type="ISNI">0000000122959819</idno>
          <idno type="ROR">https://ror.org/029cgt552</idno>
          <idno type="Wikidata">Q3551684</idno>
          <orgName>Tunis El Manar University [University of Tunis El Manar] [Tunisia] = Université de Tunis El Manar [Tunisie] = جامعة تونس المنار (ar)</orgName>
          <orgName type="acronym">UTM</orgName>
          <date type="start">1987-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire Farhat Hached B.P. n° 94 - ROMMANA 1068 Tunis</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.utm.rnu.tn/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-350672" status="VALID">
          <orgName>Faculté des Sciences Economiques et de Gestion de Sfax</orgName>
          <orgName type="acronym">FSEG Sfax</orgName>
          <desc>
            <address>
              <addrLine>Route de l’Aéroport, Km 4, Sfax, 3018 Tunisie</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.fsegs.rnu.tn/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-303396" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-303396" status="VALID">
          <idno type="IdRef">109165470</idno>
          <idno type="ISNI">0000000123235644</idno>
          <idno type="ROR">https://ror.org/04d4sd432</idno>
          <idno type="Wikidata">Q540341</idno>
          <orgName>جامعة صفاقس - Université de Sfax - University of Sfax</orgName>
          <date type="start">1986-01-01</date>
          <desc>
            <address>
              <addrLine>Route de l'Aéroport Km 0.5 - BP 1169 .3029 Sfax</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://univ-sfax.tn/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" 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="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>