<!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>Open Service Network Analysis</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Jorge Cardoso</string-name>
          <email>jcardoso@dei.uc.pt</email>
          <email>jorge.cardoso@kit.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>John A. Miller</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Casey Bowman</string-name>
          <email>bowman99@uga.edu</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christian Haas</string-name>
          <email>christian.haas2@kit.edu</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Amit P. Sheth</string-name>
          <email>amit@knoesis.org</email>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Tom W. Miller</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>CISUC/Dept. Informatics Engineering University of Coimbra</institution>
          ,
          <addr-line>Coimbra</addr-line>
          ,
          <country country="PT">Portugal</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Dept. of Computer Science University of Georgia</institution>
          ,
          <addr-line>Athens, Georgia</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Dept. of Economics, Finance &amp; Quantitative Analysis Kennesaw State University</institution>
          ,
          <addr-line>Georgia</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Karlsruhe Service Research Institute Karlsruhe Institute of Technology</institution>
          ,
          <addr-line>Karlsruhe</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>Kno.e.sis Center Wright State University</institution>
          ,
          <addr-line>Dayton, Ohio</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
      </contrib-group>
      <fpage>45</fpage>
      <lpage>61</lpage>
      <abstract>
        <p>Understanding how services operate as part of large scale global networks, the related risks and gains of di erent network structures and their dynamics is becoming increasingly critical for society. Our vision and research agenda focuses on the particularly challenging task of building, analyzing, and reasoning about global service networks. This paper explains how Service Network Analysis (SNA) can be used to study and optimize the provisioning of complex services modeled as Open Semantic Service Networks (OSSN), a computer-understandable digital structure which represents connected and dependent services.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Services that o er di erent capabilities are also distributed over space and time.
These services are related, dependent, connected, and form networks. They are
brought together as new services through composition or aggregation. In many
situations, the value of services and networks is in uenced by existing suppliers,
competitors, value-adders and customers. It is important to be able to
understand and reason about these networks to assist, e.g., decision-making involving
strategic investments in service innovation. However, this is hard because of their
scale (number of services a network may have) and the complexity of technical
aspects such as the temporal and spatial distribution, and the business aspects
such as the diversity of marketing, operations, business models and nancial
aspects.</p>
      <p>
        We resort to Service Network Analysis (SNA) that o ers a systematic and
scienti c analysis of service networks to address the above challenges. SNA views
service systems and service relationships [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] in terms of network theory,
consisting of nodes (representing individual services within the network) and ties
(which represent relationships between services such as roles, level of integration,
involvement strength, and cause-e ect [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] bindings).
      </p>
      <p>
        The dynamic nature of service networks indicates that their topology might
be shaped according to some intrinsic property, e.g. service cost, availability,
or extrinsic property, e.g. perceived customer preference. This dynamic
behavior has been veri ed in many elds. For example, Web Science looks at World
Wide Web models as a large directed graph with an apparent random character.
Nonetheless, the topology of this graph has evolved to a scale-free network [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ] by
preferential attachment [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ], i.e. when establishing hyperlinks, documents prefer
the 'popularity' of certain documents (of 'popular sites') which overtime
become hubs. In the same vein, SNA targets to nd explanations for the structure
and behavior of service networks. Finding the mechanisms, laws, and properties
of service networks can enable to better understand and explain the structure,
evolution, cost, reliability, and coverage of service networks.
      </p>
      <p>Having provided a motivation for the importance of SNA, the contribution of
this paper is to aggregate and present four approaches originating from di erent
elds that can be applied to analyse service networks:
1. Optimization,
2. Evolutionary analysis,
3. Cooperative analysis and
4. Value analysis.</p>
      <p>
        While these approaches have been developed in isolation and have been often
