A strategy for service realization in service-oriented design

Abstract

Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the dependability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe services precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore applicable to large scale software design in general.Service-oriented computing (SOC) is the computing paradigm that utilizes services as basic elements for developing applications/solutions. To build the service model, SOC relies on the service-oriented architecture (SOA), which is a way of reorganizing software applications and infrastructure into a set of interacting services. Services are self-describing, platform-agnostic and computational elements which support rapid, low-cost composition of distributed applications [1] . Services perform functions, which can be anything from simple requests to complicated computations. Services allow organizations to expose their core competencies programmatically over the Internet (or intra-net) using standard (XML-based) languages and protocols, and to be implemented via an interface based on open standards. The system as a whole is designed and implemented as a set of interactions among these services. Exposing functionality as services is the key to flexibility. This allows a service to use other services in a natural way regardless of their implementation and physical locations. A system evolves through the

Study of Network-Centric Maintenance Intelligent Decision Technology Based SOA

“…In a network-centric maintenance, there is large demand for repair services and has greater randomness, need to request to achieve maintenance resource scheduling. Considering two maintenance services on the basis of demand uncertainty, giving the formal description of maintenance resource optimization scheduling problem, constructing a dynamic programming mode for the service request [8], and with the stochastic dynamic programming principle and dynamic programming algorithm based on the model predictions, establish the objective function of the decision-making process and realizing maintenance resources scheduling.…”

A Lightweight Middleware for Developing P2P Applications with Component and Service-Based Principles

“…As presented in [14], service-oriented component approach help developers to build SOC applications by separating nonfunctional requirements from business logic. To implement such applications, one must take into account standards, code distribution, deployment of components and reuse of business logic.…”

Technical framework for Internetware: An architecture centric approach

“…As a result, on the basis of OO model, we propose an agent based, software architecture centric software model, as shown in Figure 1 (technical details can be found in refs. [3][4][5][6][7][8][9]). …”