<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-015-17-3246</article-id>
      <article-id pub-id-type="publisher-id">29556</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>I.6.4 - Model Validation and Analysis</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Pencolé</surname>
            <given-names>Yannick</given-names>
          </name>
          <email xlink:type="simple">ypencole@laas.fr</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Subias</surname>
            <given-names>Audine</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">CNRS, LAAS, Toulouse, France</addr-line>
        <institution>CNRS, LAAS</institution>
        <addr-line content-type="city">Toulouse</addr-line>
        <country>France</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">LAAS-CNRS, Université de Toulouse, CNRS, Toulouse, France</addr-line>
        <institution>LAAS-CNRS, Université de Toulouse, CNRS</institution>
        <addr-line content-type="city">Toulouse</addr-line>
        <country>France</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Yannick Pencolé (<email xlink:type="simple">ypencole@laas.fr</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2009</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>11</month>
        <year>2009</year>
      </pub-date>
      <volume>15</volume>
      <issue>17</issue>
      <fpage>3246</fpage>
      <lpage>3272</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/2432E17A-ABEB-53F5-BD9C-AC72B829F61E">2432E17A-ABEB-53F5-BD9C-AC72B829F61E</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001013">7001013</uri>
      <permissions>
        <copyright-statement>Yannick Pencolé, Audine Subias</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>This paper addresses the problem of diagnosability analysis in Web Services. In particular, it focuses on the analysis of the impact of time to the diagnostic capabilities in Web Service workflows. The diagnosability analysis that is proposed in this paper aims at determining the diagnostic capabilities of a previously developped algorithm for the diagnosis of Web Services. This diagnostic algorithm is based on chronicle recognitions. Faults that can occur during the execution of service workflows are described by means of chronicles.  To perform this diagnosability analysis, the problem is firstly defined as a languagebased analysis which leads to the definition of exclusiveness tests between the languages represented by the chronicles. To deal with the time aspects inherent to the chronicles, we then propose to perform the automatic analysis by the use of time Petri nets. Exclusiveness tests are then defined on reachability graphs of time Petri nets which implicitly represent chronicle languages.</p>
      </abstract>
    </article-meta>
  </front>
</article>
