<?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 inria-00268965v2</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-18T14:22:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Behavioural Models for Distributed Fractal Components</title>
            <author role="aut">
              <persName>
                <forename type="first">Tomás</forename>
                <surname>Barros</surname>
              </persName>
              <idno type="halauthorid">142810-0</idno>
              <affiliation ref="#struct-2472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rabea</forename>
                <surname>Boulifa</surname>
              </persName>
              <email type="md5">2d96962f74e33ee50e9ca2b8979d03ad</email>
              <email type="domain">telecom-paris.fr</email>
              <idno type="idhal" notation="string">rabea-ameur-boulifa</idno>
              <idno type="idhal" notation="numeric">180938</idno>
              <idno type="halauthorid" notation="string">120486-180938</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2471-8012</idno>
              <idno type="IDREF">https://www.idref.fr/087543664</idno>
              <affiliation ref="#struct-2472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antonio</forename>
                <surname>Cansado</surname>
              </persName>
              <email type="md5">413a4a1a9f301e952934def468beeeeb</email>
              <email type="domain">sophia.inria.fr</email>
              <idno type="idhal" notation="numeric">834843</idno>
              <idno type="halauthorid" notation="string">161086-834843</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ludovic</forename>
                <surname>Henrio</surname>
              </persName>
              <email type="md5">0cfe963c407482275255c1029a438ef9</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">ludovic-henrio</idno>
              <idno type="idhal" notation="numeric">595</idno>
              <idno type="halauthorid" notation="string">18966-595</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=ZGvMp1sAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/077367979</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7137-3523</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-2472"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">e31733899904c147cbbf097bd471ee91</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">eric-madelaine</idno>
              <idno type="idhal" notation="numeric">16780</idno>
              <idno type="halauthorid" notation="string">21718-16780</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5552-5993</idno>
              <idno type="IDREF">https://www.idref.fr/087543958</idno>
              <affiliation ref="#struct-2472"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Eric</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">e31733899904c147cbbf097bd471ee91</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2008-04-01 17:29:48</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2008-04-02 16:15:55</date>
              <date type="whenModified">2025-10-07 15:32:02</date>
              <date type="whenReleased">2008-04-02 16:18:44</date>
              <date type="whenProduced">2008</date>
              <date type="whenEndEmbargoed">2008-04-02</date>
              <ref type="file" target="https://inria.hal.science/inria-00268965v2/document">
                <date notBefore="2008-04-02"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/inria-00268965v2/file/RR-6491.pdf" id="file-269301-327111">
                <date notBefore="2008-04-02"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="112250">
                <persName>
                  <forename>Eric</forename>
                  <surname>Madelaine</surname>
                </persName>
                <email type="md5">e31733899904c147cbbf097bd471ee91</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00268965</idno>
            <idno type="halUri">https://inria.hal.science/inria-00268965</idno>
            <idno type="halBibtex">barros:inria-00268965</idno>
            <idno type="halRefHtml">[Research Report] RR-6491, INRIA. 2008, pp.27</idno>
            <idno type="halRef">[Research Report] RR-6491, INRIA. 2008, pp.27</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-269301-327111"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNICE">Université Nice Sophia Antipolis</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="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="I3S">Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</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="LARA">LARA</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="TEST-NICE">test nice</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Behavioural Models for Distributed Fractal Components</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Tomás</forename>
                    <surname>Barros</surname>
                  </persName>
                  <idno type="halauthorid">142810-0</idno>
                  <affiliation ref="#struct-2472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rabea</forename>
                    <surname>Boulifa</surname>
                  </persName>
                  <email type="md5">2d96962f74e33ee50e9ca2b8979d03ad</email>
                  <email type="domain">telecom-paris.fr</email>
                  <idno type="idhal" notation="string">rabea-ameur-boulifa</idno>
                  <idno type="idhal" notation="numeric">180938</idno>
                  <idno type="halauthorid" notation="string">120486-180938</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2471-8012</idno>
                  <idno type="IDREF">https://www.idref.fr/087543664</idno>
                  <affiliation ref="#struct-2472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antonio</forename>
                    <surname>Cansado</surname>
                  </persName>
                  <email type="md5">413a4a1a9f301e952934def468beeeeb</email>
                  <email type="domain">sophia.inria.fr</email>
                  <idno type="idhal" notation="numeric">834843</idno>
                  <idno type="halauthorid" notation="string">161086-834843</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ludovic</forename>
                    <surname>Henrio</surname>
                  </persName>
                  <email type="md5">0cfe963c407482275255c1029a438ef9</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">ludovic-henrio</idno>
                  <idno type="idhal" notation="numeric">595</idno>
                  <idno type="halauthorid" notation="string">18966-595</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=ZGvMp1sAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/077367979</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7137-3523</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-2472"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Madelaine</surname>
                  </persName>
                  <email type="md5">e31733899904c147cbbf097bd471ee91</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">eric-madelaine</idno>
                  <idno type="idhal" notation="numeric">16780</idno>
                  <idno type="halauthorid" notation="string">21718-16780</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5552-5993</idno>
                  <idno type="IDREF">https://www.idref.fr/087543958</idno>
                  <affiliation ref="#struct-2472"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-6491</idno>
                <imprint>
                  <biblScope unit="pp">27</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
                <authority type="institution">INRIA</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Behavioural Models</term>
                <term xml:lang="en">Transition Systems</term>
                <term xml:lang="en">Distributed Components</term>
                <term xml:lang="en">Hierarchical Components</term>
                <term xml:lang="en">Fractal</term>
                <term xml:lang="en">Verification</term>
                <term xml:lang="en">Verification Platform</term>
              </keywords>
              <classCode scheme="acm" n="F.3.1.5">F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able to characterise both functional and non-functional behaviours, and the interaction between the two concerns. Finally, this work has resulted in the development of tools allowing the non-expert programmer to specify the behaviour of his components, and automatically, or semi-automatically verify properties of his application.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2472" status="OLD">
          <idno type="RNSR">200018391V</idno>
          <orgName>Active objects, semantics, Internet and security</orgName>
          <orgName type="acronym">OASIS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-451999" type="direct"/>
            <relation active="#struct-13009" type="indirect"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</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-451999" status="VALID">
          <orgName>COMmunications, Réseaux, systèmes Embarqués et Distribués</orgName>
          <orgName type="acronym">Laboratoire I3S - COMRED</orgName>
          <date type="start">2016-03-02</date>
          <desc>
            <address>
              <addrLine>Laboratoire I3SCS 4012106903 Sophia Antipolis Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/comred</ref>
          </desc>
          <listRelation>
            <relation active="#struct-13009" type="direct"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-13009" status="VALID">
          <idno type="IdRef">050320491</idno>
          <idno type="ISNI">0000000105613840</idno>
          <idno type="RNSR">201220432L</idno>
          <idno type="ROR">https://ror.org/01215r597</idno>
          <orgName>Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis</orgName>
          <orgName type="acronym">I3S</orgName>
          <desc>
            <address>
              <addrLine>2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-117617" type="direct"/>
            <relation name="UMR7271" active="#struct-441569" type="direct"/>
            <relation active="#struct-1039632" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-117617" status="VALID">
          <idno type="IdRef">026403498</idno>
          <idno type="ISNI">0000000123372892</idno>
          <idno type="ROR">https://ror.org/02k9vew78</idno>
          <orgName>Université Nice Sophia Antipolis (1965 - 2019)</orgName>
          <orgName type="acronym">UNS</orgName>
          <date type="start">1965-10-23</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 06100 Nice</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://unice.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="regroupinstitution" xml:id="struct-1039632" status="VALID">
          <idno type="IdRef">241035694</idno>
          <idno type="ROR">https://ror.org/019tgvf94</idno>
          <orgName>Université Côte d'Azur</orgName>
          <orgName type="acronym">UniCA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://univ-cotedazur.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>