<!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>MEMOS: A Methodology for Modeling Services</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Mick Kerrigan</string-name>
          <email>mick.kerrigan@sti2.at</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Barry Norton</string-name>
          <email>barry.norton@kit.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Elena Simperl</string-name>
          <email>elena.simperl@kit.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Semantic Web Services, WSMO, Methodology</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute AIFB, Karlsruhe Institute of</institution>
          ,
          <addr-line>Technology</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Semantic Technology Institute, University of Innsbruck</institution>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <fpage>13</fpage>
      <lpage>20</lpage>
      <abstract>
        <p>The Semantic Business Process Management (SPBM) approach from the SUPER project utilizes a Semantic Execution Environment (SEE) for the automatic discovery, composition, mediation, and invocation of Web services. In order to enable the Semantic Execution Environment, an engineer must create semantic descriptions of functional, nonfunctional, and behavioural aspects of Web services and enduser requirements. In this paper we introduce MEMOS, a methodology for modeling services that provides a detailed description of the di erent activities, tasks, roles, and artifacts that exist within a Semantic Web Service (SWS) engineering project, from both a service provider and service requester perspective. By introducing the rst methodology for Semantic Web Services, we aim to support engineers in their development projects, ultimately improving quality, reducing cost, and enabling the adoption of Semantic Web Services at large.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Categories and Subject Descriptors</title>
      <p>D.2 [Software Engineering]: Interoperability;
D.2.10 [Design]: Methodologies</p>
    </sec>
    <sec id="sec-2">
      <title>1. INTRODUCTION</title>
      <p>Business Process Management (BPM) is an established
discipline whereby the processes of a company are modelled,
monitored, managed, and adapted according to business
experts' viewpoint, well-separated from the lower-level IT
concerns associated with their realisation. Meanwhile the
approach of Service-Oriented Architecture (SOA) has made
Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission and/or a fee.</p>
      <p>
        SBPM ’10 Crete, Greece
Copyright 20XX ACM X-XXXXX-XX-X/XX/XX ...$10.00.
strides towards supporting the requirements of agile
crossorganisational business processes at this implementation level.
Semantic Business Process Management (SBPM) [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] is a
recent approach based on the application of ontology-based
semantics to bridge the gap between the business analyst's
and IT department's viewpoints in BPM, which is an
application of the principle of ontological role separation. Many
SBPM approaches use Semantic Web Services (SWS) and
semantics-driven execution.
      </p>
      <p>Semantic Web Services (SWS) represent the next
evolutionary step forward in Service Oriented Computing, namely
the addition of ontology-based semantic descriptions for each
service, comprising a formal description of the services
functionality, non functional aspects, and external behaviour.
Once services are described semantically, many of the tasks
involved in using them can be automated and real dynamism
can be added to applications using the Semantically-enabled
SOA paradigm. SWS have reached a maturity level where
there is a shared understanding within the research
community, which is supported by conceptual models, languages,
and tools and there is considerable interest in the use of SWS
as a technology for enabling the dynamic discovery,
composition, mediation, and invocation of Web services. However,
the barrier to the adoption of this new technology is its
complexity and a lack of understanding of which activities need
to be performed in order to achieve successful results.</p>
      <p>
        In order to achieve this meeting between di erent
communities beyond the sphere of research it is necessary to
concretely and methodically describe the results and shared
understanding of 7 years research and development in SWS.
In particular the conceptual models, languages, frameworks,
and tools must be placed in the context of methodologies,
best practices, and guidelines. The introduction of
methodological support for SWS will enable engineers to receive the
consistency of action [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] that a methodology provides, and
improve the quality of the resulting descriptions in terms
of meeting cost estimates, having all of the functionality
promised, and delivering in the right time frame.
      </p>
      <p>
        We begin this paper by giving a brief overview of SBPM
and SWS (Section 2) and then summarize our preliminary
analysis of how SWS are currently being used in the SBPM
community from [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] (Section 3). In this analysis we
identify a set of scenarios for SWS that describe the high-level
tasks that must be performed by engineers in order to realise
each of them, with these scenarios acting as a starting point
for the methodology. We then introduce a Methodology for
Modeling Services (MEMOS), which provides a systematic
approach to the implementation of Semantic Web Services
by de ning the activities and tasks that must be performed
by particular actors in each of the phases of the software
development cycle (Section 4). This methodology has
undergone evaluation in the form of both professional reviews
and a case study (Section 5), which have highlighted open
issues and motivate our future work (Section 6).
      </p>
    </sec>
    <sec id="sec-3">
      <title>BACKGROUND</title>
      <p>
        To support the separation of business analysts' and IT
