5812455
Knowledge Enhanced IT Service Management
To manage the increasing complexity of IT systems and align IT services with business is the main theme of IT Service Management (ITSM). Current ITSM architecture adopts ITU as the framework to integrate silos of operational management tools and configuration information to build an end-to-end solution based on best practices. However, it lacks of a systematic means to address an important aspect of IT operation, i.e., managing the knowledge separated in various tools and experts' minds. In this paper, a novel knowledge-enhanced architecture is proposed to improve the effectiveness and efficiency of ITSM. The essential contribution of this novel architecture is to involve a Knowledge Management Database (KMDB) which provides assistance for knowledge capture, mining, storage and sharing. The paper will discuss an approach of how to construct such a KMDB with motivating scenarios and detailed description of key components. To validate the approach, a prototype system is developed and evaluated by being applied for problem analysis on a Cisco Voice over IP (VoIP) system. The experiment results show a remarkable improvement in the effectiveness and efficiency for practical IT service management operations.
189947
Evaluating Service Identification with Design Metrics on Business Process Decomposition
One of the key activities to construct a successful Service-Oriented Architecture (SOA) is the identification of services with the right level of abstraction. Most of existing SOA design methodologies advocate identifying services from the top-down decomposition of business processes. However, the identification quality in these methodologies heavily depends on the expertise and experience of individual designers. The ability to quantitatively evaluate service identification is absolutely needed. In this paper, we propose an approach that supports such evaluation by applying the measurement technology to the service-based business process decomposition. A model to capture related architectural elements with their relationships is presented. A set of design metrics are proposed for measuring various features of identified services in the service portfolio, including service granularity, coupling, cohesion, and business entity convergence. To apply the approach, a prototypical measurement tool for service identification is developed. An automotive work order scenario is used as an illustration example to explain our approach and demonstrate its effectiveness.
15246145
A comprehensive semantic-based resource allocation framework for workflow management systems
Resource allocation that targets to assign the appropriate resource to the dynamically generated work item has always been a critical issue in the workflow management system research. However, today's workflow systems almost still depend on the static literal-based matchmaking mechanism to support the resource allocation, which would suffer greatly from the diversity and mutability of resources in current open and dynamic network environment. In this paper, we propose a comprehensive semantic-based resource allocation framework to enhance the matchmaking process. The essential contributions of this framework are: firstly, an OWL ontology is provided to describe available resources based on their semantic information. Secondly, based on the ontology, effective semantic reasoning techniques are used to select the eligible resource candidates. Thirdly, a bidding approach is adopted to further optimize the resource selection according to runtime conditions such as duration, cost and etc., which would typically overcome the inaccurate assignment based on pure static information in previous study.
14513982
An Online Model Checking Tool for Safety and Liveness Bugs
Modern software model checkers are usually used to find safety violations. However, checking liveness properties can offer a more natural and effective way to detect errors, particularly in complex concurrent and distributed e-business systems. Specifying global liveness properties which should always eventually be true proves to be more desirable, but it is hard for existing software model checkers to verify liveness in real codes because doing so requires finding an infinite execution. For solving such a challenge, this paper proposes an online checking tool to verify the safety and liveness properties of complex systems. We adopt the linear temporal logic to describe the semantics of the finite model checking, use binary instrumentation to obtain the distribute states and apply a checking engine to dynamically verify the finite trace linear temporal logic properties. At last, we demonstrate the method in a distributed system using distributed protocol Paxos and achieve good results by experiments.
15004157
A Semantic QoS-Aware Discovery Framework for Web Services
Augmenting web services with explicit semantics forms the foundation of Service Oriented Architectures (SOAs) automation. As more and more Semantic Web Services (SWSs) are deployed, similar SWSs could have quite different quality-of-service (QoS) levels. The QoS-aware discovery becomes an important challenge. While some efforts try to solve it via Constraint Programming (CP), they suffer from the purely syntactic matchmaking method. Furthermore, the construction of constraints and the selection of services are completely dependent on the literal translation from QoS descriptions, which increase obstacles to actually apply CP. In this paper, we propose a semantic QoS-aware framework for SWSs discovery by combining the semantic matchmaking and CP. Initially, a QoS ontology is presented to define QoS data into service descriptions. Then the ontology reasoning is adopted to change previous syntactic matchmaking into a semantic way. Through confirming the compatibility of concepts, complex QoS conditions are solved as constraints and a selection algorithm is proposed to obtain the optimal offer. Finally, the prototype implementation of our framework is discussed and a SWSs discovery case is used to illustrate the comprehensive discovery process.
14899060
Automatic model-based service hosting environment migration
The proper operation of Service-Oriented Architecture (SOA) depends on underlying system services of operating systems, so efficient and effective migration of Service Hosting Environment is critical to cope with intrinsic-changed nature of SOA. However, due to the large amount of configuration items, complicated mapping and complex dependency relationship among system services, migrating into a new Service Hosting Environment satisfying the operation requirement of SOA becomes an error-prone and time-consuming task. The SCM project in IBM develops a novel approach to migrate Service Hosting Environment shaped in Unix-like systems. Firstly, this approach builds a set of configuration models to describe various system services. Then based on models, it presents knowledge based mapping to translate system service configurations between Service Hosting Environments. Finally, it designs a dependency hierarchy deducting algorithm to compute the dependency relationship among system services for migration traceability and error determination. A SCM prototype has performed well on largely reducing time, labor and errors in real migration cases.
10958697
PDPTW Based Taxi Dispatch Modeling for Booking Service
This research involves a study of the existing taxi dispatch system employed by taxi operators in Singapore. Based on the booking surcharges, there are generally two categories of taxi bookings, current and advance. Current bookings are requests that taxi should reach the customer immediately or within half an hour, and advance bookings are requests made at least half an hour in advance. In this paper, a novel trip-chaining strategy for taxi advance booking based on a customized algorithm of Pickup and Delivery Problem with Time Window (PDPTW) was proposed. The idea is to chain several bookings with demand time points which are spread out within a reasonable period of time, and with each pick-up point coinciding with or being within close proximity to the previous drop-off location. Based on the experimental results, the proposed system has the potential to improve the taxi booking service currently operating in Singapore.
16326025
Research on Positioning Technology of Xinjiang Mobile GIS
In this paper, the characteristics of Xinjiang mobile communication network are analyzed, the results show that for a reliable mobile communication network, BS (base station) and base station control BSC (base station controller) monitoring system, cable and fiber optic cable monitoring system and mobile communications troubleshooting and dispatching system should be built. Combined with GIS, GPS, GSM and geographic database technology, positioning technology for different targets and detection on fault point are studied, the results indicate that precise positioning of static target can accurately locate the failure telecom equipment in the electronic map and provide data source for the realization of real-time monitoring and management system for telecom equipment based on GIS & wireless sensor network technology. GSM-based wireless messaging communications and real-time fast positioning of dynamic target is the key to the emergency repair vehicles monitoring and dispatch system. The proposed fault determination and fault point location method can provide fast accurately fault devices location with detailed geography information and prompt the efficiency of fault management and improve the reliability of telecom network services. The above research results are important basis on the design and implementation of the system.
16399618
Fast filter-and-refine algorithms for subsequence selection
Large sequence databases, such as protein, DNA and gene sequences in biology, are becoming increasingly common. An important operation on a sequence database is approximate subsequence matching, where all subsequences that are within some distance from a given query string are retrieved. This paper proposes a filter-and-refine algorithm that enables efficient approximate subsequence matching in large DNA sequence databases. It employs a bitmap indexing structure to condense and encode each data sequence into a shorter index sequence. During query processing, the bitmap index is used to filter out most of the irrelevant subsequences, and false positives are removed in the final refinement step. Analytical and experimental studies show that the proposed strategy is capable of reducing response time substantially while incurring only a small space overhead.
6306890
APPLE: A Novel P2P Based e-Learning Environment
With the rapid development of information technology, dramatic changes have been taken place in the fundamental ways that people acquire and disseminate knowledge. Various e-Learning systems have been designed to help people take full advantage of the benefit brought by the technology. The newly emerged Peer to Peer (P2P) and grid computing will serve as the key driven forces to bring revolutionary impact on the future society. This paper evaluates the potential contribution of the P2P and grid technology into the e-Learning system and introduces a novel P2P based e-Learning environment, called APPLE. With the help of Gnutella-like P2P network, APPLE provides live broadcasting services to share services of education resources. We build a virtual classroom service based on WSRF.NET, which exposes the service as a grid service that could be accessed by all the users among the grid.
48875713
Reflections on Kurt Gödel
Newton/Descartes. Einstein/Gdel. The seventeenth century had its scientific and philosophical geniuses. Why shouldn't ours have them as well? Kurt Gdel was indisputably one of the greatest thinkers of our time, and in this first extended treatment of his life and work, Hao Wang, who was in close contact with Gdel in his last years, brings out the full subtlety of Gdel's ideas and their connection with grand themes in the history of mathematics and philosophy.The subjects he covers include the completeness of elementary logic, the limits of formalization, the problem of evidence, the concept of set, the philosophy of mathematics, time, and relativity theory, metaphysics and religion, as well as general ideas on philosophy as a worldview. Wang, whose reflections on his colleague also serve to clarify his own philosophical thoughts, distinguishes his ideas from those of Gdel's and on points of agreement develops Gdel's views further.The book provides a generous array of information on and interpretation of the two main phases of Gdel's career - the years between 1924 and 1939 at the University of Vienna, which were marked by intense mathematical creativity, and the period from 1940 to his death in 1978, during which he was affiliated with the Institute for Advanced Studies in Princeton, a time in which Gdel's interests steadily shifted from questions of logic to metaphysics. And it also examines Gdel's relations with the Vienna Circle, his philosophical differences with Carnap and Wittgenstein, the intimate and mutually fruitful friendship with Einstein, and the periodic bouts of depression for which Gdel was hospitalized a number of times over the course of his life.Hao Wang is Professor of Logic at The Rockefeller University and author of scores of articles and several books on logic, computers, and philosophy, including From Mathematics to Philosophy (extensively discussed with Gdel and containing contributions by him) and Beyond Analytic Philosophy: Doing Justice to What We Know (MIT Press Bradford Books). He is currently preparing a companion volume, Conversations with Kurt Gdel which will concentrate on Gdel's unpublished ideas. A Bradford Book.