Trustworthy Software Evolution Based On Ontology And Rule-reasoning

Along with the wide application of large-scale distribution software system, the research on trustworthy and trustworthy software evolution models has become a hot topic in software evolution. The essence of evolution is a process of modification droving by user's requirement or the environment of system. It is a development process which from simple to complex, from initial available to mature and credible. Whatever, existing software evolution based on monitoring mainly concerns about the reliability of component, software malfunction and system defect, not systematically considers the impact of open environment. However, with changing of computing environment, some new factors that influence trustworthy software have emerged. Aiming at solving these problems, this paper introduces context, ontology and some correlation technique to trustworthy software evolution. Ontology in computer research, which is quite suitable to express the concepts in environment factors and their relations, is a formal specified illustration of sharing conceptual model. By means of ontology, various functions could achieve, such as knowledge share, logic inference, knowledge reuse and so on. The research of this paper can be summarized as follows:①Constructing an ontology space model based on"Environment- Behavior". When distributed system runs in an open environment, the application scene will be users using the system, system serving users. Also in the process of using, people or system will take advantage of the third party entities to improve the quality of service. By studying on the relations among the large distributed software of environment, behavior and software reliability, it adopts a method of ontology space to solve the interactive problem and semantic among users, system and environment.②Establishing a rule library of software trusted evolution. In the ontology space model has defined the basic concepts, properties, and instances. It forms a basic knowledge for software trusted evolution, while in order to solve the problem of reasoning and ensure the feasibility of evolved operation; we build a library which expands based on OWL. The rule library has defined a series of software trusted evolution rules and operations, which used to reason for more complex logic .then it can service for the software evolution reasoning better.③In view of implementing software credible evolution, a framework model for trustworthy software evolution is constructed. This framework is composed of rule guidance and man-machine cooperation, respectively belonging to micro-level and macro-level. In the micro-level, it establishes real-time environment abstraction, while in macro-level; Human plays an active role in software dynamic evolution. Thus, the reliability of services operation can be guaranteed.④Adopting the inference sub-mechanism which provided by Jena .We apply the basic knowledge and rules in the process of decision-making. First of all, a set of pre-defined rules are used to evaluate the credibility of software behavior and the necessity for self-adjustment. Then according to these results, we can make adjustment, reconfiguration and revision to the software in software life cycle,In sum, constructing an ontology space model based on environment-behavior is in favor of concept and operation of standardization which makes its semantic shared establishing the rule library of software trusted evolution is to ensure the reliability and correctness of evolution. Through combination of both, it is to take the monitoring information semantics as the foundation and the inferential rule as guides for software credible evolution method. So makes it possible for software trusted evolution finally.