.png){kind=icon}
返回
Using temporal logic to specify adaptive program semantics
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2006.02.062.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Computer software must dynamically adapt to changing conditions. In order to fully realize the benefit of dynamic adaptation, it must be performed correctly. The correctness of adaptation cannot be properly addressed without precisely specifying the requirements for adaptation. This paper introduces an approach to formally specifying adaptation requirements in temporal logic. We introduce A-LTL, an adaptation-based extension to linear temporal logic, and use this logic to specify three commonly used adaptation semantics. Composition techniques are developed and applied to A-LTL to construct the specification of an adaptive program. We introduce adaptation semantics graphs to visually represent the adaptation semantics, which can also be used to automatically generate specification for adaptive programs. (C) 2006 Elsevier Inc. All rights reserved.
Keyword:
dynamic adaptation
temporal logic
specification
model checking
autonomic computing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
暂无机构信息
引用论文
Interspecific Interactions and the Scope for Parent-Offspring Conflict: High Mite Density Temporarily Changes the Trade-Off between Offspring Size and Number in the Burying Beetle, Nicrophorus vespilloides.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏An Explorative Study of the Mobile App Ecosystem from App Developers' Perspective基于App开发者视角的移动App生态系统探索性研究
PREAI
分享收藏
查看更多内容