2014 Volume 31 Issue 3 Pages 3_259-3_269
Web application is a typical open system desirable to be dynamically adaptive to allow desired levels of flexibility. The adaptivity may be achieved by replacing some of its components at runtime, and a new method is required to ensure that the replacement, substitution, is safe. This paper proposes a formal framework of the safe substitutability in self-adaptive Web applications, and presents a substitutabillity checking method based on the integrity. In an example case, an adaptive Web application demonstrates the effectiveness of the proposed method.