Using temporal logic to specify adaptive program semantics

  title={Using temporal logic to specify adaptive program semantics},
  author={Ji Zhang and Betty H. C. Cheng},
  journal={Journal of Systems and Software},
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… CONTINUE READING
Highly Cited
This paper has 150 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 64 extracted citations

151 Citations

Citations per Year
Semantic Scholar estimates that this publication has 151 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…