applied to distinct elds (e.g. complex systems, logistics, economics, and
markets), they all constitute solutions for SNA. In the future, a convergence of these
approaches is needed to build a comprehensive body of scienti c methods for
service network analysis. A second contribution of this paper is to describe how,
from a technical perspective, these service networks can be build. We relied
on the recent developments of the Linked USDL (http://linked-usdl.org)
language to represent services and a service relationship model OSSR [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] to
represent relationships between services of a network. An important aspects of these
two models is that their encoding is based on Linked Data principles to retain
simplicity for computation, reuse existing vocabularies to maximize
compatibility, and provide a simple { yet e ective { means for publishing and interlinking
distributed service descriptions for automated computer analysis. These are
fundamental aspects to support the creating of global service networks.
      </p>
      <p>
        In this paper, we explore SNA as introduced above and o er some
preliminary concepts, models and insights. Section 2 introduces the main terms and
concepts that will be used throughout the paper. In Section 3 we provide a
motivating scenario, from the eld of cloud computing, to highlight the
importance of constructing complex services by aggregating simpler building blocks
into service networks. Section 4 explains how Open Semantic Service Networks
(OSSN)[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] can be constructed by accessing remote and distributed
computerunderstandable service descriptions. In Section 5, we present the eld of service
network analysis and exemplify the objective of this new eld of research.
Section 6 presents the related work in this area. Section 7 o ers our conclusion on the
extraordinary implications and improvements to society that the construction
of global service networks and there analysis can bring.
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Terms and Concepts</title>
      <p>
        To address the growing importance of connecting service systems, we have
introduced the concepts that constitute an OSSN [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. A service network is de ned
as a graph structure composed of service systems which are nodes connected by
one or more speci c types of service relationship, the edges. A service system
is a functional unit with a boundary through which interactions occur with the
environment, and, especially, with other service systems. Service networks are
similar to social networks in their structure but connect service systems. When
no ambiguity arises, we will simply use the term service to refer to a service
system.
      </p>
      <p>OSSNs are global service networks which relate services with the
assumption that rms make the information of their service systems openly available
using suitable models. Therefore, service systems, relationships, and networks
are said to be open when their models are transparently available and
accessible by external entities and follow an open-world assumption. The objective
of open services is very similar to the one explored by the linked data initiative
(http://linkeddata.org): exposing, sharing, and connecting pieces of data and
information on the Semantic Web using URIs and RDF. Networks are said to
be semantic since service and relationships can be represented by using shared
models, common vocabularies, and semantic Web theories and technologies.
Service networks bring together several players (e.g. service creators, aggregators,
providers, marketplaces, and consumers ) that work together to deliver value to
consumers.</p>
      <p>
        The (re)construction of OSSNs is the result of a peer-to-peer social process.
Firms, groups and individuals (i.e. the community) are equal participants which
freely cooperate to provide information on services and their relationships to
ultimately create a unique global, large-scale service network. The principles
of OSSN (re)construction were presented in our previous work [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] and call for
self-governance, openness, free-access, autonomy, distribution, and decoupling.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Motivation Scenario</title>
      <p>
        Our scenario is from the eld of cloud computing. As cloud applications spread,
such as platform-as-a-service (PaaS) and software-as-a-service (SaaS), the
dependencies between applications increases. For example, Heroku, Instagram,
Pinterest and Net ix all establish a relationships with Amazon EC2 since they
dependent on its services. This has many implications e.g., a change in Amazon EC2
characteristics (e.g. its cost, reliability, and performance) can in uence all the
dependent services.
Let us consider the service network from Fig. 1. Two service aggregators (SA1
and SA2), part of the ACME corporation, decided to construct two new services:
ACME Customer Relationship Management (SC1RM ) and ACME Business
Intelligence (SB2I ). These two services where constructed from the aggregation of an
existing cloud processing service provided by Heroku6 (SH3er) and a storage
service provided by Amazon Elastic Block Store7 (SA4ma). In addition, SC1RM also
relied on the SugarCRM service8(SS5ug), an open-source, web-based customer
relationship management SaaS platform. On the other hand, SB2I relied on the
BIME service9 (SB6im), a SaaS solution for business analytics and data
visualization. The relationships [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] between services (i.e. R1 and R2) can be summarized
as follows (x R(y1; y2; :::; yi) is to be read as x aggregates y1, y2, . . . , yi):
{ SC1RM
{ SB2I
      </p>
      <p>R1( SH3er, SA4ma, SS5ug)</p>
      <p>R2( SH3er, SA4ma, SB6im)</p>
      <p>The two new services, i.e. SC1RM and SB2I , are commercialized by service
provider SP5 and SP6. The atomic services SH3er, SA4ma, SS5ug, and SB6im are
provided by SP1, SP2, SP3, and SP4, respectively. Service consumers (Ci) can
6 http://www.heroku.com/
7 http://aws.amazon.com/ebs/
8 http://www.sugarcrm.com/
9 http://www.bimeanalytics.com/
purchase and use any of the aggregated services. To operate, aggregated services
must purchase computing/processing units from atomic services. In other words,
there is a dependency between, e.g., SC1RM and SH3er. Furthermore, SC1RM has
a service complementor osCommerce10 CP1 and SB2I has a service competitor
SAS Visual Analytics CO1.</p>
      <p>SNA can be used to, e.g., minimize the cost of providing the aggregated
service SC1RM . The study of the network can suggest the use of other data storage
and processing services which are less expansive than SH3er and SA4ma, possibly
with a slightly lower reliability. Minimizing the cost of a service network can
be mapped to an assignment problem which in turn is mapped to fundamental
combinatorial optimization problems. This branch of service network analysis
will be explored in section 5.1. The e ect of having a higher number of
complementors CPi and a lower number of competitors COi can also be studied since
it in uences the perceived value of services SC1RM and SB2I . In this case, ndings
from the led of social network analysis can be used to explore the in uence of
actors in a network.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Constructing an OSSN</title>
      <p>The service network from the previous section can be constructed and
represented using OSSN by accessing, retrieving and combining information from
service and relationship models. OSSN are networks which relate services with
the assumption that rms make the information of their services openly
available using suitable models. In other words, we make the assumption that the
description of services SC1RM , SB2I , SH3er, SA4ma, SS5ug, and SB6im is openly and
remotely available.
4.1</p>
      <sec id="sec-4-1">
        <title>Open Service Descriptions</title>
        <p>
          In OSSN, services are modeled using the family of languages named *-USDL (the
Uni ed Service Description Language)[
          <xref ref-type="bibr" rid="ref5 ref8">5,8</xref>
          ] to provide computer-understandable
descriptions for services. USDL relies on a shared vocabulary for the creation of
service models and includes concepts such as pricing, service level, availability,
and roles. These languages11,12,13 allow to formalize business services and service
systems in such a way that they can be used e ectively for dynamic service
outsourcing, e cient SaaS trading, and automatic service contract negotiation.
        </p>
        <p>As an example of service description modeling, we illustrate how the service
SugarCRM SS5ug from Section 3 was modeled using Linked USDL. The
information used to model the service was retrieved from its web site. A service and
a vocabulary model were created. The vocabulary contained domain dependent
10 http://www.oscommerce.com/ is a vendor specialized in customizable web shops
platforms
11 Linked-USDL = http://linked-usdl.org/
12 -USDL = http://www.genssiz.org/research/service-modeling/alpha-usdl/
13 USDL = http://www.w3.org/2005/Incubator/usdl/
concepts from the eld of CRM systems (e.g., taxonomies of common
installation options). Since Linked USDL only provides a generic service description
language, domain speci c knowledge needs to be added to further enrich the
description of services. The excerpt from Listing 1.1 illustrates the description
of the SugarCRM service (the example was written using the Turtle language14).
1 &lt;#service_SugarCRM&gt; a usdl:Service ;
2 ...
3 dcterms:title "SugarCRM service instance"@en ;
4 usdl:hasProvider :provider_SugarCRM_Inc ;
5 usdl:hasLegalCondition :legal_SugarCRM ;
6 gr:qualitativeProductOrServiceProperty
7 crm:On_premise_or_cloud_deployment ,
8 crm:Scheduled_data_backups ,
9 crm:Social_media_integration ,
10 crm:Mobile_device_accessibility .
11 ...
12 :offering_SugarCRM a usdl:ServiceOffering ;
13 ...
14 usdl:includes &lt;#service_SugarCRM&gt; ;
15 usdl:hasPricePlan
16 :pricing_SugarCRM_Professional ,
17 :pricing_SugarCRM_Corporate ,
18 :pricing_SugarCRM_Enterprise ,
19 :pricing_SugarCRM_Ultimate ;
20 usdl:hasServiceLevelProfile :slp_SugarCRM .
21 ...</p>
        <p>Listing 1.1. SugarCRM service modeled with Linked USDL</p>
        <p>The description starts with the identi cation of the provider (line 4), the legal
usage conditions (line 5), the general properties of the service (e.g., deployment,
schedules backups, integration, and mobile accessibility), and its price plans (line
15).
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Open Service Relationships</title>
        <p>
          Service networks rely on a fundamental element which connects service systems:
relationships. The Open Semantic Service Relationship (OSSR) model [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] is used
to capture the dependencies that exist between aggregated SaaS and atomic
SaaS applications (i.e. services which do not depend on other services). The
model considers that service systems are represented with existing description
languages, such as Linked USDL, and derives a rich, multi-level relationship
model. Service relationships are very di erent from the temporal and
controlow relations found in business process models. They relate service systems
accounting for various perspectives such as roles, associations, dependencies,
and comparisons.
14 Turtle { Terse RDF Triple Language, see http://www.w3.org/TR/turtle/
4.3
        </p>
      </sec>
      <sec id="sec-4-3">
        <title>Service Network Construction</title>
        <p>An OSSN network is modelled as a time-varying hypergraph SN , such as SN (t) =
fS(t); C(t); R(t)g, where S(t) is the set of services provided and C(t) is the set
of service consumers, with both being modeled with USDL. R(t) is the set of
relationships modeled with OSSR connecting consumers and services provided.</p>
        <p>For example, binary relationships can be depicted as edges in a directed graph
(see section 5). Time is represented by the parameter t, whose granularity is set
to appropriately model the market (e.g., days). Consumers alter the topology of
a service network by di usion when they adopt or abandon a service by adding
or deleting an OSSR relationship to it.</p>
        <p>
          To construct a service network SN , USDL and OSSR models are remotely
accessed and retrieved (an overview description of the infrastructure to access
and retrieve USDL and OSSR instances is described in [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]). OSSR models are
mapped to relationship R(t).
5
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Service Network Analysis</title>
      <p>
        A wide spectrum of techniques and algorithms can be developed to study OSSNs.
For example, reasoning techniques can be developed to explore the notion of
relationships as bonds. By discovering strong cliques, we can hypothesize that
the stronger the relationships, the stronger the uni cation and the greater the
commonality of fates. As a result, it would be possible to infer that a tightly
coupled service network will sink or swim together. Other fundamental
algorithms which are valuable to implement come from the eld of network science.
For example, algorithms to detect if an OSSN is a scale-free networks [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. This
property strongly correlates with the robustness of a network to failures. This
can prove to be important in nancial markets. As another example, the
preferential attachment [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ] can be explored to forecast the structural evolution of
service networks.
      </p>
      <p>We present four methods under the umbrella of SNA: 1) OSSN optimization,
2) evolutionary analysis of OSSN, and 3) cooperative analysis of OSSN, and 4)
value analysis. Fig. 2 conceptualizes and contextualizes these methods with
service networks. Optimization deals with constructing networks by selecting the
best services, with regard to some criteria, from some set of available
alternatives. Evolutionary and cooperative analysis deals with the study of networks'
structures as a function of time. In other words, how do networks expend, adapt,
or collapse overtime based on internal and external factors. Finally, service value
network analysis deals with the establishment of rules and regulations which
ensure that the construction of networks in society follows a fair and unbiased
processes.</p>
      <p>These four methods enable to study di erent aspects of a service network
and, therefore, they do not compete between them. They provide di erent views
on a network. For example, optimization (the rst method described in the next
section) can be used to selected the most desirable combination of services to
achieved an initial goal. On the other hand, cooperative analysis studies how the
behaviour of customers (e.g. a new service subscription or a change of the service
provider) and the characteristics of the service o ered (e.g. its price) in uence
the ows of material and/or immaterial resources (e.g. raw materials) inside a
service network.
SN = (N; E; ln; le), is a node and edge labeled directed graph (initially we are
modeling acyclic graphs) where
edge labeled directed graph (initially we are modeling acyclic graphs) where
The nodes N are either services S or consumers C. The consumer nodes are sinks
(no outgoing edges). Certain services are atomic (i.e., not formed as compositions
of simpler services). In our initial modeling we consider them to be sources (i.e.,
no incoming edges). There will be edges from services to other services as well
as consumers.</p>
      <p>The node labels indicate the semantics of services or the demands of
customers. The edge labels are abstract representations of type. A service, in
general, takes one or more input types (colors) and produces one or more output
types (colors). Initially, type matching is simple, but we plan to generalize it
to model subsumption hierarchies. The color of an edge will be set to the most
general of the two matching colors (i.e. the more general type). If there is no
match, there will be no edge. Below, an algorithm will be outlined for maximal
service network construction. This network will then be trimmed with its ow
quanti ed by using mathematical optimization techniques.</p>
      <p>The optimal construction of a service network is divided into two phases:
maximal color-compliant service network construction and cost minimization.
The algorithm for phase I builds a service network from three sets of nodes,
atomic services (sources), composite services (intermediate nodes), and
consumers (sinks). Starting with the sources, all intermediate and consumer nodes
are connected by edges that are color compliant, e.g., if an intermediate node
needs a blue input and green input and there exist sources producing/outputting
these colors, then this intermediate node is added to the graph. This process
continues through k stages, a parameter indicating the maximum number of stages
(i.e., distance from source to sink) desired.</p>
      <p>Once the graph has been created, it can be reduced to an optimal form
using Linear Programming. Such problems require an objective function in terms
of decision variables, and constraints on the values of those decision variables.
Our objective function is the cost of the network, and our decision variables
represent the ow of material through the network and the amount of production
at intermediate nodes. Flow is determined by the edges and intermediate nodes,
so each of these will have a decision variable. The ow is constrained by the
supply, production, or demand capacity of the nodes in the network, and by
the required number of inputs for each non-source node. Once the constraints
are gathered, a Linear Programming algorithm such as the Simplex algorithm,
can be used to nd the optimal values for the decision variables. These values
determine the optimal amount of ow through the network and the value of the
objective function estimates the minimum cost.
5.2</p>
      <sec id="sec-5-1">
        <title>Evolutionary Analysis of OSSN</title>
        <p>In our second example, let us assume that each service system contains a value
proposition communicated to customers (i.e, the attractiveness elements or
preferential attachment). Service value is judged from the perspective of consumers
as they compare services among the alternatives. For simplicity reasons, we
assume that the value proposition is similar for all service systems and it is the
price of the services calculated from a usdl-price:PricePlan15. This concept
if part of the Linked USDL family.</p>
        <p>Since our objective is to forecast the evolution of a service network over time,
we use the following function to calculate the Market Share of each service
provided M S(si) = degree(si)=m; where degree(si) is the number of relationships
established by service si with service consumers and m is the total number of
relationships established between providers and consumers. Overtime, customers
change preferences by changing from one service system to another service
system provider.</p>
        <p>100%
75%
50%
25%</p>
        <p>Market share</p>
        <p>Forecast
100%
75%
50%
25%</p>
        <p>Market share
4</p>
        <p>5</p>
        <p>Time (t)</p>
        <p>
          Let us assume that the (re)constructed SN topology shows that overtime
the market share is the one represented in Fig. 3 at t = 3. One question to be
answered is: "what will happen to the market in the future if the conditions are
not changed?" (i.e. the value propositions of si remain the same and m ci).
According to Bass model [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ], the leading service system will reach a xedpoint
market share according to the following formula (a and b are constants):
1 e bt
M S(si; t) = 1 + ae bt ; 0
t
9
(1)
15 For simplicity reasons, we consider that each service has only one pricing plan.
+
Si KPI =
# services
+
+
Sj KPI =
# services
        </p>
        <p>+
Total Services
+ Si KPI = Net gains</p>
        <p>Sk KPI =</p>
        <p>Resource Limit
+
+</p>
        <sec id="sec-5-1-1">
          <title>Service system Si</title>
          <p>+
+
KPI Gain per
Individual
Service
+
Si
+ Sj KPI = Net gains
a)</p>
        </sec>
        <sec id="sec-5-1-2">
          <title>Service system Sj</title>
          <p>Service
system Sk</p>
          <p>Time
b)</p>
          <p>Fig. 3 illustrates that from the four services provided, three also rise in market
share during the early stages, reach a peak, and then decline as the service leader
accelerates because of the increasing returns e ect of preferential attachment. In
this case, all but one service provided leaves the market, leaving one monopoly
competitor. The SNA eld can, therefore, develop mathematical models which
can help to forecast the evolution of service network overtime.
5.3</p>
        </sec>
      </sec>
      <sec id="sec-5-2">
        <title>Cooperative Analysis of OSSN</title>
        <p>In our third example, we explored the suitability of OSSNs to model system
dynamics. Instead of looking at causes and their e ects in isolation, we analyze
service networks as systems made up of interacting parts. Once an OSSN is
created from distributed service models, cause-e ect or network e ect diagrams
can be derived for the network. For example, Fig. 4 shows service systems Si,
Sj , Sk, and directed edges illustrating internal and external relationships.</p>
        <p>Causal relationships connect Key Performance Indicators (KPI) from
different services' and within services. The pattern represented by this OSSN is
commonly known as the 'Tragedy of the Commons' archetype. It hypothesizes
that if the two services Si and Sj overuse the common/shared service Sk, it will
become overloaded or depleted and all the providers will experience diminishing
bene ts. Service Si and Sj provide services to costumers. To increase net gains,
both providers increase the availability of service instances. As the number of
instances increases, the margin decreases and there is the need to increase even
more the number of instances available. As the number of instances increases,
the stress on the availability of service Sk is so strong that the service collapses
or cannot respond anymore as needed. At that point, service Si and Sj can no
longer fully operate and the net gain is dramatically reduced for all the parties
involved as shown in Fig. 4.b).
5.4</p>
      </sec>
      <sec id="sec-5-3">
        <title>Service Value Networks</title>
        <p>
          While the previous three sections considered structural aspects, such as the
analysis, optimization and evolution of the network, the described methods do not
take into account the participants' behavior in a service network. For example,
depending on the market mechanism implemented in the service marketplace,
providers might have an incentive to report their service characteristics (such
as price, non-functional attributes, etc.) untruthfully to the system in order to
increase their chance of being allocated. Hence, the market mechanism used in
the marketplace has to be able to handle such behavior and still yield an e
cient market outcome. This is the focus of the economic concept of Service Value
Networks (SVNs, see [
          <xref ref-type="bibr" rid="ref13 ref14 ref3">3,14,13</xref>
          ]). SVN are de ned as \Smart Business Networks
that provide business value by performing automated on-demand composition
of complex services from a steady but open pool of complementary as well as
substitutive standardized service modules through a universally accessible
network orchestration platform" [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]. The setup is very similar to Fig. 1. The main
constituents of SVNs are service providers which o er atomic or complex
services, service aggregators that perform the (automatic) composition of (atomic)
services to complex service compositions, and service consumers. The services
are described by a number of attributes such as availability, throughput, latency,
and price. Consumers request either atomic services or aggregated services with
certain functionalities, and have preferences over the service attributes (e.g. an
acceptable price range, availability thresholds, etc.).
        </p>
        <p>
          The abstract model and topology of service aggregation in SVNs is shown
in Fig. 5. Given that the consumer requests an aggregated service consisting
of two service functionalities, we have two candidate pools of atomic services
from di erent service providers. From a Mechanism Design perspective, which
is the focus of most current work on SVNs, the question is how we can select a
combination of these atomic services out of the candidate pools that best satis es
the consumer requirements (in Fig. 5, there are 3 2 = 6 di erent combinations
for the requested aggregated service). In SVNs, this is implemented through a
\complex service auction" [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. The main goal of this mechanism is to maximize
the welfare of the SVN, which is the sum of consumer and provider utilities. The
provider utility depends on the costs of service provisioning and the revenue for
the service. The consumer utility is calculated as the di erence of the consumer's
monetary valuation of the aggregated service and its price. Based on desired
minimum and maximum values for the service attributes, each customer has
a certain valuation (maximum willingness to pay) for a perfect service, i.e. a
service that completely ful lls (or exceeds) the requirements. This valuation is
then multiplied by the score (2 [0; 1]) for the actual aggregated service, which
depends on how close the aggregated service attributes are to the consumers
requirements.
        </p>
        <p>The mechanism implements two steps. In the rst step, the calculation of
the allocation, the mechanism computes the di erent potential combinations of
atomic services to the desired aggregated service (the aggregation operation of
service attributes depends on the attribute type, e.g. the price for the aggregated
service is the sum of prices for the atomic services). The mechanism selects the
aggregated service with the highest (positive) di erence between consumer
valuation minus the costs of the atomic services. In the next step, the calculation
of the payments, the mechanism implements a Vickrey-Clarke-Groves (VCG)
payment scheme to determine the actual payments to the providers of the
allocated atomic services. In contrast to other payment schemes, the VCG scheme
is desirable as service providers have the incentive to report the attributes and
prices of their services truthfully to the marketplace, without the incentive to
manipulate. This property is achieved by rewarding service providers according
to their relative importance (added value) to the SVN, which means they can
receive an additional discount on their service provisioning price.</p>
        <p>
          This mechanism, with the described allocation and payment calculations, has
certain desirable properties. For example, it is known to be allocative e cient,
i.e. it selects the best combination of atomic services given the consumer
preferences. Further, as mentioned earlier it is also strategy-proof, which means that
the dominant strategy for service providers is to submit their service attributes
truthfully to the marketplace, as other strategies will not yield better outcomes
for the providers. However, the Impossibility Result by [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ] shows that such a
mechanism is not budget-balanced, which means that in certain circumstances
the discounts to the providers together with the price for the allocated atomic
services exceeds consumer payments. In other words, in such case the market
would have to be (externally) subsidized which might not be practical for many
scenarios. On the other hand, implementing other payment schemes to achieve
budget-balance yield a loss of the strategy-proofness, i.e. service providers might
gain by misrepresenting their service attributes to the SVN which can lead to
complex strategic behavior.
        </p>
        <p>
          For the study of SVNs, Service Network Analysis has been applied in various
research questions. Considering the dynamic behavior of the SVN, we can look at
the incentives the providers have to join the network. As a competitive and vital
SVN has to provide many (functionally) di erent services to accommodate for
diverse consumer requirements, Conte et al. [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] propose a scheme that rewards
service providers to participate in SVNs (even if their services are not selected).
The value of each service provider is calculated through a metric that is a proxy
for the relative power of the provider in the network. Once service providers
are participating in the SVN, their goal is to be allocated and receive revenues
from their allocated services. As unsuccessful providers might leave the network,
an important question is how the providers can select or adjust their service
attributes such that they better t the customer requirements. Haas et al. [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ]
show that through appropriate learning strategies, the providers are able to
adjust to (potentially time-dependent) consumer requirements, and are even able
to tacitly collude by dividing existing market segments among the providers.
        </p>
        <p>While current work on SVNs has mainly focused on economic topics, the
augmentation of the SVN concept with semantic capabilities to an OSSN along
with the use of Social Network Analysis promise to be fruitful. Such an
amalgamation would enable a better description and usability of SVNs as well as an
improved understanding of their dynamic behavior.
6</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Related work</title>
      <p>
        In most work done so far, existing approaches fail to adhere to service-dominant
logic [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ] and focus too much inward the company instead of the service network
they belong to (c.f. [
        <xref ref-type="bibr" rid="ref1 ref10 ref11 ref12 ref17">12,1,10,11,17</xref>
        ]). Service networks are not viewed as global
structures. Furthermore, the e orts to analyze networks was carried out as
isolated activities from the Business Process Management (BPM) eld (e.g. [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ])
or from the economical side (e.g. [
        <xref ref-type="bibr" rid="ref11 ref17">11,17</xref>
        ]), among others.
      </p>
      <p>
        For example, e3service [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ] provides an ontology to model e-business models
and services. The model targets to represent very simple relations between
services from an internal perspective, e.g. core-enhancing, core-supporting, and
substitute. From an external perspective, the value chains proposed do not capture
explicitly service networks across agents and do not try to analyze quantitatively
the e ect of relationships.
      </p>
      <p>
        In [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], the authors look at service networks from a BPM and Service
Oriented Architecture (SOA) perspectives and present the Service Network
Notation (SNN). SNN provides UML artifacts to model value chain relationships of
economic value. These relationships take the form of what we can call 'weak'
relationships since they only capture o erings and rewards which occur
between services. The notation is to be used to describe how a new service can
be composed from a network of existing services. The focus is on compositions,
processes, and on establishing how new services can be created using BPM to
describe the interactions of existing SOA-based services.
      </p>
      <p>
        Allee [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] uses a graph-based notation to model value ows inside a network of
agents such as the exchange of goods, services, revenue, knowledge, and
intangible values. In the same lines, Weill and Vitale [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] have developed a formalism,
called the e-business model schematic, to analyze businesses. The schematic is
a graphical representation aiming at identifying a business model's important
elements. This includes the rm relationships with its suppliers and allies,
bene ts each participant receives, and the major ows of product, information, and
money. Both approaches only take into account value ows and do not consider
other types of relationships that can be established between agents.
      </p>
      <p>
        From a business perspective, there is an apparent trend for companies (e.g.
service providers) to specialize by focusing on core competencies and becoming
a member of adaptable networks [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. As the transition to such networks of
specialized service providers leads to challenges and new requirements for business
models and service components, the eld of service networks has been identi ed
as important research priority [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ].
      </p>
      <p>
        Nonetheless, a challenge yet to be solved involves modeling and optimizing
the functions of service-centric organizations from technological, business and
legal points of view, extending work on optimizing Web process [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ].
Semantic Web technologies of today will need to be extended to provide or at least
support large-scale modeling, analytics, and optimization. In this regard, new
approaches are need to express and quantify the impact that one service has
on other services, as well as to understand the collective behavior and
performance/pro tability characteristics of service networks.
7
      </p>
    </sec>
    <sec id="sec-7">
      <title>Conclusions</title>
      <p>We envision a world that is well connected via global OSSNs. Semantics will
have a major role in creating a large-scale and integrated service network.
Organizations, groups and individuals will have tools and platforms to advertise
their know-how, capabilities and skills in the form of services to the world. A
huge number of detailed rm-generated (or even user-generated) services will be
available worldwide. Some services will be shared, composed, co-created,
personalized, others are crowdsourced.</p>
      <p>As service networks emerge, their study will enable to understand how a
service-based society grows and changes overtime. Service network analysis (SNA)
can provide theories, mathematical models, algorithms, techniques, and tools to
achieve this goal. This paper presented four applications of SNA: optimization,
evolution, network e ect, and service value. Optimization targets to construct
networks of services which minimize the overall cost. Network evolution relies on
time to study and forecast how a network structure will evolve overtime.
Network e ect explores the impact of changing the characteristics of one or more
service nodes in the other services and in the network itself. Finally, service
value network enable to analyze the in uence providers' strategies in the
network. These four methods provide the rst building blocks to demonstrate the
practical application of SNA to better understand how service networks function
in a global, interconnected service-based societies.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Verna</given-names>
            <surname>Allee</surname>
          </string-name>
          .
          <article-title>Recon guring the value network</article-title>
          .
          <source>Journal of Business Strategy</source>
          ,
          <volume>21</volume>
          (
          <issue>4</issue>
          ):1{
          <issue>6</issue>
          ,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Frank</given-names>
            <surname>Bass</surname>
          </string-name>
          .
          <article-title>A new product growth model for consumer durables</article-title>
          .
          <source>Management Science</source>
          ,
          <volume>15</volume>
          :
          <fpage>215</fpage>
          {
          <fpage>227</fpage>
          ,
          <year>1969</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Benjamin</given-names>
            <surname>Blau</surname>
          </string-name>
          , Clemens van Dinther,
          <string-name>
            <surname>Tobias Conte</surname>
            , Yongchun Xu,
            <given-names>and Christof</given-names>
          </string-name>
          <string-name>
            <surname>Weinhardt</surname>
          </string-name>
          .
          <article-title>How to Coordinate Value Generation in Service Networks{A Mechanism Design Approach</article-title>
          .
          <source>Business and Information Systems Engineering (BISE)</source>
          ,
          <volume>1</volume>
          (
          <issue>5</issue>
          ):
          <volume>343</volume>
          {
          <fpage>356</fpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Jorge</given-names>
            <surname>Cardoso</surname>
          </string-name>
          .
          <article-title>Modeling service relationships for service networks</article-title>
          . In J.F. e
          <string-name>
            <surname>Cunha</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Snene</surname>
          </string-name>
          , and H. Novoa, editors,
          <source>4th International Conference on Exploring Service Science (IESS 1.3)</source>
          , pages
          <fpage>114</fpage>
          {
          <fpage>128</fpage>
          ,
          <string-name>
            <surname>Porto</surname>
          </string-name>
          , Portugal,
          <year>February 2013</year>
          . Springer, LNBIP.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Jorge</given-names>
            <surname>Cardoso</surname>
          </string-name>
          , Alistair Barros, Norman May, and
          <string-name>
            <given-names>Uwe</given-names>
            <surname>Kylau</surname>
          </string-name>
          .
          <article-title>Towards a uni ed service description language for the Internet of Services: Requirements and rst developments</article-title>
          .
          <source>In IEEE International Conference on Services Computing</source>
          , Florida, USA,
          <year>2010</year>
          . IEEE Computer Society Press.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>Jorge</given-names>
            <surname>Cardoso</surname>
          </string-name>
          , Carlos Pedrinaci, and Pieter De Leenheer.
          <article-title>Open semantic service networks: modeling and analysis</article-title>
          .
          <source>In 3rd International Conference on Exploring Services Sciences, Porto</source>
          , Portugal,
          <year>2013</year>
          . LNBIP.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Jorge</given-names>
            <surname>Cardoso</surname>
          </string-name>
          , Carlos Pedrinaci, Torsten Leidig, Paulo Rupino, and Pieter De Leenheer.
          <article-title>Open semantic service networks</article-title>
          .
          <source>In The International Symposium on Services Science (ISSS</source>
          <year>2012</year>
          ), pages
          <fpage>1</fpage>
          {
          <fpage>15</fpage>
          , Leipzig, Germany,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>Jorge</given-names>
            <surname>Cardoso</surname>
          </string-name>
          , Matthias Winkler, and
          <string-name>
            <given-names>Konrad</given-names>
            <surname>Voigt</surname>
          </string-name>
          .
          <article-title>A service description language for the internet of services</article-title>
          .
          <source>In First International Symposium on Services Science (ISSS'09)</source>
          , Leipzig, Germany,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>Tobias</given-names>
            <surname>Conte</surname>
          </string-name>
          , Benjamin Blau, Gerhard Satzger, Clemens van Dinther,
          <string-name>
            <given-names>and Christof</given-names>
            <surname>Weinhardt</surname>
          </string-name>
          .
          <article-title>Rewarding Participation in Service Value Networks - An Approach to Incentivize the Joint Provisioning of Complex</article-title>
          <string-name>
            <surname>E-Services.</surname>
          </string-name>
          e-
          <source>Service Journal</source>
          ,
          <volume>7</volume>
          (
          <issue>2</issue>
          ):2{
          <fpage>27</fpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Olha</surname>
            <given-names>Danylevych</given-names>
          </string-name>
          , Dimka Karastoyanova, and
          <string-name>
            <given-names>Frank</given-names>
            <surname>Leymann</surname>
          </string-name>
          .
          <article-title>Service networks modelling: An SOA &amp; BPM standpoint</article-title>
          .
          <source>Journal of Universal Computer Science</source>
          ,
          <volume>16</volume>
          (
          <issue>13</issue>
          ):
          <volume>1668</volume>
          {1693, jul
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>Daniel</given-names>
            <surname>Franklin</surname>
          </string-name>
          .
          <article-title>Business 2010 - embracing the challenge of change</article-title>
          .
          <source>Technical report</source>
          ,
          <year>2005</year>
          . The Economist Intelligence Unit.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Jaap</surname>
            <given-names>Gordijn</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>Eric</given-names>
            <surname>Yu</surname>
          </string-name>
          , and Bas van der Raadt.
          <article-title>e-service design using i* and e3value modeling</article-title>
          .
          <source>IEEE Software</source>
          ,
          <volume>23</volume>
          :
          <fpage>26</fpage>
          {
          <fpage>33</fpage>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Christian</surname>
            <given-names>Haas</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Steven O. Kimbrough</surname>
          </string-name>
          , and Clemens van Dinther.
          <article-title>Strategic learning by e-service suppliers in service value networks</article-title>
          .
          <source>Journal of Service Research</source>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14. Jan Kramer, Tobias Conte, Benjamin Blau, Clemens van Dinther,
          <string-name>
            <given-names>and Christof</given-names>
            <surname>Weinhardt</surname>
          </string-name>
          .
          <article-title>Service Value Networks: Unleashing the Combinatorial Power of Service Mashups</article-title>
          .
          <source>Working Paper Series on Social Science Research Network</source>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Alan</surname>
            <given-names>Mislove</given-names>
          </string-name>
          , Massimiliano Marcon,
          <string-name>
            <given-names>Krishna P.</given-names>
            <surname>Gummadi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Peter</given-names>
            <surname>Druschel</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Bobby</given-names>
            <surname>Bhattacharjee</surname>
          </string-name>
          .
          <article-title>Measurement and analysis of online social networks</article-title>
          .
          <source>In Proceedings of the 7th ACM SIGCOMM Conference on Internet measurement</source>
          , pages
          <volume>29</volume>
          {
          <fpage>42</fpage>
          , New York, NY, USA,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Roger B Myerson and Mark A Satterthwaite</surname>
          </string-name>
          .
          <article-title>E cient mechanisms for bilateral trading</article-title>
          .
          <source>Journal of Economic Theory</source>
          ,
          <volume>29</volume>
          (
          <issue>2</issue>
          ):
          <volume>265</volume>
          {
          <fpage>281</fpage>
          ,
          <year>1983</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>A.L. Ostrom</surname>
            ,
            <given-names>M.J.</given-names>
          </string-name>
          <string-name>
            <surname>Bitner</surname>
            ,
            <given-names>S.W.</given-names>
          </string-name>
          <string-name>
            <surname>Brown</surname>
            ,
            <given-names>K.A.</given-names>
          </string-name>
          <string-name>
            <surname>Burkhard</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Goul</surname>
            , V. SmithDaniels, H. Demirkan, and
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Rabinovich</surname>
          </string-name>
          .
          <article-title>Moving forward and making a difference: research priorities for the science of service</article-title>
          .
          <source>Journal of Service Research</source>
          ,
          <volume>13</volume>
          (
          <issue>1</issue>
          ):4{
          <fpage>36</fpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Stephen L Vargo and Robert F Lusch</surname>
          </string-name>
          .
          <article-title>Evolving to a new marketing dominant logic for marketing</article-title>
          .
          <source>Journal of Marketing</source>
          ,
          <volume>68</volume>
          (
          <issue>1</issue>
          ):1{
          <fpage>17</fpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Kunal</surname>
            <given-names>Verma</given-names>
          </string-name>
          , Prashant Doshi, Karthik Gomadam, John A Miller, and Amit P Sheth.
          <article-title>Optimal adaptation in web processes with coordination constraints</article-title>
          .
          <source>In Proceedings of the 4th IEEE International Conference on Web Services, ICWS '06</source>
          , pages
          <fpage>257</fpage>
          {
          <fpage>264</fpage>
          . IEEE,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20. Xiao Fan Wang and
          <string-name>
            <given-names>Guanrong</given-names>
            <surname>Chen</surname>
          </string-name>
          .
          <article-title>Complex networks: small-world, scale-free and beyond</article-title>
          .
          <source>Circuits and Systems Magazine, IEEE</source>
          ,
          <volume>3</volume>
          (
          <issue>1</issue>
          ):6{
          <fpage>20</fpage>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <given-names>P.</given-names>
            <surname>Weill</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.R.</given-names>
            <surname>Vitale</surname>
          </string-name>
          .
          <article-title>Place to space: migrating to ebusiness models</article-title>
          .
          <source>Harvard</source>
          Business School Press,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <given-names>Udny</given-names>
            <surname>Yule</surname>
          </string-name>
          .
          <article-title>A mathematical theory of evolution based on the conclusions of Dr</article-title>
          . J.
          <string-name>
            <surname>C.</surname>
          </string-name>
          <article-title>Willis</article-title>
          .
          <source>Phil. Trans. Roy. Soc. Lond.</source>
          ,
          <volume>213</volume>
          (
          <issue>2</issue>
          ):
          <volume>21</volume>
          {
          <fpage>87</fpage>
          ,
          <year>1925</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>