Publications (6)0.51 Total impact
Conference Paper: Process Algebra-Based Description for Software Requirement[Show abstract] [Hide abstract]
ABSTRACT: A requirement process plays very important part in software engineering process. In order to truly meet the needs requested by customers, a software engineering system should include a high-quality requirement management process, which can accurately describes the software requirements. In this paper addresses and defines the requirement process to be implemented on a software system. It also reports on how we analyze the process in a perspective of system engineering. Based on the analysis and certain simplification, a process algebraic expression is proposed to establish a Software Requirement Process. The results show that development cycle is shortened, resources are saved; hence the efficiency is significantly improved.
Conference Paper: Process Algebra Based for Requirement Process Reorganization[Show abstract] [Hide abstract]
ABSTRACT: Requirement is very important part of software process. In order to truly meet the requirements of customer, it is necessary to establish an appropriate requirement management process, software process reorganization is particularly important. In this paper, firstly, a description of the requirement process is presented after software requirement process was analyzed from the perspective of requirement engineering. Then, analyzing and simplifying process algebraic expression, the approach of process algebra based for the requirement process reorganization is presented proceeded. Finally, the results of shows that development time are shortened, resources are saved and development efficiency is improved.
- [Show abstract] [Hide abstract]
ABSTRACT: With the increasing amount of distributed computing systems applied in wide range of critical domains, the requirement of high reliability and high availability of distributed computing systems tend to more and more urgent, that the study of distributed fault-tolerant system become more significance. This paper provides a model of triple-modular redundancy dynamic fault-tolerant system, and the reliability of the model is analyzed through an algorithm
Conference Paper: Distortion Analysis of Component Composition and Web Service Composition[Show abstract] [Hide abstract]
ABSTRACT: This paper discusses the consistency of component composition and Web service composition, therefore all kinds of distortions during component composition are defined and analyzed, and then some distortion cases are discussed, and from the view of the semantic of function behavior qualitative analysis is conducted of the possible distortion cases that several composition modes may lead to, in order to evaluate the system distortion and provide a evaluate model for distortion testing.
Conference Paper: Primary Research on Internetware Reliability Technology.[Show abstract] [Hide abstract]
ABSTRACT: Based on the discussion on the traditional software reliability design, aimed at the characteristics of the Internetware, the evaluation system of the software reliability and the methods of Internetware-based software reliability improvement are given in this paper. Furthermore, the fault-tolerant technology of Internetware-based software is presented. The main idea of this paper is to apply the redundant set technology, the set communication technology, the retransmission technique, the dynamic environment monitoring technology, etc., to software system based on Internetware by reforming and transplanting availably to resolve its reliability problems
Conference Paper: Component Composition Based on Web Service and Software Architecture.[Show abstract] [Hide abstract]
ABSTRACT: Software composition is one of major technologies in component-based software engineering. The combination of Internet computing and software engineering prompts great potentials for future software industrials, and extend the scope of software applications. For example, Web service-based software development becomes the next generation software to be used in distributed systems. In this paper, presents a newly-developed software architecture using Web service based composition technique.
Harbin Engineering University
Charbin, Heilongjiang Sheng, China
- School of Computer Science & Technology