Self-adaptive architecture evolution with model checking: A software cybernetics approach

详细信息    查看全文

• 作者：Luxi Chen^a ; ^{chenluxiabc@aliyun.com} ; ^{leen1988@sjtu.edu.cn}Author Vitae ; Linpeng Huang ; ^a ; ^{lphuang@sjtu.edu.cn}Author Vitae ; Chen Li^b ; ^{lcroy2010@gmail.com}Author Vitae ; Xiwen Wu^a ; ^{wuxiwen@sjtu.edu.cn}Author Vitae
• 关键词：Self-adaptive software architecture ; Model checking ; Software cybernetics ; Architecture evolution
• 刊名：Journal of Systems and Software
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：124
• 期：Complete
• 页码：228-246
• 全文大小：5422 K
• 卷排序：124

文摘

We apply cybernetics theory to control software behaviors in architecture-level. We propose Breeze/ADL to specify the self-adaptive architecture. We design a learning algorithm to derive feedbacks to adjust the architecture. We extend tool – Breeze to support our framework.