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 and Biomedical Engineering (iJOE) – eISSN: 2626-8493
Creative Commons License
Scopus logo Clarivate Analyatics ESCI logo IET Inspec logo DOAJ logo DBLP logo EBSCO logo Ulrich's logo Google Scholar logo MAS logo