.png){kind=icon}
返回
Development of global specification for dynamically adaptive software
.png){kind=icon}
PRE
AI
DOI：10.1007/s00607-013-0295-3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
As software systems are becoming increasingly complex, they need to dynamically and continually adapt their behavior to changing conditions in the long-term running. There will be large numbers of adaptations in these systems when evolving and the adaptations may be unknowable until system operation. To specify these adaptations, this paper proposes the mode-supported Linear Temporal Logic (mLTL) that is an effective way to describe global specifications of adaptive software. The global specifications are defined for adaptive software as requirements from the perspective of global adapting process. The model checking problem of mLTL is also resolved using Linear Temporal Logic (LTL) and Labelled Transition System Analyser (LTSA). Finally, we provide a prototype implementation for modelling and analyzing adaptive programs, and experimental evaluation shows feasibility and scalability of our approach.
Keyword:
Autonomic computing
Dynamic adaptation
Formal specification
Verification
期刊
C
IF:
2.8
论文数:
2.3K
被引数:
3.5K
机构
引用论文
The benefit of multiple angle observations for visible band remote sensing using night lights.png)
OAAI
IF0
OAAI分享收藏A Machine Learning-Based Framework for Throughput Estimation of Time-Varying Applications in Multi-Core Servers基于机器学习的多核服务器中时变应用吞吐量估计框架
OAAI
OAAI分享收藏分享收藏
查看更多内容