<?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-03122709</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-02T13:34:09+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Toward a correct and optimal time-aware cloud resource allocation to business processes</title>
            <author role="aut">
              <persName>
                <forename type="first">Rania</forename>
                <surname>Ben Halima</surname>
              </persName>
              <email type="md5">b3b1b11c1c6a9a7b51a0056eeb6f7f16</email>
              <email type="domain">redcad.org</email>
              <idno type="idhal" notation="numeric">1000291</idno>
              <idno type="halauthorid" notation="string">1123976-1000291</idno>
              <affiliation ref="#struct-5170"/>
              <affiliation ref="#struct-563936"/>
              <affiliation ref="#struct-442703"/>
              <affiliation ref="#struct-23285"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Slim</forename>
                <surname>Kallel</surname>
              </persName>
              <idno type="idhal" notation="numeric">771498</idno>
              <idno type="halauthorid" notation="string">697253-771498</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2824-167X</idno>
              <affiliation ref="#struct-23285"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Walid</forename>
                <surname>Gaaloul</surname>
              </persName>
              <email type="md5">27a57cf8582f618d0eff73b61f122fb2</email>
              <email type="domain">telecom-sudparis.eu</email>
              <idno type="idhal" notation="string">walid-gaaloul</idno>
              <idno type="idhal" notation="numeric">743338</idno>
              <idno type="halauthorid" notation="string">29006-743338</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0451-532X</idno>
              <idno type="IDREF">https://www.idref.fr/111889308</idno>
              <affiliation ref="#struct-5170"/>
              <affiliation ref="#struct-563936"/>
              <affiliation ref="#struct-442703"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Zakaria</forename>
                <surname>Maamar</surname>
              </persName>
              <idno type="idhal" notation="numeric">761147</idno>
              <idno type="halauthorid" notation="string">391322-761147</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4462-8337</idno>
              <affiliation ref="#struct-323215"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Jmaiel</surname>
              </persName>
              <idno type="halauthorid">335567-0</idno>
              <affiliation ref="#struct-1001705"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Accord Elsevier</forename>
                <surname>CCSD</surname>
              </persName>
              <email type="md5">3cc0cc7b8e3329bfb7423fa2578d788e</email>
              <email type="domain">ccsd.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-06-27 08:43:47</date>
              <date type="whenModified">2026-03-02 15:24:11</date>
              <date type="whenReleased">2022-06-27 08:43:48</date>
              <date type="whenProduced">2020-11</date>
              <date type="whenEndEmbargoed">2021-06-26</date>
              <ref type="file" target="https://hal.science/hal-03122709v1/document">
                <date notBefore="2021-06-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03122709v1/file/S0167739X19333679.pdf" id="file-3705249-3236694">
                <date notBefore="2021-06-26"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1081876">
                <persName>
                  <forename>Accord Elsevier</forename>
                  <surname>CCSD</surname>
                </persName>
                <email type="md5">3cc0cc7b8e3329bfb7423fa2578d788e</email>
                <email type="domain">ccsd.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03122709</idno>
            <idno type="halUri">https://hal.science/hal-03122709</idno>
            <idno type="halBibtex">benhalima:hal-03122709</idno>
            <idno type="halRefHtml">&lt;i&gt;Future Generation Computer Systems&lt;/i&gt;, 2020, 112, pp.751-766. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.future.2020.06.018"&gt;&amp;#x27E8;10.1016/j.future.2020.06.018&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Future Generation Computer Systems, 2020, 112, pp.751-766. &amp;#x27E8;10.1016/j.future.2020.06.018&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by-nc/4.0/">CC BY-NC 4.0 - Attribution - Non-commercial use<ref corresp="#file-3705249-3236694"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TSP-DISSEM">Distributed Systems, Software Engineering and Middleware group</idno>
            <idno type="stamp" n="TSP-DIEGO">DIEGO group</idno>
            <idno type="stamp" n="ELSEVIER">Import Elsevier</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</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="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATION-COMMUNICATION-ELECTRONIQUE">IP Paris Département d'Information, de Communication et d'Électronique</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</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="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Toward a correct and optimal time-aware cloud resource allocation to business processes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rania</forename>
                    <surname>Ben Halima</surname>
                  </persName>
                  <email type="md5">b3b1b11c1c6a9a7b51a0056eeb6f7f16</email>
                  <email type="domain">redcad.org</email>
                  <idno type="idhal" notation="numeric">1000291</idno>
                  <idno type="halauthorid" notation="string">1123976-1000291</idno>
                  <affiliation ref="#struct-5170"/>
                  <affiliation ref="#struct-563936"/>
                  <affiliation ref="#struct-442703"/>
                  <affiliation ref="#struct-23285"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Slim</forename>
                    <surname>Kallel</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">771498</idno>
                  <idno type="halauthorid" notation="string">697253-771498</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2824-167X</idno>
                  <affiliation ref="#struct-23285"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Walid</forename>
                    <surname>Gaaloul</surname>
                  </persName>
                  <email type="md5">27a57cf8582f618d0eff73b61f122fb2</email>
                  <email type="domain">telecom-sudparis.eu</email>
                  <idno type="idhal" notation="string">walid-gaaloul</idno>
                  <idno type="idhal" notation="numeric">743338</idno>
                  <idno type="halauthorid" notation="string">29006-743338</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0451-532X</idno>
                  <idno type="IDREF">https://www.idref.fr/111889308</idno>
                  <affiliation ref="#struct-5170"/>
                  <affiliation ref="#struct-563936"/>
                  <affiliation ref="#struct-442703"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Zakaria</forename>
                    <surname>Maamar</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">761147</idno>
                  <idno type="halauthorid" notation="string">391322-761147</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4462-8337</idno>
                  <affiliation ref="#struct-323215"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Jmaiel</surname>
                  </persName>
                  <idno type="halauthorid">335567-0</idno>
                  <affiliation ref="#struct-1001705"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">13506</idno>
                <idno type="issn">0167-739X</idno>
                <idno type="eissn">1872-7115</idno>
                <title level="j">Future Generation Computer Systems</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">112</biblScope>
                  <biblScope unit="pp">751-766</biblScope>
                  <date type="datePub">2020-11</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.future.2020.06.018</idno>
              <idno type="pii">S0167-739X(19)33367-9</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Business process</term>
                <term xml:lang="en">Cloud resource</term>
                <term xml:lang="en">Formal verification</term>
                <term xml:lang="en">Optimization</term>
              </keywords>
              <classCode scheme="halDomain" n="scco.comp">Cognitive science/Computer science</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Cloud is an increasingly popular computing paradigm that provides on-demand services to organizations for deploying their business processes over the Internet as it reduces their needs to plan ahead for provisioning resources. Cloud providers offer competitive pricing strategies (e.g., on-demand, reserved, and spot) specified based on temporal constraints to accommodate organizations’ changing and last-minute demands. Despite their varieties and benefits to optimize business process deployment cost, using those pricing strategies can lead to violating time constraints and exceeding budget constraints due to inappropriate decisions when allocating cloud resources to business processes. In this paper, we present an approach to guarantee a correct and optimal time-aware allocation of cloud resources to business processes. Correct because time constraints on these processes are not violated. And, optimal because the deployment cost of these processes is minimized. For this purpose, our approach uses timed automata to formally verify the matching between business processes’ temporal constraints and cloud resources’ time availabilities and linear programming to optimize deployment costs. Experiments demonstrate the technical doability of our proposed approach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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="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>
        <org type="researchteam" xml:id="struct-442703" status="VALID">
          <orgName>Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing</orgName>
          <orgName type="acronym">ACMES-SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-23285" status="VALID">
          <orgName>Unité de Recherche en développement et contrôle d'applications distribuées</orgName>
          <orgName type="acronym">REDCAD</orgName>
          <desc>
            <address>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.redcad.org/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1289004" type="direct"/>
            <relation active="#struct-303396" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-323215" status="VALID">
          <idno type="ROR">https://ror.org/03snqfa66</idno>
          <orgName>Zayed University</orgName>
          <desc>
            <address>
              <addrLine>P.O. Box 144534 - Abu Dhabi</addrLine>
              <country key="AE"/>
            </address>
            <ref type="url">http://www.zu.ac.ae/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1001705" status="VALID">
          <idno type="ROR">https://ror.org/02s48dm85</idno>
          <orgName>Centre de Recherche en Numérique de Sfax</orgName>
          <orgName type="acronym">CRNS</orgName>
          <date type="start">2017-02-17</date>
          <desc>
            <address>
              <addrLine>Digital Research Center of Sfax Technopole of Sfax, PO Box 275, Sakiet Ezzit, 3021 Sfax - Tunisia</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.crns.rnrt.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="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="institution" xml:id="struct-1289004" status="VALID">
          <idno type="IdRef">109164970</idno>
          <idno type="ISNI">0000 0004 0388 3101</idno>
          <idno type="ROR">https://ror.org/00n6tay20</idno>
          <idno type="Wikidata">Q3578095</idno>
          <orgName>المدرسة الوطنية للمهندسين بصفاقس = National Engineering School of Sfax</orgName>
          <orgName type="acronym">ENIS</orgName>
          <date type="start">1983-01-01</date>
          <desc>
            <address>
              <addrLine>Route de la Soukra km 43038 Sfax</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">https://enis.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>
      </listOrg>
    </back>
  </text>
</TEI>