Earticle

초록

영어

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.

목차

Abstract
 1. Introduction
 2. Model Fusion Design
  2.1. Analysis of Adaptation Behavior Formal Description
  2.2. Selection and Analysis of Formal Description Language
  2.3. Model Fusion Process
 3. Adaptation Model Fusion Algorithm
  3.1. Unified Description
  3.2. The Judgment of Consistent Models
  3.3. Consistent Model Fusion Method
 4. Case Study and Analysis
  4.1. Case Study
  4.2. Analysis of Fusion Results
  4.3. Development Show of Model Fusion
 5. Conclusion
 Acknowledgements
 References

키워드

저자

• Xiaoan Bao [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]
• Hui Lin [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]
• Ning Gui [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]
• Xiance Sun [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]
• Na Zhang [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]
• Meng Dong [ Zhejiang Sci-Tech University, Hangzhou 310018, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Hybrid Information Technology

• 간기

  격월간

• pISSN

  1738-9968

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605