<?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-01055144</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-20T23:07:23+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Specification and Testing of E-Commerce Agents Described by Using UIOLTSs</title>
            <author role="aut">
              <persName>
                <forename type="first">Juan José</forename>
                <surname>Pardo</surname>
              </persName>
              <idno type="halauthorid">853070-0</idno>
              <affiliation ref="#struct-263820"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Manuel</forename>
                <surname>Núñez</surname>
              </persName>
              <idno type="halauthorid">853071-0</idno>
              <affiliation ref="#struct-263821"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">M. Carmen</forename>
                <surname>Ruiz</surname>
              </persName>
              <idno type="halauthorid">853072-0</idno>
              <affiliation ref="#struct-263820"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-08-11 16:19:15</date>
              <date type="whenModified">2025-04-14 14:24:03</date>
              <date type="whenReleased">2014-08-11 16:31:58</date>
              <date type="whenProduced">2010-06-07</date>
              <date type="whenEndEmbargoed">2014-08-11</date>
              <ref type="file" target="https://inria.hal.science/hal-01055144v1/document">
                <date notBefore="2014-08-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01055144v1/file/61170077.pdf" id="file-1055144-859682">
                <date notBefore="2014-08-11"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-13464-7_7.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01055144</idno>
            <idno type="halUri">https://inria.hal.science/hal-01055144</idno>
            <idno type="halBibtex">pardo:hal-01055144</idno>
            <idno type="halRefHtml">&lt;i&gt;Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)&lt;/i&gt;, Jun 2010, Amsterdam, Netherlands. pp.78-86, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-13464-7_7"&gt;&amp;#x27E8;10.1007/978-3-642-13464-7_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.78-86, &amp;#x27E8;10.1007/978-3-642-13464-7_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1055144-859682"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-LNCS-6117" corresp="IFIP-LNCS">Formal Techniques for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-FORTE">IFIP-FORTE</idno>
            <idno type="stamp" n="IFIP-FMOODS"> Formal Methods for Open Object-Based Distributed Systems</idno>
            <idno type="stamp" n="IFIP-2010">IFIP-2010</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">Specification and Testing of E-Commerce Agents Described by Using UIOLTSs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Juan José</forename>
                    <surname>Pardo</surname>
                  </persName>
                  <idno type="halauthorid">853070-0</idno>
                  <affiliation ref="#struct-263820"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Manuel</forename>
                    <surname>Núñez</surname>
                  </persName>
                  <idno type="halauthorid">853071-0</idno>
                  <affiliation ref="#struct-263821"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">M. Carmen</forename>
                    <surname>Ruiz</surname>
                  </persName>
                  <idno type="halauthorid">853072-0</idno>
                  <affiliation ref="#struct-263820"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)</title>
                  <date type="start">2010-06-07</date>
                  <date type="end">2010-06-09</date>
                  <settlement>Amsterdam</settlement>
                  <country key="NL">Netherlands</country>
                </meeting>
                <editor>John Hatcliff; Elena Zucca</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Systems</biblScope>
                  <biblScope unit="volume">LNCS-6117</biblScope>
                  <biblScope unit="pp">78-86</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-13464-7_7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dl">Computer Science [cs]/Digital Libraries [cs.DL]</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>In this paper we expand our work in our specification formalism UIOLTSs. We present three implementation relations and provide alternative characterizations of these relations in terms of the tests that the implementation under test successfully passes. In addition, we present the main ideas to obtain an algorithm to derive complete test suites from specifications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-263820" status="INCOMING">
          <orgName>Departmento de Sistemas Informáticos</orgName>
          <desc>
            <address>
              <country key="ES"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-416782" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-263821" status="INCOMING">
          <orgName>Departamento de Sistemas Informáticos y Computación</orgName>
          <desc>
            <address>
              <country key="ES"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-48181" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-416782" status="VALID">
          <orgName>Universidad de Castilla-La Mancha = University of Castilla-La Mancha</orgName>
          <orgName type="acronym">UCLM</orgName>
          <date type="start">2017-01-24</date>
          <desc>
            <address>
              <addrLine>Paseo de la Universidad 4, 13071 Ciudad Real Spain</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">https://www.uclm.es/universidad/toledo.asp</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-48181" status="VALID">
          <idno type="ROR">https://ror.org/02p0gd045</idno>
          <orgName>Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid]</orgName>
          <orgName type="acronym">UCM</orgName>
          <date type="start">2016-11-23</date>
          <desc>
            <address>
              <addrLine>Avda. de Séneca, 2, Ciudad Universitaria, 28040 Madrid</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">https://www.ucm.es/english</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>