Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics

R Fan, YF Chen, SC Cao, GB Lei, C Yue


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.


Extenics theory; formal modeling; intelligent service component; self-adaptive software

Full Text:


International Journal of Online Engineering (iJOE).ISSN: 1861-2121
Creative Commons License
Web of Science ESCI logo Engineering Information logo INSPEC logo DBLP logo ELSEVIER Scopus logo EBSCO logo Ulrich's logoGoogle Scholar logo Microsoft® Academic Search