Service Oriented Computing and Applications

Publisher: Springer Verlag

Current impact factor: 0.00

Impact Factor Rankings

Additional details

5-year impact 0.00
Cited half-life 0.00
Immediacy index 0.00
Eigenfactor 0.00
Article influence 0.00
Other titles SpringerLink
ISSN 1863-2386
OCLC 314016720
Material type Document, Periodical
Document type Journal / Magazine / Newspaper, Computer File

Publisher details

Springer Verlag

  • Pre-print
    • Author can archive a pre-print version
  • Post-print
    • Author can archive a post-print version
  • Conditions
    • Author's pre-print on pre-print servers such as
    • Author's post-print on author's personal website immediately
    • Author's post-print on any open access repository after 12 months after publication
    • Publisher's version/PDF cannot be used
    • Published source must be acknowledged
    • Must link to publisher version
    • Set phrase to accompany link to published version (see policy)
    • Articles in some journals can be made Open Access on payment of additional charge
  • Classification

Publications in this journal

  • Service Oriented Computing and Applications 11/2015; DOI:10.1007/s11761-015-0185-y

  • Service Oriented Computing and Applications 10/2015; DOI:10.1007/s11761-015-0186-x

  • Service Oriented Computing and Applications 09/2015; DOI:10.1007/s11761-015-0182-1
  • [Show abstract] [Hide abstract]
    ABSTRACT: Coordination languages, such as Reo, have emerged for the specification and implementation of interaction protocols among concurrent entities, manifested as connectors. In this paper, we describe a theoretical justification and a practical proof-of-concept tool for automatically generating partially distributed, partially centralized implementations of Reo connectors. Such implementations have three performance advantages: faster compilation at build time (compared to a purely centralized approach), reduced latency at run time (compared to a purely distributed approach), and improved parallelism at run time (compared to a purely centralized approach). Our theory relies on the definition of a new product operator on constraint automata (Reo’s formal semantics), which we use to formally justify distributions of disjoint parts of a coordination scheme over different machines according to several possible motivations (e.g., performance, QoS constraints, privacy, resource availability, and network topology). To exemplify our work, in a case study, we show and explain how a generated connector implementation can be executed.
    Service Oriented Computing and Applications 09/2015; 9(3-4). DOI:10.1007/s11761-015-0177-y
  • [Show abstract] [Hide abstract]
    ABSTRACT: Trust and reputation models are used as mechanisms for selecting services. One of the benefits of service-oriented architecture is enabling the composition of services and composing value-added services, which are called composite services. A challenging problem of trust management in composite services is how to propagate the consumers’ perceptions of composite services to their component services. Due to the opaque nature of service composition, the consumer does not know the underlying components of a composite service. Therefore, a consumer can only provide a single feedback rating for the composite service. In this paper, we propose a fair approach for propagating the user’s rating to component services by considering both the past behavior trend of each component service and the internal ratings among component services. The proposed approach is capable of propagating trust in both horizontal and vertical composition, without the need of monitoring component services.
    Service Oriented Computing and Applications 06/2015; 9(2). DOI:10.1007/s11761-014-0158-6
  • [Show abstract] [Hide abstract]
    ABSTRACT: In the protocol-based Web service composition, the runtime unavailability of component services may result in a failed execution of the composite. In literature, multiple recovery heuristics have been proposed. This work provides a formal study and focuses on the complexity issues of the recovery problem in the protocol-based Web service composition. A recovery is a process responsible of migrating the failed execution into an alternative execution of the composite that still has the ability to reach a final state. The alternative execution is called a recovery execution. Following failure occurrence, several recovery executions may be available. The problem of finding the best recovery execution(s) is called the recovery problem. Several criteria may be used to determine the best recovery execution(s). In this work, we define the best recovery execution as the one which is attainable from the failed execution with a maximal number of invisible compensations with respect to the client. We assume that all transitions are compensatable. For a given recovery execution, we prove that the decision problem associated with computing the number of invisibly compensated transitions is NP-complete, and thus, we conclude that deciding of the best recovery execution is in \(\Sigma _2^P\) .
    Service Oriented Computing and Applications 02/2015; DOI:10.1007/s11761-015-0176-z
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Many parallel and distributed message-passing programs are written in a parametric way over available resources, in particular the number of nodes and their topologies, so that a single parallel program can scale over different environments. This article presents a parameterised protocol description language, Pabble, which can guarantee safety and progress in a large class of practical, complex parameterised message-passing programs through static checking. Pabble can describe an overall interaction topology, using a concise and expressive notation, designed for a variable number of participants arranged in multiple dimensions. These parameterised protocols in turn automatically generate local protocols for type checking parameterised MPI programs for communication safety and deadlock freedom. In spite of undecidability of endpoint projection and type checking in the underlying parameterised session type theory, our method guarantees the termination of end point projection and type checking.
    Service Oriented Computing and Applications 12/2014; DOI:10.1007/s11761-014-0172-8
  • [Show abstract] [Hide abstract]
    ABSTRACT: A dedicated creditworthiness service is required for e-commerce trades to be conducted as with credit in traditional trades. Compared with traditional trades, e-commerce trading provides users with rich information and comments on the products and vendors, albeit sometimes bedevilled with false and fallacious information. Based on this observation, the dedicated e-commerce creditworthiness model is supposed to incorporate online comments while overcoming the effects of such fallacious information. The objective is to provide e-commerce participants with authentic, reliable descriptions of the vendors and their products. The authors have proposed a dedicated creditworthiness model and cloud service for e-commerce. The basic principle of the creditworthiness service is to register the basic description of products and vendors for authenticity, collect online and professional comments for reliability, and calculate the certified credentials or certificates for ability or quality. This article provides a technical framework for e-commerce creditworthiness. The creditworthiness models, algorithms, and tools are discussed. A prototype of this creditworthiness cloud service has been developed and applied to several sectors of e-commerce as pilot projects.
    Service Oriented Computing and Applications 09/2014; 8(3):191-198. DOI:10.1007/s11761-014-0157-7

  • Service Oriented Computing and Applications 08/2014; DOI:10.1007/s11761-014-0163-9
  • [Show abstract] [Hide abstract]
    ABSTRACT: In recent years, Service Oriented Architecture (SOA) technologies are emerging as a powerful vehicle for organizations that need to integrate their applications within and across organizational boundaries. In addition, organizations need to make better decisions more quickly. Moreover, they need to change those decisions immediately to adapt to this increasingly dynamic business environment. It is primarily a question in ensuring the decisional aspect by adopting the SOA as a support architecture. In this paper, we describe a new approach called SOA\(^\mathrm{+d}\) based on a certain number of standards. It is going to be studied on three dimensions: The first is related to the definition of the information system implied in the SOA based on the use case model. The second develops the business dimension which is based on the BPMN (Business Process Modeling Notation). The last dimension addresses the need of decision; we use the new standard decision model and notation (DMN) which is recently approved by Object Management Group (OMG) and considered as a simple notation to specify the decision. Finally, Service Oriented Architecture Modeling Language (SoaML) will be used for design of several services. We also present our meta-model Decisional Model of Service (DMS) to define a new set of concepts necessary for modeling the three levels. Some of them are already known, whereas others are new and are proposed as an element of this work. we illustrate our proposal with a real case study in the Pharmacy Inventory Management.
    Service Oriented Computing and Applications 08/2014; DOI:10.1007/s11761-014-0162-x
  • [Show abstract] [Hide abstract]
    ABSTRACT: Service-Oriented Architecture has been widely applied in enterprise computing systems for software-enabled services. However, cost efficiency and scalability requirements have moved the execution environment towards the cloud domain. Hybrid approaches have emerged, which utilise both enterprise and cloud domains in order to balance between the cost of service execution and the provided Quality of Service (QoS) for end users. This paper presents a migration, monitoring and load-balancing mechanism and architecture for scaling services between the enterprise and cloud domains during traffic peaks. The argued benefit of the proposal is the automation of the service-migration process and improvement of the QoS. A prototype system is presented as a proof of the conceptual architecture. The performance results in a hybrid cloud environment indicate that service implementation can be migrated and load can be balanced within 200 ms. Furthermore, the mechanism can improve the QoS for end users during traffic peaks. Our approach differs from existing proposals by focusing on the migration of service implementation, instead of the migration of service as part of a virtual machine.
    Service Oriented Computing and Applications 06/2014; 9(2). DOI:10.1007/s11761-014-0160-z
  • [Show abstract] [Hide abstract]
    ABSTRACT: WS-Agreement is a language and protocol designed for creating service-level agreements (SLAs) based on initial offers, and for monitoring those offers at runtime. The definition of WS-Agreement protocol is very general and does not contemplate the possibility of changing an agreement at runtime. This paper presents extensions of the WS-Agreement specification to support the dynamic nature of SLAs by allowing the possibility of SLA renegotiation at runtime. The extended WS-Agreement specification has been implemented and tested. Within this implementation, the concept of renegotiation is demonstrated through the ability to create more than one SLA at runtime. An evaluation is conducted to examine the profits a service provider may gain through renegotiation, as well the savings resulting from rescuing the SLA from violations as a consequence of avoiding paying penalties. The results show that making the SLA terms adaptable and changeable is a viable mechanism that provides flexibility to the service provider and service consumer.
    Service Oriented Computing and Applications 06/2014; 9(2). DOI:10.1007/s11761-014-0159-5
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper introduces novel web service (WS) accessibility assessment techniques through a unified Quality of Services (QoS) context. The goal is to enable future QoS-aware service selection systems to select and provide accessible web services, ones that are properly designed so as to allow their consumption from end-user applications, used from people with disabilities. In this line, a WS accessibility assessment Framework (WSaaF) has been developed, on the basis of WS accessibility guidelines, dealing with accessibility issues that can appear both on the presentation level of content delivered through WSs and on the content level itself. The WSaaF and its guidelines follow the rationale behind W3C WCAG 2.0-based accessibility standardization of web content. It provides the basis toward building future accessible WSs, a task that can be further facilitated by the use of an appropriate Tool (WSaaT), developed with the aim to provide automatic assessment of services, against guidelines of the proposed framework. Then, the WS accessibility attribute is introduced, as a metric that can be used in conjunction to ones typically utilized so far, within QoS-aware service selection systems. As a result, a novel unified QoS framework is proposed, incorporating the notion of accessibility in the service selection process. The proposed unified QoS framework can eventually lead to the provision of services, which are selected from appropriate repositories and better suit the special needs of people with disabilities.
    Service Oriented Computing and Applications 06/2014; 8(2). DOI:10.1007/s11761-013-0135-5
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Quality of Service (QoS) plays as a discriminating factor for selecting appropriate services that meet the given user’s non-functional requirements during service composition. There is a compelling need to select suitable services quickly so that the composition can meet dynamic needs. Recently, local selection approaches for QoS-based selection have been put forward toward reduced time complexity. A methodology for selecting the best available service combination for a given user requirement (workflow) with a new method of decomposing QoS constraints is proposed in this paper. The methodology consists of two phases, namely ‘Constraint Decomposition Phase’ and ‘Service Selection Phase’. In the Constraint Decomposition Phase, a unique method is proposed to decompose the given non-functional (global or workflow level) constraints into local constraints for individual tasks in the workflow. Each individual task with its local constraints forms a subproblem. In the Service Selection phase, each subproblem is resolved by finding the best available service from its respective service class using an iterative searching procedure. A prototype has been implemented, and the low computation time of the proposed method makes it well suited to dynamic composition. The proposed method of decomposing constraints is independent of number of services in a service class, and the method is applicable to any combinational workflow with AND, OR and Loop patterns. Further, a new method for computing response time of OR execution pattern which guarantees successful execution of each path in an OR pattern is a remarkable contribution of this work.
    Service Oriented Computing and Applications 06/2014; 9(2). DOI:10.1007/s11761-014-0154-x