Zhongwen Xie

ESDDM: A Software Evolution Process Model Based on Evolution Behavior Interface

According to “Software processes are software too” proposed by L.Osterweil, we assume a software process model with independent functions as a component. To fully describe the evolution behavior of process-based components, the concept of evolution behavior interface is introduced and a Petri net based ESDDM model is discussed. By applying on a realistic case, we conclude that ESDDM, a software evolution process model based on evolution behavior interface, is able to effectively support the concurrent engineering.

An evaluation algorithm of component retrieval based on fuzzy theories

According to “Software processes are software too” proposed by L.Osterweil, we define a software process model with independent functions as a component. This paper focused on the area of component retrieval during the course of a software evolution process which is defined by model of ESDDM. When component retrieving happens, generally a number of similar components are returned as a result set form the component library. This paper propose a comprehensive evaluation algorithm based on fuzzy theories to assess each component in the result set for the purpose of choosing out the most appropriate ones from the component library.

A formal meta-model of software process

Software process play an important role in improving the quality of software products. Formal software process model is conducive to the accurate description of software processes. A software process meta-model is a formal tool used to define software process models. In this paper, a software process meta-model SPMM is designed. Firstly, five important properties in software processes are discussed. Furthermore, based on CSP and Hoare Logic, the definition of SPMM and the rules to build software process models are proposed. In SPMM, not only are the important components, e.g. tasks, activities and software processes in software processes, formally defined, but also the five important properties of software process are embodied. Therefore, SPMM can model software processes at different abstract levels. Thus, the basis to simulate, control, analyze, measure and improve software processes is established.

Evolution of cooperation on independent networks: The influence of asymmetric information sharing updating mechanism

Abstract In realistic social systems, there exists multiple networks which are influenced by each other with different level of impacts. Inspired by this, we thus study the evolution of public cooperation on two interdependent networks that are connected by means of an asymmetric information sharing updating function, which can construct the interdependent networks in two different classes in order to simulate asymmetric influence of multiple networks which exist in from bacteria to animals as well as human societies. Interestingly, we find that interdependence by means of asymmetric information sharing function can dramatically promote the evolution of cooperation by restraining negative feed-back effect to provide a better environment for cooperators to mushroom. The result shows that the stronger the level of asymmetry, the higher the level of cooperation. And we further inquiry why this asymmetric information sharing updating mechanism can strikingly promote the cooperation in the upper network and find that the value of combined Fermi–Dirac Function of defector in the upper network is relatively larger than the original Fermi–Dirac Function, which can eventually lead to the fraction of cooperation to one in the upper network. Our work can reveal some essential principles in asymmetric interdependent networks that ubiquitously exists in biological and human social systems.

Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net

The development and evolution of trusted software is the focus of attention in the fields of trusted software and software engineering at home and abroad. In view of its complexity and diversity, this article proceeds with component, which is the basic element of software architecture, and discusses the refinement of trusted component. Refine one of the operations and its local environment using OR-transition colored Petri net to achieve the purpose of gradual refinement.

An extended object-oriented petri net supporting the description and evolution of components: EOOPN

An extended object-oriented petri net (EOOPN) supporting the description and evolution of components in the context of intelligent and cloud computing is proposed in this paper. EOOPN can tersely and independently represent all kinds of resources and restrains in a complex system, and reveal structural and behavioral information of simulated system. The modeling and analyzing power that EOOPN possesses enables it to be a tool which is capable of supporting component-based software evolution process under the circumstances of cloud computing. The formal definition of EOOPN is given and a wide range of object-oriented features supported by EOOPN are explained. Moreover, a roadmap of using EOOPN to evolving software components is discussed.

An approach to measuring semantic similarity and relatedness between concepts in an ontology

Semantic similarity and relatedness are applied more and more extensively in many fields, such as in Artificial Intelligence, Semantic Web and Knowledge Management. In this paper, we propose a comprehensive metric of similarity, a method of relatedness measure and a comprehensive degree measure that combines semantic similarity and relatedness between two concepts. Then we compare the proposed metrics with other classic similarity/relatedness metrics based on a benchmark data set and WordNet 3.0. The experimental results demonstrate that the proposed approach outperforms other classical computational approaches. The comprehensive degree metric gives the highest correlation value which is 0.913, and the semantic similarity measure obtains the second-highest correlation value which is 0.823 with a benchmark based on human similarity judgements.

Study on the three types of component refinement in EOOPN

Base on the Extended Object-Oriented Petri Net, and the component evolution processes that has been proposed in our previous research, this paper studies the issue of component refinement. Three types of component refinement under the framework of EOOPN model, namely ABP refinement, ABT refinement and Token refinement, are proposed in this paper along with their definitions and component features before and after the processes of refinement.

A Petri Net Based Model for Trustworthy Software Process Composition

The growing demand for higher trustworthiness of software poses an unprecedented challenge to the software industry. Software is the outcome of the software process. Software trustworthiness is highly dependent on the software process. To combine the trustworthiness in the software process, we propose a formal method for trustworthy software process composition. In this method, trustworthy processes are specified by the trustworthiness requirements and compose into software process. The composite process satisfies both functional and non-functional requirements for the trustworthy software.

The Intelligent Identification and Elimination of Non-precipitation Echoes in the Environment of Low-Latitude Plateaus

Considering the important reference value of weather radar data in the process of weather modification and based on the analysis of historical weather modification data of Yunnan province, china, and the study of various non-precipitation removal algorithms, this paper proposed a new model of intelligent identification and elimination of non-precipitation radar echoes in the environment of low-latitude plateaus, which has been proven to be effective in practical use.