<?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-020-08-1049</article-id>
      <article-id pub-id-type="publisher-id">23410</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>D.2.10 - Design</subject>
          <subject>D.2.11 - Software Architectures</subject>
          <subject>D.2.12 - Interoperability</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Brogi</surname>
            <given-names>Antonio</given-names>
          </name>
          <email xlink:type="simple">brogi@di.unipi.it</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Cubo</surname>
            <given-names>Javier</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>González</surname>
            <given-names>Laura</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Pimentel</surname>
            <given-names>Ernesto</given-names>
          </name>
          <xref ref-type="aff" rid="A4">4</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Ruggia</surname>
            <given-names>Raúl</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">University of Pisa, Pisa, Italy</addr-line>
        <institution>University of Pisa</institution>
        <addr-line content-type="city">Pisa</addr-line>
        <country>Italy</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">University of Málaga, Málaga, Spain</addr-line>
        <institution>University of Málaga</institution>
        <addr-line content-type="city">Málaga</addr-line>
        <country>Spain</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Universidad de la República, Montevideo, Uruguay</addr-line>
        <institution>Universidad de la República</institution>
        <addr-line content-type="city">Montevideo</addr-line>
        <country>Uruguay</country>
      </aff>
      <aff id="A4">
        <label>4</label>
        <addr-line content-type="verbatim">Universidad de Málaga, Málaga, Spain</addr-line>
        <institution>Universidad de Málaga</institution>
        <addr-line content-type="city">Málaga</addr-line>
        <country>Spain</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Antonio Brogi (<email xlink:type="simple">brogi@di.unipi.it</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2014</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>08</month>
        <year>2014</year>
      </pub-date>
      <volume>20</volume>
      <issue>8</issue>
      <fpage>1049</fpage>
      <lpage>1070</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/13B85F30-E5EF-5F1A-A28E-DA30925BF84E">13B85F30-E5EF-5F1A-A28E-DA30925BF84E</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/5505415">5505415</uri>
      <history>
        <date date-type="received">
          <day>04</day>
          <month>04</month>
          <year>2014</year>
        </date>
        <date date-type="accepted">
          <day>23</day>
          <month>07</month>
          <year>2014</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia</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>The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service architecture like today's Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in previous work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for representing such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynamically possible invalid invocations provoked by the behaviour's changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions.</p>
      </abstract>
    </article-meta>
  </front>
</article>
