14272859
Ant Colony Inspired Self-Healing for Resource Allocation in Service-Oriented Environment Considering Resource Breakdown
The ant colony optimization (ACO) algorithm is a metaheuristic inspired from the behavior of foraging ants. Instead of exploring its ability in finding optimal solutions, the current study investigates another unique property - self-healing mechanism for resource allocation in a service-oriented environment where unexpected resource breakdown can occur. A system architecture is first proposed to detect, diagnose and react to disturbances. Then the performance of the ACO self-healing mechanism is tested and compared based on a modified benchmark problem. The experimental results show that the self-healing mechanism can promptly recover an obsolete schedule with high quality solutions.
2378122
Self-organized manufacturing resource management: An ant-colony inspired approach
In a typical manufacturing system, jobs are released from a production planning stage to a shop floor, where they are allocated to resources like machines. An optimal or near optimal schedule is generally found for those jobs. In reality, the execution of this schedule is often interrupted by dynamic events like unexpected incoming new jobs, machine breakdowns, etc. A rapid recovery or a self-organized feature of the interrupted schedule is desirable for manufacturing resource management. This paper proposes an ant-colony inspired approach to recover the interrupted schedule through a self-organization mechanism. The experiments show that this mechanism significantly improves the quality of the recovered schedules.
8577812
Dynamic Self-Healing for Service Flows with Semantic Web Services
With an increasing complexity of business processes, self-healing capability is becoming an important issue in order to support robust service flow execution. In this paper, a dynamic self-healing mechanism is proposed, which can dynamically identify suitable alternatives and replace faulty services such that a service flow can be performed successfully despite of unexpected exceptions. This mechanism explicitly utilizes semantic Web services for service matching and selection of a composite service in business service flow, and Semantic Web services are equipped with rich business rules in a domain-dependent manner. We explore the self-healing mechanism for supporting self-healable service flow execution which is modeled in BPEL4WS. A demo system of self-healing capable service flow execution is built to validate its effectiveness by a concrete scenario, PC manufacturing application.
15177546
Semantic enhanced rule driven workflow execution in Collaborative Virtual Enterprise
Globalization leads to an efficient new business paradigm generally known as collaborative virtual enterprise (CVE) which demands flexible service orchestration and robust workflow execution. As two major service orchestration strategies, OWL-S and BPEL have their own strength and deficiencies. To meet the challenge in CVE, in this paper, we propose a workflow execution system (WES) that takes advantage of the complementary strengths of these two technologies. On the one hand, having semantic support, OWL-S is used in dynamic service discovery and composition at high level. On the other hand, at the concrete level, industry-based BPEL is exploited in service execution. The description of each semantic Web service is enhanced with rule-based modeling of the essential business logic behind the service interface. In order to realize interoperability in OWL-S and BPEL without loss of semantic information, we further proposed an OWLS2BPEL Mapper to facilitate the workflow robustness and support rule evaluation to increase responsiveness to customers. A concrete scenario in PC manufacturing collaborative virtual enterprise is analyzed to demonstrate the effectiveness of our workflow execution system.
8202363
Coordinated Services Provision in Peer-to-Peer Environments
In recent years, inspired by the emerging Web services standard and peer-to-peer technology, a new federated service providing (FSP) system paradigm has attracted increasing research interests. Many existing systems have either explicitly or implicitly followed this paradigm. Instead of exchanging files, peers in FSP systems share their computation resources in order to offer domain-specific services. In this paper, we focused on the coordination problem of how to self-organize the service group structures in response to the varying service demand. We presented our solution in the form of a coordination mechanism, which includes a labor-market model, a recruiting protocol, and a policy-driven decision architecture. Peers make their service providing decisions based on their local policies, which can be added, removed, or modified by users. A general methodology is introduced in this paper to facilitate policy design. Specifically, a heuristic inspired by the extremal optimization technique is utilized to handle potential inconsistencies among policies. A stimulus-response mechanism was further applied to make the decision process adjustable. Experiments under five application scenarios verified our ideas and demonstrated the effectiveness of our coordination mechanism.
537363
Change propagation algorithm in a unified feature modeling scheme
Product lifecycle stages are inter-related and mutually constraining. Due to the sequential nature of the product development processes, some constraints or conflicts may emerge in a later stage and require modifications to the decisions made in earlier stages. The iterations between stages are hence unavoidable and must be managed carefully to maintain the consistency, integrity and validity of product information models. Due to the inter- or intra-stage relations, a chain of changes is very likely to occur as the consequence of an initial change. Modeling and maintaining these relations are important in collaborative engineering to evolve the state of the whole product model in a consistent manner. This paper introduces a new method of modeling associative engineering relations in a unified feature modeling scheme and elaborates a change propagation algorithm for the information consistency control among multiple applications of product lifecycle stages. The algorithm is established on a JTMS-based dependency network. Two case studies are used to illustrate the proposed dependency network and change propagation algorithm.
44399237
Mining Infrequently-Accessed File Correlations in Distributed File System
File correlation mining, as a technique to enhance file system performance, can usually be exploited for many purposes such as to improve the effectiveness of cache, to optimize file layout, as well as to enable disk file prefetching. While most research works on file correlations focus on traditional stand-alone file systems, this paper investigates the problem of mining file correlations in a distributed environment. We present a parallel data mining algorithm called PFC-Miner (Parallel File Correlation Miner), which is based on Locality Sensitive Hashing. PFC-Miner can efficiently discover correlations between infrequently-accessed files which are more valuable for web applications. Experimental results show that PFC-Miner can efficiently discover file correlations in distributed file systems without compromising the accuracy, and that the proposed approach has good scalability.
14649882
Classifying E-Mails Via Support Vector Machine
For addressing the growing problem of junk E-mail on the Internet, this paper proposes an effective E-mail classifying technique. Our work handles E-mail messages as semi-structured documents consisting of a set of fields with predefined semantics and a number of variable length free-text contents. The main contributions of this paper include the following: First, we present a Support Vector Machine (SVM) based model that incorporates the Principal Component Analysis (PCA) technique to reduce the data in terms of size and dimensionality of the input feature space. As a result, the input data become classifiable with fewer features, and the training process has faster convergence speed. Second, we build the classification model using both the $\mathcal{C}$-support vector machine and v-support vector machine algorithms. Various control parameters for performance tuning are studied in an extensive set of experiments. The results of our performance evaluation indicate that the proposed technique is effective in E-mail classification.
6983597
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC
Several regular parallel trees have been proposed over the years to optimize logic depth, area, fan-out and in- terconnect count for logic circuits. In this paper, we propose a comparative study of different parallel prefix trees used in the design of a new end-around carry (EAC) adder targeting FPGA technology. This new adder is based on the fast 128-bit binary floating-point EAC adder which has been implemented in the IBM POWER6 microprocessor's fused multiply-add unit. The parallel prefix tree implemented on the IBM's EAC adder is a Kogge-Stone tree which has been chosen for its high performance and its low power consumption. Our comparative study highlights the main performance differences among fourteen different architecture configurations when targeting an FPGA EAC adder design. We focus on the area requirements and the critical path delay of these designs. Our experimental results show that there is one architecture configuration with the lower area requirement and the higher performance.
44697622
MPX: A Multiversion Concurrency Control Protocol for XML Documents
With the rapid popularity of XML, especially in web-base applications, concurrency control of XML documents becomes an important issue. In this paper, we present MPX, a multiversion concurrency control protocol for XML documents, which is designed for synchronizing concurrent queries and modifications of XML documents stored in a native XML databases or XML document repository. Distinguished from other existing protocols, MPX ensures serializability, recoverability and cascadelessness. Furthermore, MPX also guarantees read-only transactions and update transactions will never block each other, which is especially beneficial for XML for queries on XML are much more frequent than updates. Plenty of experiments have also been carried out, confirming that MPX can ensure a better degree of concurrency and less rollbacks.
17484108
Cluster based rank query over multidimensional data streams
Many data stream monitoring applications involve rank queries and hence a number of efficient evaluation algorithms are proposed recently. Most of these techniques assume that rank queries are executed directly over the whole data space. However, we observe that many applications often require to perform clustering over the data streams before rank queries are run on each cluster.
 To address the problem, we propose a novel algorithm for integral clustering and ranking processing and we refer to such integrated queries as cluster-based rank queries. The algorithm includes two phases, namely the online phase which maintains the required data structures and statistics, and the query phase which uses these data structures to process queries. Extensive experiments indicate that the proposed algorithm is efficient in both space consumption and query processing.