Development of global specification for dynamically adaptive software

  • Authors:

  • Yongwang Zhao;Zhuqing Li;Hualei Shen;Dianfu Ma

  • Affiliations:

  • National Laboratory of Software Development Environment (NLSDE), School of Computer Science and Engineering, Beihang University, Beijing, China;National Laboratory of Software Development Environment (NLSDE), School of Computer Science and Engineering, Beihang University, Beijing, China;National Laboratory of Software Development Environment (NLSDE), School of Computer Science and Engineering, Beihang University, Beijing, China;National Laboratory of Software Development Environment (NLSDE), School of Computer Science and Engineering, Beihang University, Beijing, China

  • Venue:
  • Computing
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.