<?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-01657681</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-04T02:25:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">First international workshop on verification of business and software processes</title>
            <author role="aut">
              <persName>
                <forename type="first">Souheib</forename>
                <surname>Baarir</surname>
              </persName>
              <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">961876</idno>
              <idno type="halauthorid" notation="string">686508-961876</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8140-0273</idno>
              <idno type="IDREF">https://www.idref.fr/147205336</idno>
              <idno type="VIAF">https://viaf.org/viaf/189805824</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kais</forename>
                <surname>Klai</surname>
              </persName>
              <email type="md5">60613fc84c592a4e3c73683b2d1347d8</email>
              <email type="domain">telecom-sudparis.eu</email>
              <idno type="idhal" notation="numeric">1007033</idno>
              <idno type="halauthorid" notation="string">428295-1007033</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5494-913X</idno>
              <affiliation ref="#struct-994"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>souheib</forename>
                <surname>baarir</surname>
              </persName>
              <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-12-07 08:53:25</date>
              <date type="whenWritten">2017-07-05</date>
              <date type="whenModified">2024-11-28 10:49:57</date>
              <date type="whenReleased">2017-12-07 08:53:25</date>
              <date type="whenProduced">2017-07-05</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="493097">
                <persName>
                  <forename>souheib</forename>
                  <surname>baarir</surname>
                </persName>
                <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01657681</idno>
            <idno type="halUri">https://hal.science/hal-01657681</idno>
            <idno type="halBibtex">baarir:hal-01657681</idno>
            <idno type="halRefHtml">&lt;i&gt; International Conference on Software and System Process&lt;/i&gt;, Paris, France. ACM, pp.143-144 2017, 978-1-4503-5270-3. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3084100.3087676"&gt;&amp;#x27E8;10.1145/3084100.3087676&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef"> International Conference on Software and System Process, Paris, France. ACM, pp.143-144 2017, 978-1-4503-5270-3. &amp;#x27E8;10.1145/3084100.3087676&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </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">First international workshop on verification of business and software processes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Souheib</forename>
                    <surname>Baarir</surname>
                  </persName>
                  <email type="md5">db8f12c6ee84295c784d957461c9fda6</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">961876</idno>
                  <idno type="halauthorid" notation="string">686508-961876</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8140-0273</idno>
                  <idno type="IDREF">https://www.idref.fr/147205336</idno>
                  <idno type="VIAF">https://viaf.org/viaf/189805824</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kais</forename>
                    <surname>Klai</surname>
                  </persName>
                  <email type="md5">60613fc84c592a4e3c73683b2d1347d8</email>
                  <email type="domain">telecom-sudparis.eu</email>
                  <idno type="idhal" notation="numeric">1007033</idno>
                  <idno type="halauthorid" notation="string">428295-1007033</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5494-913X</idno>
                  <affiliation ref="#struct-994"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-1-4503-5270-3</idno>
                <meeting>
                  <title> International Conference on Software and System Process</title>
                  <settlement>Paris</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">143-144 </biblScope>
                  <date type="datePub">2017-07-05</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3084100.3087676</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="acm" n="D">D.: Software</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="PROCEEDINGS">Proceedings</classCode>
              <classCode scheme="halOldTypology" n="DOUV">Directions of work or proceedings</classCode>
              <classCode scheme="halTreeTypology" n="PROCEEDINGS">Proceedings</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Processes, whatever the field (e.g. software, military or healthcare), are everywhere. They represent the building block of any information system nowadays. Business processes are used to represent the enterprise’s business and services it delivers. They are also used as a mean to enforce customer’s satisfaction and to create an added value to the company. Software processes are critical as well since they represent the guaranty to respect development process’s deadlines and to ensure a certain quality of the delivered software, which in some cases will end up being the company’s information system itself. It is then more than critical to seriously consider the design of such processes and to make sure that they are free of any kind of inconsistencies. One possible way to unsure that the developed processes are safe is to apply formal verification. Hence, we propose this workshop to investigate the novelties and advances concerning the application of formal methods in Business/Software (BS) processes design and execution.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>