viewpoints of business processes the SUPER project has
introduced two main ontologies: the Business Process Modelling
Ontology (BPMO)1 and a Semantic BPEL model, which is
grounded for execution to a compliant extended WS-BPEL
2.0 schema, BPEL4SWS [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. Common features between
the two can be mediated using ontology-based rules [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ].
      </p>
      <p>
        BPMO's stated intention is to \[model] business processes
at the semantic level, integrating knowledge about the
organisational context, work ow activities and Semantic Web
Services." The work ow aspect is conceptualised via the
abstractions encoded in Work ow Patterns [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] and aims to
be graphically represented in a fragment of the Business
Process Modelling Notation (BPMN) [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]. The patterns
covered are also intended to abstract over the features of
Event-driven Process Chains (EPCs), the extended model
of which in the ARIS toolset is inspiration for the modelling
of organisational context [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ].
      </p>
      <p>
        The Web Service Modeling Ontology (WSMO) [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] is a
conceptual model for Semantic Web Services and has four top
level elements, namely Ontologies, Web Services, Goals and
Mediators. Ontologies are the basis for the other
descriptions by providing the terminology that they use. WSMO
Web Services provide a semantic description of both the
function of a service, in terms of a Capability, and the
mechanism for interacting with it, in terms of an Interface. A
WSMO goal allows for the requirements of the requester to
be semantically described. Finally, WSMO Mediators
provide a means to resolve heterogeneity issues that inevitably
occur between the other elements due to the open and
distributed nature of the Web.
      </p>
      <p>
        WSMO's service model is primarily used in two regards
in BPMO. The concept of goal allows the requirements for
external tasks to be functionally speci ed, along with
nonfunctional requirements related to, for instance, Quality of
Service. The concept of mediator allows both the speci
cation of necessary data mediation within a process, as well as
a mediation process to be speci ed between a set of processes
that are otherwise lacking in mutual conformance. In
translation to Semantic BPEL mediators are intended to play the
same role [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]. Goals, on the other hand, may either be left
in place for run-time matching to a web service, as described
below, or may be replaced with the semantic description of
a suitable service in the executable process.
      </p>
      <p>
        A number of other conceptual models and languages
exist for semantically describing services, including OWL-S
[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] and WSMO-Lite [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ]. Recently the Reference
Ontology for Semantic Service Oriented Architectures
(SSOARO) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] was de ned in the OASIS Semantic Execution
Environment technical committee (SEE-TC). It provides a
unambiguous de nition in RDF-S of the di erent concepts that
1Final SUPER version submitted to SBPM.
      </p>
      <p>
        Alternate link via post-SUPER pre-standardisation activity
in STI Conceptual Models for Services Working Group:
http://cms-wg.sti2.org/reports/
exist within a SSOA inspired by existing models and
languages. Transformations from this reference ontology to and
from OWL-S, WSMO, and WSMO-Lite have also been
dened in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. Thus in this paper we use the terminology from
the SSOA-RO to de ne the MEMOS methodology such that
it can be applied to WSMO as well as the other models
and languages. The SSOA-RO terminology is introduced
throughout the next section.
3.
      </p>
    </sec>
    <sec id="sec-4">
      <title>ENGINEERING SCENARIOS FOR</title>
    </sec>
    <sec id="sec-5">
      <title>SEMANTIC WEB SERVICES</title>
      <p>
        In [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], we performed an analysis of recent projects on the
topics of Semantic Web Services and Semantic Business
Process Management (SBPM), as well as a survey of SWS
experts, in order to understand how Semantic Web Services
are being used in the community. From this analysis, in [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]
we also de ned a set of engineering scenarios that describe
the high-level tasks that must be performed by engineers in
order to realise each of them. The bene t of these scenarios
is they can be combined by an engineer in order to design
rich and complex systems, while still allowing the engineer to
have a clear understanding of the SWS artifacts that must
be implemented in order to enable the nal system. The
scenarios are a starting point for the MEMOS methodology
and are summarized here in terms of the SSOA-RO, a full
description of which can be found in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]:
Scenario 1: Using the SSOA-RO for Service
Advertisement: A discovery broker service can be used to
nd service descriptions advertised by providers based on
a requesters goal description. There are two common
approaches to service discovery, described in the scenarios
below. If service ranking is required in either scenario, providers
should annotate their service descriptions with non
functional properties describing the quality of service aspects of
their Web service and requesters should provide their
preferences over non functional properties in their goal
descriptions.
      </p>
      <p>Scenario 1a: Capability-based Service Advertisement:
In this scenario the provider creates a functional description
of the service to be advertised in the form of a capability
description. Similarly, the service requester provides a
capability description of their functional need. Matches are found
by comparing the requesters capability description against
provider capability descriptions.</p>
      <p>Scenario 1b: Mediator-based Service Advertisement:
In this scenario mediators are used to de ne matches
between service descriptions and goal descriptions. These
matches are de ned at design time and thus the process of
discovery is a simple lookup of a mediator. Mediator-based
discovery is especially suitable in an environment where the
number of services is limited.</p>
      <p>Scenario 2: Using the SSOA-RO for Service
Invocation: In a di erent context the services needed within
a system may already be known, so no discovery is
necessary; however automatic invocation of these services may be
needed, particularly in cases where service interfaces change
regularly. There are two ways in which service invocation
can occur:
Scenario 2a: Service Choreography-based
Invocation: The provider creates a process model, entitled a
choreography, that describes the external behavior of their
service, i.e. how the requester should interact with the service.
The choreography is accompanied by a grounding that
enables ontological instances to be sent to the service according
to a particular data schema. The requester need only
provide the relevant ontological instances to invoke the service.
Scenario 2b: Goal Choreography-based Invocation:
Scenario 2a is only possible in cases where all the
information needed to execute the service choreography is available
prior to the execution. If new data needs to be generated
based on the responses from the service, then the requester
also requires a choreography such that a conversation
between the requester and provider can be made.</p>
      <p>Scenario 3: Using the SSOA-RO for Service
