Fan, R.; Chen, Y.; Cao, S.; Lei, G.; Yue, C. Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics. Int. J. Onl. Eng. 2016, 12, pp. 63-66.