Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics

Abstract

After thirty years, Extenics made great progress in innovation theory, formal method and real application. Through the formalized research for its logical cell basic-element, the information-knowledge-strategy formalized system, extension analysis methods, extension transformation methods and superiority evaluation methods are set up. We introduce Extenics theory to describe, analyze and evaluate self-adaptive nature, scope and extent about the intelligent service component. First, software entities are defined by basic-element, the intelligent service component is structured into basic-element net, which is analyzed, transformed and evaluated by method of combining qualitative with quantitative. Final, intelligent service component formal model is established.