<?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-02547597</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-04T11:15:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Design of Telecommunication Services Based on Software Agent Technology and Formal Methods</title>
            <title xml:lang="fr">Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles</title>
            <author role="aut">
              <persName>
                <forename type="first">Marie-Pierre</forename>
                <surname>Gervais</surname>
              </persName>
              <email type="md5">068cd2bc883ed5ef8a52f14ca664875e</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">961875</idno>
              <idno type="halauthorid" notation="string">384558-961875</idno>
              <idno type="IDREF">https://www.idref.fr/081501005</idno>
              <affiliation ref="#struct-408318"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Ruffel</surname>
              </persName>
              <idno type="halauthorid">1258021-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lip6</forename>
                <surname>Publications</surname>
              </persName>
              <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-04-20 10:21:46</date>
              <date type="whenModified">2025-04-04 09:40:16</date>
              <date type="whenReleased">2020-04-21 14:48:18</date>
              <date type="whenProduced">1997-07-29</date>
              <date type="whenEndEmbargoed">2020-04-20</date>
              <ref type="file" target="https://hal.science/hal-02547597v1/document">
                <date notBefore="2020-04-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02547597v1/file/lip6.1997.013.pdf" id="file-2547597-2414444">
                <date notBefore="2020-04-20"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="196566">
                <persName>
                  <forename>Lip6</forename>
                  <surname>Publications</surname>
                </persName>
                <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02547597</idno>
            <idno type="halUri">https://hal.science/hal-02547597</idno>
            <idno type="halBibtex">gervais:hal-02547597</idno>
            <idno type="halRefHtml">[Research Report] lip6.1997.013, LIP6. 1997</idno>
            <idno type="halRef">[Research Report] lip6.1997.013, LIP6. 1997</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2547597-2414444"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</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="LIP6-REPORT" corresp="LIP6">Rapports LIP6</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Design of Telecommunication Services Based on Software Agent Technology and Formal Methods</title>
                <title xml:lang="fr">Conception de services de télécommunication fondée sur la technologie agent logiciel et les méthodes formelles</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marie-Pierre</forename>
                    <surname>Gervais</surname>
                  </persName>
                  <email type="md5">068cd2bc883ed5ef8a52f14ca664875e</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">961875</idno>
                  <idno type="halauthorid" notation="string">384558-961875</idno>
                  <idno type="IDREF">https://www.idref.fr/081501005</idno>
                  <affiliation ref="#struct-408318"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Ruffel</surname>
                  </persName>
                  <idno type="halauthorid">1258021-0</idno>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">lip6.1997.013</idno>
                <imprint>
                  <date type="datePub">1997-07-29</date>
                </imprint>
                <authority type="institution">LIP6</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">software agent</term>
                <term xml:lang="en">interaction model</term>
                <term xml:lang="en">Open Distributed Processing (ODP)</term>
                <term xml:lang="en">Petri nets</term>
                <term xml:lang="fr">modèle d'interaction</term>
                <term xml:lang="fr">Traitement Réparti Ouvert (ODP)</term>
                <term xml:lang="fr">réseau de Petri</term>
                <term xml:lang="fr">agent logiciel</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>We propose in this paper an approach based on the software agent technology and the formal methods for designing telecommunication services. This approach aims to identify agent and interaction-oriented design patterns and to describe them with a formalism enabling to prove their quality. These patterns are based on a classification of agents interactions using the interaction model of the Reference Model of Open Distributed Processing (RM-ODP). The formalism offers a methodology for validation and verification based on Petri nets. With such an approach, it is possible to specify some components with proved properties that guarantee their quality. We illustrate it with an example: a Multi-Agent System of a contract monitoring.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Nous proposons dans ce papier une approche fondée sur la technologie agent et les méthodes formelles pour concevoir des services de télécommunication. Cette approche a pour objectif d'identifier des gabarits de conception orientés interaction et agent et de les décrire dans un formalisme permettant de prouver leur qualité. Ces gabarits sont fondés sur une classification des interactions entre agents qui utilise le modèle d'interaction décrit dans le modèle de référence ODP. Le formalisme offre une méthodologie de validation et de vérification basée sur les réseaux de Petri. Avec une telle approche, il est possible de spécifier des composants ayant des propriétés prouvées qui garantissent leur qualité. Nous l'illustrons par l'exemple d'un système multi-agent de suivi de contrat.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-408318" status="OLD">
          <orgName>Systèmes répartis et coopératifs</orgName>
          <orgName type="acronym">SRC</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2003-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-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>
      </listOrg>
    </back>
  </text>
</TEI>