Composition: Scenario 1 enables the automatic discovery of
services; however, it is often the case that no single service
can ful l a requesters goal description. In such a case it may
be possible to combine a number of services in order to ful l
the requesters requirements. There are two approaches to
service composition:
Scenario 3a: Design-time Service Composition: Some
actor manually creates a new service description containing
an orchestration, which brings together individual service
and goal descriptions to deliver a composite functionality.
This scenario can be combined with scenarios 1 or 2 so that
this service description can be automatically discovered or
invoked.</p>
      <p>Scenario 3b: Run-time Service Composition: An
orchestration of service descriptions is created automatically
to ful l a goal description. The composition process is
enduser-guided, through the speci cation of a capability
description, non functional preferences, a target choreography,
or a partial orchestration.</p>
      <p>Scenario 4: Engineering Ontologies in the
SSOARO Context: Scenarios 1, 2, and 3 require ontologies to
enable service and goal descriptions to be created. While
engineers should use existing ontology engineering
methodologies, the following scenarios should be considered in the
ontology engineering process:
Scenario 4a: Engineering Ontologies from a Data
Schema: Using the provider or requesters data schema,
e.g. the XML Schema of a SOAP Web service, as input to
the ontology engineering process makes it easier to create
a grounding for the resulting ontology; however no shared
understanding with other parties exists and heterogeneity
issues must be resolved later.</p>
      <p>Scenario 4b: Reusing Existing Ontologies: Reusing
existing ontologies to describe service and goal descriptions
results in few heterogeneity issues between requesters and
providers, but the process of creating a grounding becomes
more complicated due to the potential gap between the data
schema used by the provider or requester, and the reused
ontologies.</p>
      <p>Scenario 4c: Reengineering Existing Ontologies:
Existing ontologies are reengineered taking into account the
provider or requester data schema. Creating a grounding is
more complex than in 4a and more heterogeneity exists than
in 4b, but better than the worst case in both.</p>
      <p>Scenario 5: Enabling Interoperation Between
Ontologies: Using scenarios 4a and 4c results in ontologies
that are locally relevant but not shared with others in the
community. Discovery, invocation, and composition in
scenarios 1, 2, and 3 will not function correctly unless the
ontologies used by requesters and providers are aligned.
Therefore, to enable interoperability between requester goal
descriptions and provider service descriptions it is necessary to
de ne an ontology to ontology mediator (ooMediator),
between the ontologies that they use. An ooMediator is usually
accompanied by a mapping document containing mappings
between the di erent elements in the source and target
ontologies.
4.</p>
    </sec>
    <sec id="sec-6">
      <title>MEMOS: A METHODOLOGY FOR MOD</title>
    </sec>
    <sec id="sec-7">
      <title>ELING SERVICES</title>
      <p>
        The Methodology for Modeling Services (MEMOS) provides
