<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Ontology-based semantic infrastructure for service interoperability ?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>D. Bianchini</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>V. De Antonellis</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>M. Melchiori</string-name>
          <email>melchior@ing.unibs.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Universitμa di Brescia Dip. Elettronica per l'Automazione Via Branze</institution>
          ,
          <addr-line>38 25123 Brescia -</addr-line>
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>In this paper, we provide a general overview of our recent research contributions, with focus on the proposed approach for building service ontologies to serve as an interoperability semantic infrastructure in web information systems. Interoperability issues related to the increasing need of cooperation and communication among users/applications over the Web are intensively addressed in the literature. In particular, Web-based information systems require advanced methods and tools to e®ectively support users in the localization and retrieval of information and services on the Web. Techniques and approaches for the organization and representation of semantic contents of information and services assume a relevant role. The problem of organizing semantic knowledge, according to classi¯cation schemes based on concepts and semantic links among concepts at di®erent abstraction levels, is a relevant topic addressed by the research work on the Semantic Web and on ontologies for the Semantic Web [3]. Ontologies are considered as the enabling technology for the Semantic Web and methods and tools for ontology de¯nition are being studied for interoperability purposes ([11, 13].</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        descriptions are speci¯cally needed for matchmaking between service demands
and o®ers and for service dynamic discovery. Techniques for matchmaking have
been studied taking into account quality of services [
        <xref ref-type="bibr" rid="ref12 ref8">8, 12</xref>
        ]. Recently,
ontologybased discovery approaches are being developed [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ].
      </p>
      <p>
        The research team at University of Brescia has produced contributions to the
development of techniques for service modeling and analysis in order to identify
compatible services, i.e. services that can substitute each other in the execution
of cooperative processes [
        <xref ref-type="bibr" rid="ref4 ref5">4, 5</xref>
        ].
      </p>
      <p>In this paper, we provide an overview of our approach for building service
ontologies to serve as an interoperability semantic infrastructure in Web
information systems. The paper is organized as follows. Section 2 describes the
methodological approach to service ontology design. Section 3 discusses future
work.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Service ontology design</title>
      <p>
        On purpose of service modeling and classi¯cation, a service model has been
proposed in the context of MAIS project [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The model takes into account: the
service provider perspective, specifying who provides the service, on what
channel is provided, what the service does and how to invoke its functionalities; and
the service requester perspective, associated to a particular user pro¯le and
operating in a particular context, that speci¯es who requires the service, the user's
context and which level of quality is required. The model considers both
functional and non-functional aspects.
      </p>
      <p>Service functional description. A service is mainly described by a set of
operations and I/O entities providing the service interface description. Pre- and
post-conditions are stated on each single operation and on the whole service.
They are logical expressions on I/O entities that must be veri¯ed before the
execution of an operation or of the whole service and that are satis¯ed after the
execution, respectively. Further characterization of services regards the order in
which the operations are to be performed, at what input messages the service
reacts and what output messages it produces during state transitions. These
aspects are represented in the model by means of ¯nite state automata, where
each state transition is labeled with the input message that causes the transition
and the output one that is produced by the transition.</p>
      <p>Service non-functional description. With respect to the non-functional
aspects, we consider that each service is characterized by a set of quality
parameters. Some of them are general purpose parameters provided by available
standard classi¯cations (for example, ISO 8402, part of the ISO 9000 standard),
but we consider also more speci¯c application dependent quality parameters (for
example, the number of credit cards accepted by an on-line ticket reservation
service). Each quality parameter is described by means of a name, one or more
measure units and a parameter type.</p>
      <p>In our approach, functional aspects are used to organize services into the
service ontology and to permit service discovery on the basis of user functional
needs. Non-functional aspects are exploited to further improve the service
discovery according to the user quality requirements. In particular, in the service
ontology we represent services at di®erent levels of abstraction and to this
purpose we introduce three kinds of elements.</p>
      <p>Concrete service. A concrete service represents a directly invocable service,
that is, the description of the service implementation as proposed by the service
provider. It is described in terms of interface, behavior, quality and
implementation features. In our ontology design approach we analyze interface and
behavioral description of concrete services to establish semantic relationships between
them and to group them into sets (clusters) of so called compatible services.</p>
      <p>Abstract service. An abstract service represents a cluster of compatible
concrete services and is described by means of interface and quality parameters and
it is not related to a particular implementation. Two kinds of relationships
between abstract services are established, the is-a relationship, that holds when
an abstract service o®ers at least the same functionalities of another one, and
is-part-of relationship, that is obtained when an abstract service can be viewed
as the composition of other ones.</p>
      <p>Service categories. Service categories are chosen from available standard
classi¯cations (for example, the Universal Standard Products and Services
Classi¯cation UNSPSC) to provide topic-based view on the set of underlying abstract
and concrete services; each category is associated to one or more abstract
services.</p>
      <p>According to the presented service model and to the considered levels of
abstraction, we developed a methodology to build a service ontology, articulated
in three phases.
1. Analysis. In this phase concrete services are compared on the basis of their
interface and their behavior to evaluate their similarity according to properly
de¯ned similarity criteria. Weighted semantic relationships are established
among them on the basis of the performed similarity computation. Two
concrete services are grouped in the same cluster when the weight of semantic
relationships connecting them is greater than a given threshold (similarity
layer).
2. Abstraction. In this phase for each cluster of similar concrete services an
abstract service is built, following an integration process. In particular,
operations and I/O entities which describe the interfaces of concrete services
belonging to the same cluster are uni¯ed to obtain the abstract service
interface. Mapping rules are de¯ned to relate the interface description of the
abstract service with the corresponding interface descriptions of the concrete
services in the corresponding cluster (abstract layer).
3. Categorization. Finally, in this phase abstract services are associated to
service categories; categories are organized in a standard generalization
taxonomy and a domain expert de¯nes association links between each leaf category
in the taxonomy and one or more abstract services in the underlying layer
(category layer).</p>
      <p>
        After the application of these three phases, the obtained ontology is formally
described according to XML-based languages and can be exploited to enhance
the service discovery on the basis of user functional and non-functional
requirements [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
    </sec>
    <sec id="sec-3">
      <title>Future work</title>
      <p>Future research activity will focus on the development of a tool environment for
service discovery based on service ontologies for the semantic service description
and the representation of semantic relationships among services. Service
ontologies can be used for sharing knowledge on services and for service discovery.
Relevant e®ort will be devoted to the development for ontology-based algorithms
and techniques for matchmaking between service demands and service o®ers, and
for dynamic service discovery.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>A.</given-names>
            <surname>Ankolenkar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Burstein</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. R.</given-names>
            <surname>Hobbs</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Lassila</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. L.</given-names>
            <surname>Martin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>McDermott</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. A.</given-names>
            <surname>McIllraith</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Narayanan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Paolucci</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T. R.</given-names>
            <surname>Payne</surname>
          </string-name>
          and
          <string-name>
            <given-names>K.</given-names>
            <surname>Sycara.</surname>
          </string-name>
          DAML-S:
          <article-title>Web Service Description for the Semantic Web</article-title>
          .
          <source>In Proc. of the First Int. Semantic Web Conference (ISWC2002)</source>
          , Sardinia, Italy,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>L.</given-names>
            <surname>Baresi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Bianchini</surname>
          </string-name>
          , V. De Antonellis,
          <string-name>
            <given-names>M.G.</given-names>
            <surname>Fugini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Pernici</surname>
          </string-name>
          and
          <string-name>
            <given-names>P.</given-names>
            <surname>Plebani</surname>
          </string-name>
          .
          <article-title>Context-aware Composition of e-services</article-title>
          .
          <source>In Proc. of Fourth VLDB Workshop on Technologies for E-Services (TES</source>
          <year>2003</year>
          ), pages
          <fpage>49</fpage>
          {
          <fpage>58</fpage>
          , Humboldt-University zu Berlin (Germany),
          <source>September 7-8</source>
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>T.</given-names>
            <surname>Berners-Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Hendler</surname>
          </string-name>
          and
          <string-name>
            <surname>O. Lassila.</surname>
          </string-name>
          <article-title>The Semantic Web</article-title>
          . Scienti¯c American, May
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>D.</given-names>
            <surname>Bianchini</surname>
          </string-name>
          , V. De Antonellis and
          <string-name>
            <given-names>M.</given-names>
            <surname>Melchiori</surname>
          </string-name>
          .
          <article-title>Domain ontologies for knowledge sharing and service composition in virtual district</article-title>
          .
          <source>In Proc. of Int. Workshop on Web Semantics (WebS2003)</source>
          , Prague, Czech Republic, September 1-5
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>D.</given-names>
            <surname>Bianchini</surname>
          </string-name>
          , V. De Antonellis and
          <string-name>
            <given-names>M.</given-names>
            <surname>Melchiori</surname>
          </string-name>
          .
          <article-title>E-service classi¯cation techniques to support discovery in a mobile multichannel environment</article-title>
          .
          <source>In Proc. of Fourth Int. Conf. on Web Information Systems Engineering (WISE</source>
          <year>2003</year>
          ), Rome, Italy, December
          <volume>10</volume>
          -12
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>S.</given-names>
            <surname>Castano</surname>
          </string-name>
          , V. De Antonellis and S. De Capitani di Vimercati.
          <source>Global Viewing of Heterogeneous Data Sources. IEEE Transactions on Knowledge and Data Engineering</source>
          ,
          <volume>13</volume>
          (
          <issue>2</issue>
          ),
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>S.</given-names>
            <surname>Castano</surname>
          </string-name>
          , V. De Antonellis and
          <string-name>
            <given-names>M.</given-names>
            <surname>Melchiori</surname>
          </string-name>
          .
          <article-title>A Methodology and Tool Environment for Process Analysis and Reengineering</article-title>
          .
          <source>Data and Knowledge Engineering</source>
          ,
          <volume>31</volume>
          (
          <issue>3</issue>
          ):
          <volume>253</volume>
          {
          <fpage>278</fpage>
          ,
          <string-name>
            <surname>November</surname>
          </string-name>
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>J.</given-names>
            <surname>Gonzalez-Castillo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Trastour</surname>
          </string-name>
          and
          <string-name>
            <given-names>C.</given-names>
            <surname>Bartolini</surname>
          </string-name>
          .
          <article-title>Description logics for matchmaking of services</article-title>
          .
          <source>Technical report, HPL-2001-265</source>
          , Hewlett-Packard,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>M.</given-names>
            <surname>Klein</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Bernstein</surname>
          </string-name>
          .
          <article-title>Searching for services on the semantic web using process ontologies</article-title>
          .
          <source>The Emerging Semantic Web - Selected papers from the First Semantic Web Working Symposium</source>
          , I. Cruz,
          <string-name>
            <given-names>S.</given-names>
            <surname>Decker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Euzenat</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          , Eds., pages
          <volume>159</volume>
          {
          <fpage>172</fpage>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>J. Madhavan</surname>
            ,
            <given-names>P. A.</given-names>
          </string-name>
          <string-name>
            <surname>Bernstein</surname>
            and
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Rahm</surname>
          </string-name>
          .
          <article-title>Generic schema matching with Cupid</article-title>
          .
          <source>In Proc. of the Int. Conference on Very Large Data Bases (VLDB2001)</source>
          , pages
          <fpage>49</fpage>
          {
          <fpage>58</fpage>
          , Rome, Italy,
          <year>September 2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>A.</given-names>
            <surname>Maedche</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Stojanovic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Studer</surname>
          </string-name>
          and
          <string-name>
            <given-names>R.</given-names>
            <surname>Volz</surname>
          </string-name>
          .
          <article-title>Ontologies for Enterprise Knowledge Management</article-title>
          .
          <source>IEEE Intelligent Systems</source>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>O.</given-names>
            <surname>Mart</surname>
          </string-name>
          <article-title>¶³n-D¶³az, A. Ruiz-Cort¶es, A</article-title>
          . Dura¶n,
          <string-name>
            <given-names>D.</given-names>
            <surname>Benavides</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.</given-names>
            <surname>Toro</surname>
          </string-name>
          .
          <article-title>Automating the Procurement of Web Services</article-title>
          .
          <source>In Proc. of the First Int. Conf. on Service Oriented Computing (ICSOC</source>
          <year>2003</year>
          ), Trento, Italy, December
          <volume>15</volume>
          -18
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Ontology</surname>
          </string-name>
          .org - Enabling Virtual Business. http://www.ontology.org.
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <article-title>The OntoWeb Home Page</article-title>
          . http://ontoweb.aifb.uni-karlsruhe.de.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>