A Composition-Oriented Approach for Business Process Formal Design
Traditional approaches to designing business processes are often inadequate for complicated, distributed, and collaborated settings. However since network technologies have become widespread, an increasing number of business processes exhibit these properties. Therefore a new approach is needed. To this end, we describe the motivation, conceptualization, and analysis of a composition-oriented business process design method. The key advance of our method is that it uses process algebra pi-calculus as its formal basis and builds a complex process by composing simple structured process control modules to reduce the complexity of business process design as well as let several designers collaborate the design of a complex process. To make business process more clear, we also provide way of separating exception processing logic from normal process control logic and provide scooping mechanisms to minimize the detrimental effects of unplanned contingencies by ways of composition

title: Automating change evolution in model-driven engineering
abstract: The escalating complexity of software and system models is making it difficult to rapidly explore the effects of a design decision. Automating such exploration with model transformation and aspect-oriented techniques can improve both productivity and model quality. The combination of model transformation and aspect weaving provides a powerful technology for rapidly transforming legacy systems from the high-level properties that models describe. Further, by applying aspect-oriented techniques and program transformation, small changes at the modeling level can trigger very large transformations at the source code level. Thus, model engineers can explore alternative configurations using an aspect weaver targeted for modeling tools and then use the models to generate program transformation rules for adapting legacy source code on a wide scale.

title: Model replication: transformations to address model scalability
abstract: 2 SUMMARY In Model-Driven Engineering, it is often desirable to evaluate different design alternatives as they relate to scalability issues of the modeled system. A typical approach to address scalability is model replication, which starts by creating base models that capture the key entities as model elements and their relationships as model connections. A collection of base models can be adorned with necessary information to characterize a specific scalability concern as it relates to how the base modeling elements are replicated and connected together. In current modeling practice, such model replication is usually accomplished by scaling the base model manually. This is a time-consuming process that represents a source of error, especially when there are deep interactions between model components. As an alternative to the manual process, this paper presents the idea of automated model replication through a model transformation process that expands the number of elements from the base model and makes the correct connections among the generated modeling elements. The paper motivates the need for model replication through case studies taken from models supporting different domains.

title: Aspect mining from a modelling perspective
abstract: Aspect mining aims at identifying, analysing, and refactoring crosscutting concerns throughout a legacy system for the purpose of improving software modularisation. This paper presents our investigation into raising the benefits of aspect mining to high level domain-specific models. A key contribution is the capability to identify crosscutting concerns early in development, which will assist in the modularisation of a design through aspects, before proceeding to the implementation level. Furthermore, our experience has led us to believe that aspects are easier to identify at the modelling level, because much of the accidental complexities of implementation concerns are not present in the corresponding modelling abstractions.

title: Index Support for Visualizing Large, Distributed, High-Dimension Data Sets

title: Business Process-Oriented Software Architecture for Supporting Business Process Change
abstract: As a business process is essential in running an enterprise, this paper aims toward improving software architecture by extracting business-relevant semantics from business logic and transforming them as important elements that need to be molded and represented in software architecture. This allows for the development of a business process-oriented software architecture (BPOSA) that can support smoother business process change. The paper introduces the structure of BPOSA and its work mode. Then it describes the steps involved in designing a process-oriented software system, and provides analysis and design methods of extending process-relevant attributes for application in business operations.

title: Hyperspectral images lossless compression by a novel three-dimensional wavelet coding
abstract: In this paper, we present a 3D hyperspectral images lossless compression algorithm, which is based on the asymmetric 3D quincunx structured wavelet transform (A3D-QWT) and the adaptive classification coding. A3D-QWT is a simpler 3D transform compared to the classical asymmetric 3D pyramidal wavelet structure (A3D-DWT) with nearly equal entropy; furthermore the spectral correlation after this quincunx structured transform is higher, which is useful to the adaptive classification coding. The adaptive classification coding can make full use of not only the spatial correlation but also the spectral correlation characteristics of hyperspectral images. Experiments show that our method is capable of providing a higher compression performance for hyperspectral images.

title: Design of an Automatic Control System for Coal Preparation Process
abstract: In this paper, an automatic control system based on industrial control computers (IPC) and a programmable logic controller is designed by using field bus, PLC and configuration techniques to solve the automatic control problem of coal preparation process. The cross complex process control and fault processing are implanted by PLC, and configuration program provides friendly interface to user. Compared with traditional relay control system, this system has advantages of simplified operation, convenient maintenance and good adaptability. Practical production shows that this system has the characteristics of steady performance, high efficiency and economical benefit.

title: Evaluating the Disaster Defense Ability of Information Systems
abstract: Disaster prevention and recovery is an important branch of security informatics. People need to investigate the disaster prevention and recovery capacity of information systems in order to make them more robust. In this paper we propose a framework to evaluate the disaster defense ability of information systems. In the research a hierarchy of criterions is built up which covers both the disaster prevention ability and the disaster recovery ability. And a fuzzy assessment method is designed to fit the evaluating process. We also develop a software tool based on the framework to assist the information security evaluators.

title: Applying PageRank Algorithm in Requirement Concern Impact Analysis
abstract: As an important part of requirement management, managing requirement change plays a key role in controlling project schedule and costs at early stage. Effective requirement impact analysis would give proper assessment on the effect of certain requirement changes on the whole system, and provide useful information for making trade-off decisions on future system design and implementation. In this paper a quantitative approach to concern impact analysis at requirement level has been proposed with the application of PageRank algorithm, which is a successful link based web page sorting algorithm. At first, separation of concerns is applied during deriving formal requirement specification from textual requirement statements. Next, concerns are specified and concern relationship graph is established. Finally, PageRank algorithm is utilized on concern relationship graph for assessing the impact of concern changes. Our approach has been applied to hallway section in Light Control System and validation of analysis result has been stated.

title: An Efficient Approach for Service Process Reconfiguration in SOA with End-to-End QoS Constraints
abstract: Using SOA, service processes can be composed statically or dynamically using services provided by different service providers. Some services may become faulty at runtime and cause the service process to violate the end-to-end quality of service (QoS) constraint. We propose an efficient approach for replacing faulty services to ensure that the reconfigured service process still meets the original end-to-end QoS constraint. We use an iterative algorithm to identify reconfiguration regions that have a small number of services, some faulty and some healthy, in order to have more service selection options. By reconfiguring services in these selected regions rather than the whole service process, the computational complexity is significantly reduced. Simulation study has shown that our approach is efficient as most service processes can be repaired by replacing only a small number of services.