期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2015
卷号：8
期号：3
页码：21-32
DOI：10.14257/ijhit.2015.8.3.03
出版社：SERSC
摘要：Nowadays, traditional model construction techniques are often used in the self- adaptive software development environment. However, due to its adaptation problems, such as low reusability and high complexity, it is difficult to meet the incremental requirements of users. In order to achieve the combination of models and the results verified, this paper regards improving the reusability of adaptation models as a starting point, introducing the formal method of partial behaviour model to the description of adaptation behaviour. With the help of three-valued logic model description language KMTS, we research the consistent judgment algorithm of related models, and propose a fusion method of consistent models for supporting online fusion of adaptation models. Finally we use a model instance and its application to analyze and verify the correctness and effectiveness of the fusion result.
关键词：model fusion; adaptation model; KMTS; consistent model