a systematic approach to the implementation of Semantic
Web Services using the SSOA-RO by de ning the speci c
activities and tasks that must be performed by particular
actors in each of the phases of the Software Development
Cycle (SDC). The methodology is designed considering the
di erent scenarios in which Semantic Web Services are
currently being used by the community, as described in Section
3. The MEMOS activities and tasks are de ned in a
Software Development Process Model (SDPM) independent way
such that they can be combined into a process with activities
and tasks from other methodologies, for example the OASIS
FWSI Web Service Implementation Methodology [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>
        MEMOS is structured around the Software Development
Cycle and de nes activities that should be conducted in the
context of the requirements, design, implementation,
testing, and installation &amp; checkout phases of the Software Life
Cycle (SLC) as de ned by the IEEE in [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Activities in the
MEMOS methodology de ne a collection of common tasks
that lead towards the output of a particular artifact. In
certain activities, particularly in the requirements phase, tasks
within a particular activity are split into provider tasks and
requester tasks. Provider tasks are undertaken by service
providers as they attempt to expose their services according
to the scenarios de ned in section 3. Requester tasks are
similarly performed by those attempting to use Semantic
Web Services to ful l some functional need within an
application. A task in the MEMOS methodology is a unit of work
that contributes to the completion of a given activity and its
output artifact(s). One or more roles perform the task by
utilizing the provided input artifacts, according to the
speci ed guidelines, to produce the output artifacts. Figure 1
illustrates the relationship between phases, activities, tasks,
roles, and artifacts, which is in-line with the IEEE standard
documentation.
The methodology aims to support SWS engineers and aid
them to realize system that use scenarios 1, 2, 4, and 5 as
described in Section 3. The pace at which the di erent SWS
artifacts have been adopted and used to date in the
community varies, and this is especially true for orchestrations.
Thus service composition (scenario 3) is deemed out of scope
for this version of the methodology and will be added later
when the community has more experience. It should also be
noted that a large amount of e ort has been spent within the
ontology engineering community developing methodologies
for creating, reusing, and reengineering ontologies. While
the MEMOS methodology has tasks in each of the relevant
software development cycle phases related to the
development of ontologies, these tasks are delegated to an
appropriate ontology engineering methodology, which is selected
during the requirements gathering phase.
      </p>
      <p>
        MEMOS is made up of 28 activities, which are in turn
made up of 94 individual tasks with accompanying
guidelines, an overview of which can be seen in Figure 2. The
tasks are performed by 14 roles including usual software
engineering roles, for example requirements analyst, designer,
and domain expert, and those speci c to SWS development,
namely ontology engineer, semantic service engineer, and
mapping engineer. Due to space restrictions it is not possible
to describe all 94 MEMOS tasks in detail, thus in the
following sections we provide an overview of each of the MEMOS
activities and summarize the tasks within them. A full
description of all activities and tasks can be found in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
4.1
      </p>
    </sec>
    <sec id="sec-8">
      <title>Requirements Phase</title>
      <p>The requirements phase is made up of 7 activities and aims
to solicit requirements from stakeholders and domain
experts regarding the problem to be solved:
Activity R1 - Identify the Need: The aim of this
activity is to discover the exact problem that needs to be solved
by the development project. The requirements analyst
begins by identifying the stakeholder and the relevant domain
experts needed in this process and goes on to elicit a
problem statement from these individuals. Once a problem
statement exists the requirements analyst should identify those
scenarios from section 3 needed to solve the problem and
nally gather the knowledge sources from the domain expert
needed in the requirements phase, for example service or
application design documentation, WSDL documents, and
XML Schemas.</p>
      <p>Activity R2 - Gather Functional Requirements: If
scenario 1 is identi ed during activity R1 then the
requirements analyst should gather requirements related to the
functional aspects of the service description or goal
description to be created. In a provider context this involves the
requirements analyst understanding the functionality o ered
by the Web service, the speci c functionality that the
stakeholder wants to advertise, and the discovery broker services
where the advertisement will be made. In a requester
context the requirements analyst should understand the
application in question, determine the functional need that this
application has, and the discovery broker services where the
stakeholder wants to search for this functionality.
Activity R3 - Gather Non Functional Requirements:
If scenario 1 is identi ed during activity R1 then the
requirements analyst should gather requirements related to the non
functional aspects of the service description or the goal
description to be created. In a provider context this means
understanding the non functional behaviour of the Web
service to be described and choosing which of these aspects
should be advertised, e.g. availability, security, obligations.
In a requester context the requirements analyst should gain
an understanding of the non functional aspects which are
important to the application that will use services, and
identify the importance that the stakeholder assigns to these non
functional aspects.</p>
      <p>Activity R4 - Gather Behavioral Requirements: If
scenario 2 was identi ed during activity R1 then the
requirements analyst should gather requirements related to the
behavioral aspects of the service description or goal description
to be created. In a provider context this means
understanding the behaviour of the di erent operations on the Web
service, the relationship between them, and the groupings
of operations that should be advertised as choreographies.
While in a requester context this means identifying the data
that is available within the application which could be sent
to services, and the data that would be expected as a result
of invocation.
Activity R5 - Gather Knowledge Requirements:
Using the functional, non functional, and behavioral
requirements as input, the requirements analyst can begin the
process of requirements gathering for the ontologies that will
be required to describe the functional, non functional, and
behavioral aspects of the service description or goal
description to be created. This activity involves the selection of an
appropriate ontology engineering methodology and
performing the activities from this methodology. The requirements
analyst should also work with domain experts to identify
those models that are used (or could be used) by potential
collaborators and competitors.</p>
      <p>Activity R6 - Manage Requirements: In this
activity the requirements are checked for consistency and to
ensure that they meet the original problem statement from the
stakeholder. This activity also includes the identi cation of
dependencies between requirements and the assignment of
requirement priorities.</p>
      <p>Activity R7 - Prepare User Acceptance and System
Tests: The aim of this activity is to identify relevant test
cases that can be used for system and user acceptance
testing in the test phase of the development process. This
activity also ensures that all of the requirements identi ed in
the requirements speci cation are covered by test cases by
creating a validation matrix.
4.2</p>
    </sec>
    <sec id="sec-9">
      <title>Design Phase</title>
      <p>The design phase is made up of 10 activities, and aims to
build a well-organized representation of the set of artifacts
needed to meet the gathered requirements.</p>
      <p>
        Activity D1 - De ne High Level Architecture: The
aim of this activity is to de ne the overview architecture of
all the service descriptions and goal descriptions needed to
realize the gathered requirements, along with the ontologies
that they use. The high-level architecture also contains the
mediators that link service descriptions, goal descriptions
and ontologies together, and where necessary the mappings
that enable these mediators. Finally the high level
architecture shows the di erent groundings that are required to
enable interoperability between the SSOA-RO artifacts and
the concrete services or applications they describe. An
example of a providers high level architecture diagram can be
seen in Figure 3, a requesters high level architecture diagram
would look similar, except that it would be centred around
the application with a functional need. An in depth
explanation of Figure 3 can be found in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>Activity D2 - De ne Physical Architecture: In this
activity the architect and deployer work together to tie the
high level architecture to a physical architecture. The
physical architecture speci es the di erent repositories and
broker services where the artifacts in the high level architecture
will be registered and used. This activity also produces a
step-by-step deployment plan, which will be followed in the
installation and checkout phase.</p>
      <p>Activity D3 - Design Capability Description: In this
activity the designer should create a detailed design
description for each of the capability descriptions de ned in
the high level architecture. This activity involves creating
natural language descriptions of each of the preconditions,
postconditions, assumptions, and e ects that describe the
functionality of the service. The designer should consider
the information gathered about the discovery broker service
where the capability will be used, as it may ignore service
preconditions, or mandate the speci cation of a minimum
number of postconditions or e ects, etc.</p>
      <p>Activity D4 - Design Non Functional Properties and
Preferences: In this activity the designer should create a
detailed design of the non-functional properties on each
service description and the non functional preferences of each
goal description in the high level architecture. This activity
involves taking the properties or preferences identi ed in the
requirements phase and assigning values to each. In the case
of preferences, this activity also involves assigning weights
to each of the preferences according to the requesters non
functional needs.</p>
      <p>Activity D5 - Design Choreography: In this activity
the designer should create a detailed design for the
choreographies of each of the service descriptions and goal
descriptions in the high level architecture. The main output of this
activity is a dependency diagram, which captures the
different operations on the service, their inputs, their outputs,
and the dependencies that exist between them.
Choreographies on goal descriptions have a similar diagram except that
they capture the requested interface of a Web service rather
than that of a real Web service.</p>
      <p>Activity D6 - Design Ontology: In this activity the
designer is responsible for designing each of the ontologies
in the high level architecture according to the ontology
engineering methodology selected in the requirements phase.
The main job of the engineer in this task is to design the
concepts, attributes, relations, axioms, and instances that
make up the ontology. The designer should take note of the
logical formalism identi ed in the high level architecture for
this ontology, as the choice of formalism will have an impact
on the design of the ontology, and, a particular ontology may
need to be created in more than one formalism in order to
support di erent broker services.</p>
      <p>Activity D7 - Design Grounding: In this activity the
designer should create a design for each of the groundings
identi ed in the high level architecture. The dependency
graph created in activity D6 contains a clear speci cation of
the di erent schema elements that need to be sent and
received via the choreography and can be used by the designer
to identify those parts of the underlying schema that need
to be transformable to and from ontologies. The designer
should go on to identify the equivalent ontology elements
for each of these schema elements.</p>
      <p>Activity D8 - Design Mediators: In this activity the
designer should create a list of the sources and targets for
each mediator in the high level architecture.</p>
      <p>Activity D9 - Design OO Mappings: In this activity
the designer should create a design for each of the mapping
documents identi ed in the high level architecture. This
activity begins by identifying the di erent elements of the
source ontology that need to be transformed to the target
ontology, utilizing the functional, non functional, and
behavioural requirements. The designer should go on to
identify discrepancies between source and target data values and
design a set of data value transformation services to resolve
these discrepancies, e.g. if the values "John" and "Smith"
from the source become the value "John Smith" in the
target, a service which concatenates the values together would
be required.</p>
      <p>Activities D3 to D9 also involve the de nition of
functional tests for each of the detailed designs created. For
example, in the context of capability descriptions this means
identifying the requesters capability descriptions that should
nd a particular providers capability description, or in the
context of OO Mappings the test designer should create
pairs of ontology instances from the source and target
ontologies, which are equivalent with one another.</p>
      <p>Activity D10 - Prepare Integration Tests: While the
test cases used for system tests, which were created in
activity R7, look at the end-to-end behavior of the artifacts
in the system, the test designer should create integration
test cases that should focus on how two or more individual
artifacts interact.
4.3</p>
    </sec>
    <sec id="sec-10">
      <title>Implementation Phase</title>
      <p>In the implementation phase the detailed design of the
individual components within the high level architectural design
are reduced down to concrete SSOA-RO artifacts. The
implementation phase is made up of 7 activities as follows:
Activity I1 - Implement Ontology: In this activity
the ontology engineer creates an ontology for each of the
ontologies in the high-level architecture according to their
respective detailed design speci cations, by performing the
implementation tasks from the chosen ontology engineering
methodology.</p>
      <p>
        Activity I2 - Implement Service Description &amp;
Activity I3 - Implement Goal Description: These activities
involve the reduction of the capability description design,
non functional design, and choreography design down into
concrete implementations for each service description and
goal description in the high level architecture respectively.
Activity I4 - Implement Grounding: In this activity,
lifting and lowering mappings are created to realize each
of the groundings in the high level architecture, according
to the approach used by the targeted broker service. For
example, lifting and lowering broker services exist that are
powered by rules [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], XSLT mappings [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], while others exist
that require a speci c Java class to be written [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
Activity I5 - Implement Mediator: This is a relatively
trivial activity, with each of the mediators speci ed in the
high-level architecture being created and linking to the
respective source and target SSOA-RO artifacts.
      </p>
      <p>
        Activity I6 - Implement OO Mappings: In this activity
each of the mapping documents in the high level architecture
are created according to the OO mappings design created in
activity D9. [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] de nes two approaches to creating
mapping documents. In the bottom-up approach, the engineer
starts by creating mappings between the most primitive
ontological concepts in the source and target ontologies, which
act as a minimal agreement between these ontologies upon
which more complex mappings can be made. Intuitively the
top-down approach starts with the engineer creating
mappings for the more complex ontological concepts rst and
then drilling down to map the less complex ontological
concepts as necessary.
      </p>
      <p>Activity I7 - Unit Test: The purpose of this activity is to
test particular units of functionality in the system of
SSOARO artifacts. The semantic service engineer should execute
the functional tests de ned in activities D3 to D9 in this
activity against the artifacts created in I1 to I6.
4.4</p>
    </sec>
    <sec id="sec-11">
      <title>Testing Phase</title>
      <p>The testing phase ensures that the software designed in the
design phase and implemented in the implementation phase
meets the requirements laid down in the requirements phase.
In the MEMOS methodology it has just a single activity, as
much of the work related to testing is performed across the
other phases of the development cycle:
Activity T1 - Execute Test Plan: Unit testing has been
performed in the implementation phase to ensure that the
created artifacts function as expected within the
development environment. The testing of the artifacts is brought a
step further in this activity, with the functional, integration,
system, and user acceptance test cases, de ned throughout
the development process, being executed in a testing
environment that is equivalent to where they will be deployed.
4.5</p>
    </sec>
    <sec id="sec-12">
      <title>Installation &amp; Checkout Phase</title>
      <p>The installation &amp; checkout phase nalizes the Software
Development Cycle and comprises 3 activities, which ensure
that the artifacts created in the implementation phase are
documented, deployed to the locations where they will be
available to end users, and that maintainers are trained in
how to maintain these artifacts:
Activity IC1 - Document Artifacts: The aim of this
activity is to create the documentation needed for end users
and maintainers to successfully work with the SSOA-RO
artifacts created in the project, including annotations on the
artifacts themselves and printed and on-line materials, e.g.
user manuals.</p>
      <p>Activity IC2 - Install Artifacts: This activity involves
the execution of the deployment plan created in D2 such
that the created SSOA-RO artifacts are deployed to the
locations where they will be available to end users. Crucially
this activity also involves the re-execution of the test plan
to ensure these artifacts function as expected in the
deployment environment.</p>
      <p>Activity IC3 - Train Maintainers: The aim of this
activity is to train the maintainers, who must maintain the
SSOARO artifacts in the deployment environment, such that they
have the relevant knowledge to perform their jobs.</p>
    </sec>
    <sec id="sec-13">
      <title>EVALUATION</title>
      <p>
        A two step approach to the evaluation of the methodology
has been taken, using professional reviews and a case study:
OASIS SEE-TC Professional Review: As we utilized
the SSOA-RO as the main language for describing the
artifacts in the MEMOS methodology, the rst logical place to
conduct professional reviews was within the OASIS SEE-TC
that produced this speci cation. The MEMOS
methodology is currently available as a working draft [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] within the
SEE-TC and has received useful feedback from the
members of this technical committee, who are all experts in the
eld of Semantic Web Services. This feedback has enabled
the improvement of activities and tasks in the
methodology, and their associated guidelines. In the coming months
the MEMOS methodology working draft will be voted on
by SEE-TC members in order to create a committee draft,
which will act as a supporting document to the SSOA-RO
speci cation.
      </p>
      <p>
        SHAPE Professional Review: Independently the SHAPE
European framework project2, which develops the needed
infrastructure and technology for using the new OMG
Service Oriented Architecture Markup Language (SoaML)
standard [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], has adopted the MEMOS methodology as their
methodology for engineering SWS in the SoaML context.
By integrating the activities and tasks from MEMOS into
the SHAPE methodology, the engineers have shown that
MEMOS is generally applicable to service modeling and can
be easily adapted to new conceptual models and languages,
in this case SoaML. Feedback from these engineers
regarding the methodology has been very positive and their
suggestions have been used to improve the guidelines associated
with MEMOS tasks. Future case study activities plan in the
SHAPE project will act as further evaluation of the
application of the MEMOS methodology in the SoaML context.
Case Study: A rst case study was recently conducted
with a group of three Semantic Web Service experts, who
had all developed Semantic Web Services before, and who
are experts in the areas of functional descriptions, non
functional descriptions, and behavioural descriptions respectively.
The tourism domain was selected for the use case, and the
experts were asked to act on behalf of a service provider
to advertise a hotel and car booking Web service using the
MEMOS Methodology. The case study was conducted over
the course of a week, with the experts using WSMO as the
conceptual model for developing the service descriptions,
and completing an experience report for each of the
activities and tasks in the methodology as they performed them.
The experts were given a requirements and design document
for the Web service they needed to describe, along with the
WSDL description of that Web service, and access to the
domain expert who developed it. The experts felt that the
activities and tasks in the requirements phase were easy to
conduct and that the resulting requirements speci cation
contained all the information needed to perform the rest of
the development project. Where they experienced di culty
was in the design of the high level architecture, due to its
size and complexity. They suggested that this issue could
be resolved through the addition of tools to support this
activity. The implementation tasks were relatively trivial
for them to perform given their previous experience,
however they stated that the guidelines provided with the
implementation activities are a useful resource for those with
less experience. The experts used the Web Service
Modeling Toolkit (WSMT) [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], an integrated development
environment for Semantic Web Services through the WSMO
paradigm, throughout the implementation and installation
&amp; checkout phases. The saw the availability of these tools
as crucial to the successful completion of the activities in
these phases. Overall, the participants clearly stated that
the MEMOS methodology was useful, could be feasibly
applied within a development project, and that they believed
that the availability of such a methodology would improve
the consistency and repeatability of development of
Semantic Web Services. The experience reports generated by the
experts led to the addition of a number of new tasks to the
methodology, as well as the improvement of the guidelines
for particular tasks.
6.
      </p>
    </sec>
    <sec id="sec-14">
      <title>CONCLUSIONS</title>
      <p>
        In this paper we have given a broad overview of a
Methodology for Modeling Services (MEMOS), which de nes the
activities, tasks, artifacts, and roles that exist across the
di erent phases of the Software Development Cycle for
Semantic Web Services. In all there are 28 activities and 94
tasks in the methodology performed by 14 roles. Each of
the tasks is accompanied with detailed guidelines on how to
achieve the best result when performing them. We direct
readers wishing to go into the details of these guidelines to
[
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. It should also be noted that the methodology is
supported by development tools in the form of the Web Service
Modeling Toolkit (WSMT) [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], an integrated development
environment for modeling services semantically.
      </p>
      <p>In terms of next steps, additional case studies will be
conducted to further test the feasibility, usability, and
usefulness of the methodology, and to further hone the guidelines
and recommendations that accompany it. The
methodology currently supports scenarios 1a, 1b, 2a, 2b, 4a, 4b,
4c, and 5 as de ned in Section 3. In coming versions of
the methodology, we will examine the use of orchestrations
within the community for enabling service compositions and
extend the methodology with support for creating these
orchestrations, both at design-time (scenario 3a) and in
runtime (scenario 3b). Finally, while the WSMT supports many
of the activities and tasks that must be conducted within the
methodology, it does not currently guide the roles through
the methodology itself. Subsequent versions of the WSMT
will be extended in this direction, such that the process of
following the methodology can be made easier.</p>
    </sec>
    <sec id="sec-15">
      <title>Acknowledgements</title>
      <p>The work is funded by the European Commission under the
projects ACTIVE, COIN, LarKC, MUSING, Service Web
3.0, SHAPE, and SOA4ALL.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <article-title>[1] Glossary of Software Engineering Terminology (IEEE Standard 610</article-title>
          .
          <fpage>12</fpage>
          -
          <lpage>1990</lpage>
          ),
          <year>1990</year>
          . Available from http://ieeexplore.ieee.org/xpls/abs all.
          <source>jsp?arnumber= 159342.</source>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>OASIS</given-names>
            <surname>Committee</surname>
          </string-name>
          <article-title>Draft 1</article-title>
          ,
          <string-name>
            <surname>Reference</surname>
            <given-names>Ontology</given-names>
          </string-name>
          <source>for Semantic Service Oriented Architecture Version 1.0. November</source>
          <year>2008</year>
          . Available from http://docs.oasisopen.org/semantic-ex/ro-soa/
          <year>v1</year>
          .
          <article-title>0/see-rosoa-v1.0</article-title>
          .pdf.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>OASIS</given-names>
            <surname>Committee</surname>
          </string-name>
          <article-title>Draft 1</article-title>
          ,
          <string-name>
            <given-names>Web</given-names>
            <surname>Service</surname>
          </string-name>
          Implementation Methodology.
          <year>2005</year>
          . Available from http://www.oasisopen.org/committees/documents.php?wg abbrev=fwsi.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>OASIS</given-names>
            <surname>Working Draft</surname>
          </string-name>
          ,
          <article-title>Modeling Services with the Reference Ontology for Semantic Service Oriented Architecture 0.1</article-title>
          . November 2009. Available from http://www.oasisopen.org/committees/document.php?document id=
          <volume>35702</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Service</given-names>
            <surname>Oriented Architecture Modeling Language (SoaML)</surname>
          </string-name>
          , Object Management Group.
          <source>November</source>
          <year>2008</year>
          . Available from http://www.omgwiki.org/SoaML/.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>L.</given-names>
            <surname>Cabral</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Kerrigan</surname>
          </string-name>
          , and
          <string-name>
            <given-names>B.</given-names>
            <surname>Norton</surname>
          </string-name>
          .
          <source>D14</source>
          .
          <article-title>1 Evaluation Design and Collection of Test Data for Semantic Web Service Tools. Semantic Evaluation At Large Scale (SEALS) framework project (</article-title>
          <source>FP7-238975)</source>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>F.</given-names>
            <surname>Facca</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Komazec</surname>
          </string-name>
          ,
          <string-name>
            <surname>and I. Toma. WSMX</surname>
          </string-name>
          <year>1</year>
          .0:
          <string-name>
            <given-names>A</given-names>
            <surname>Further</surname>
          </string-name>
          <article-title>Step toward a Complete Semantic Execution Environment</article-title>
          .
          <source>In Proc. of the 6th European Semantic Web Conf. (ESWC</source>
          <year>2009</year>
          ),
          <year>Jun 2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>D.</given-names>
            <surname>Fensel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Lausen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Polleres</surname>
          </string-name>
          , J. de Bruijn,
          <string-name>
            <given-names>M.</given-names>
            <surname>Stollberg</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Roman</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J.</given-names>
            <surname>Domingue</surname>
          </string-name>
          .
          <source>Enabling Semantic Web Services { The Web Service Modeling Ontology</source>
          . Springer,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Hepp</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Leymann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Domingue</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Wahler</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Fensel</surname>
          </string-name>
          .
          <article-title>Semantic business process management: A vision towards using semantic web services for business process management</article-title>
          .
          <source>In Proceedings of IEEE Intl. Conf. on e-Business Engineering (ICEBE</source>
          <year>2005</year>
          ), pages
          <fpage>535</fpage>
          {
          <fpage>540</fpage>
          . IEEE Computer Society,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Kerrigan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mocan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Tanler</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Fensel</surname>
          </string-name>
          .
          <article-title>The Web Service Modeling Toolkit - An Integrated Development Environment for Semantic Web Services</article-title>
          .
          <source>In Proc. of the 4th European Semantic Web Conf. (ESWC2007)</source>
          ,
          <year>June 2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>M.</given-names>
            <surname>Kerrigan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Norton</surname>
          </string-name>
          , E. Simperl, and
          <string-name>
            <given-names>D.</given-names>
            <surname>Fensel</surname>
          </string-name>
          .
          <article-title>Semantic Web Service Engineering for Semantic Business Process Management</article-title>
          .
          <source>In Proc. of the 4th Intl. workshop on Semantic Business Process Management (SBPM)</source>
          ,
          <year>June 2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>H.</given-names>
            <surname>Kerzner</surname>
          </string-name>
          .
          <article-title>Strategic Planning for Project Management using a Project Management Maturity Model</article-title>
          . John Wiley &amp; Sons,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>D.</given-names>
            <surname>Lambert</surname>
          </string-name>
          and
          <string-name>
            <given-names>J.</given-names>
            <surname>Domingue</surname>
          </string-name>
          .
          <article-title>Grounding Semantic Web Services with Rules</article-title>
          .
          <source>In Proc. of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008)</source>
          ,
          <year>Dec 2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>D.</given-names>
            <surname>Martin</surname>
          </string-name>
          .
          <article-title>OWL-S: Semantic Markup for Web Services</article-title>
          .
          <source>Member Submission 22 November</source>
          <year>2004</year>
          , W3C, Available from http://www.w3.org/Submission/OWL-S/.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>A.</given-names>
            <surname>Mocan</surname>
          </string-name>
          and
          <string-name>
            <given-names>E.</given-names>
            <surname>Cimpian</surname>
          </string-name>
          .
          <article-title>Mappings Creation Using a View Based Approach</article-title>
          .
          <source>In Proc. of the 1st Intl. Workshop on Mediation in Semantic Web Services (Mediate-2005)</source>
          ,
          <year>Dec 2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>J.</given-names>
            <surname>Nitzsche</surname>
          </string-name>
          and
          <string-name>
            <given-names>B.</given-names>
            <surname>Norton</surname>
          </string-name>
          .
          <article-title>Ontology-based data mediation in BPEL (for semantic web services)</article-title>
          .
          <source>LNCS</source>
          . Springer,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>J.</given-names>
            <surname>Nitzsche</surname>
          </string-name>
          , T. van
          <string-name>
            <surname>Lessen</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Karastoyanova</surname>
            , and
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Leymann</surname>
          </string-name>
          .
          <article-title>BPEL for semantic web services (BPEL4SWS)</article-title>
          .
          <source>In Proceedings of 3rd International Workshop on Agents and Web Services in Distributed Environments (AWeSome'07)</source>
          , volume
          <volume>4806</volume>
          <source>of LNCS</source>
          . Springer,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>B.</given-names>
            <surname>Norton</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Cabral</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J.</given-names>
            <surname>Nitzsche</surname>
          </string-name>
          .
          <article-title>Ontology-based translation of business process models</article-title>
          .
          <source>In Proceedings of 4th International Conference on Internet and Web Applications and Services (ICIW</source>
          <year>2009</year>
          , to appear).
          <source>IEEE Computer Society</source>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19] Object Management Group.
          <article-title>Business process modelling notation (BPMN) speci cation</article-title>
          .
          <source>Technical report</source>
          , Object Management Group,
          <year>2006</year>
          . http://www.omg.org/docs/dtc/06-02-01.pdf.
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>A.</given-names>
            <surname>Scheer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Oliver</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Otmar</surname>
          </string-name>
          .
          <article-title>Process modelling using event-driven process chains</article-title>
          . In M. Dumas, W. van der Aalst,
          <article-title>and</article-title>
          <string-name>
            <surname>A. H. M.</surname>
          </string-name>
          ter Hofstede, editors,
          <source>Process-Aware Information Systems, chapter 5</source>
          , pages
          <fpage>117</fpage>
          {
          <fpage>166</fpage>
          . Wiley,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>W. van der Aalst</given-names>
            , A. ter
            <surname>Hofstede</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Kiepuszewski</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Barros</surname>
          </string-name>
          .
          <article-title>Work ow patterns</article-title>
          .
          <source>Distributed and Parallel Databases</source>
          ,
          <volume>14</volume>
          (
          <issue>3</issue>
          ):5{
          <fpage>51</fpage>
          ,
          <year>July 2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <given-names>T.</given-names>
            <surname>Vitvar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Kopecky</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Viskova</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Fensel</surname>
          </string-name>
          .
          <article-title>WSMO-Lite Annotations for Web Services</article-title>
          .
          <source>In Proc. of the 5th European Semantic Web Conf</source>
          .
          <source>2008 (ESWC</source>
          <year>2008</year>
          ),
          <year>June 2008</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>