원문정보
초록
영어
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.
목차
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