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

Luxi Chen, Linpeng Huang*, Chen Li, Xiwen Wu

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

10 Citationer (Scopus)

Abstract

The cloud computing era requires software architecture to be self-adaptive to the dynamic environment. This autonomous feature brings uncertainty and makes software behavior difficult to control. The uncontrollable behavior is caused by ill-defined architecture and might lead to system disruption. To address this problem, we propose a novel framework which applies software cybernetics to guide self-adaptive architecture evolution. In our framework, we formulate the architecture evolution process as a feedback control process. In the process, we take the self-adaptive architecture model and the model checking technique as the controlled object and controller, respectively. First, the self-adaptive architecture is specified by Breeze/ADL. Second, the framework leverages model checking to validate adaptive Breeze/ADL specifications. Third, a learning algorithm is designed to regulate validation results to generate feedback rules – Productions to guide the architecture evolution. A smart phone application example is chosen to demonstrate the feasibility of our framework. The results show that our framework facilitates architects to detect undesired states which are caused by error-prone adaptation rules.

OriginalsprogEngelsk
TidsskriftJournal of Systems and Software
Vol/bind124
Sider (fra-til)228-246
Antal sider19
ISSN0164-1212
DOI
StatusUdgivet - 1 feb. 2017
Udgivet eksterntJa

Fingeraftryk

Dyk ned i forskningsemnerne om 'Self-adaptive architecture evolution with model checking: A software cybernetics approach'. Sammen danner de et unikt fingeraftryk.

Citationsformater