[1] SALEHIE M, TAHVILDARI L. Self-adaptive software:landscape and research challenges[J]. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2009, 4(2):Article No. 14. [2] CHENG B H C, de LEMOS R, GIESE H, et al. Software engineering for self-adaptive systems:a second research roadmap[M]//Software Engineering for Self-Adaptive Systems, LNCS 5525. Berlin:Springer, 2013:1-26. [3] KRUPITZER C, ROTH F M, VANSYCKEL S, et al. A survey on engineering approaches for self-adaptive systems[J]. Pervasive and Mobile Computing, 2015, 17(Part B):184-206. [4] 杨启亮,马晓星,邢建春,等.软件自适应:基于控制理论的方法[J].计算机学报,2016,39(11):2189-2215.(YANG Q L, MA X X, XING J C, et al. Software self-adaptation:control theory based approach[J]. Chinese Journal of Computers, 2016, 39(11):2189-2215.) [5] de la IGLESIA D G, WEYNS D. MAPE-K formal templates to rigorously design behaviors for self-adaptive systems[J]. ACM Transactions on Autonomous & Adaptive Systems, 2015, 10(3):Article No. 15. [6] VOGEL T, GIESE H. Model-driven engineering of self-adaptive software with EUREMA[J]. ACM Transactions on Autonomous & Adaptive Systems, 2014, 8(4):Article No. 18. [7] 韩德帅,杨启亮,邢建春.一种软件自适应UML建模及其形式化验证方法[J].软件学报,2015,26(4):730-746.(HAN D S, YANG Q L, XING J C. UML-based modeling and formal verification for software self-adaptation[J]. Journal of Software, 2015, 26(4):730-746.) [8] HAN D, YANG Q, XING J, et al. FAME:a UML-based framework for modeling fuzzy self-adaptive software[J]. Information & Software Technology, 2016, 76:118-134. [9] MURCH R. Autonomic Computing[M].[S.l.]:IBM Press, 2004:535-539. [10] RAMIREZ A J, CHENG B H C. Design patterns for developing dynamically adaptive systems[C]//SEAMS'10:Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. New York:ACM, 2010:49-58. [11] BARTELS B, KLEINE M. A CSP-based framework for the specification, verification, and implementation of adaptive systems[C]//SEAMS'11:Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York:ACM, 2011:158-167. [12] CALINESCU R, GHEZZI C, KWIATKOWSKA M, et al. Self-adaptive software needs quantitative verification at runtime[J]. Communications of the ACM, 2012, 55(9):69-77. [13] DING Z, ZHOU Y, ZHOU M. Modeling self-adaptive software systems with learning Petri nets[J]. IEEE Transactions on Systems, Man, and Cybernetics Systems, 2016, 46(4):483-498. [14] WEYNS D, IFTIKHAR M U, de la IGLESIA D G, et al. A survey of formal methods in self-adaptive systems[C]//C3S2E'12:Proceedings of the 5th International C* Conference on Computer Science and Software Engineering. New York:ACM, 2012:67-79. [15] CAMILLI M, GARGANTINI A, SCANDURRA P. Specifying and verifying real-time self-adaptive systems[C]//ISSRE 2015:Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering. Piscataway, NJ:IEEE, 2015:303-313. [16] HACHICHA M, HALIMA R B, KACEM A H. Modeling and verifying self-adaptive systems:a refinement approach[C]//SMC 2016:Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics. Piscataway, NJ:IEEE, 2016:3967-3972. [17] ABRIAL J R. Modeling in Event-B:System and Software Engineering[M]. Cambridge, UK:Cambridge University Press, 2010:176. [18] FILIERI A, GHEZZI C, TAMBURRELLI G. A formal approach to adaptive software:continuous assurance of non-functional requirements[J]. Formal Aspects of Computing, 2012, 24(2):163-186. [19] GHEZZI C, PINTO L S, SPOLETINI P, et al. Managing non-functional uncertainty via model-driven adaptivity[C]//ICSE'13:Proceedings of the 2013 International Conference on Software Engineering. Piscataway, NJ:IEEE, 2013:33-42. [20] KEPHART J O, CHESS D M. The vision of autonomic computing[J]. IEEE Computer, 2003, 36(1):41-50. [21] HAN D, XING J, YANG Q, et al. Handling uncertainty in self-adaptive software using self-learning fuzzy neural network[C]//COMPSAC 2016:Proceedings of the 40th IEEE Annual Computer Software and Applications Conference. Washington, DC:IEEE Computer Society, 2016:540-545. [22] ALUR R, DILL D L. A theory of timed automata[J]. Theoretical Computer Science, 1994, 126(2):183-235. [23] LARSEN K G, PETTERSSON P, YI W. UPPAAL in a Nutshell[J]. International Journal on Software Tools for Technology Transfer, 1997, 1(1/2):134-152. |