Using Ambient in Computational Reflection Semantics Description

Abstract

Abstract. With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach. MotivationCurrently, numerous new technologies have been used in either computer software or hardware in order to enhance computer system's expansibility or performance further. Most current systems may be dynamically reconstructed or extended to perfect themselves as possible. Among these, computational reflection [1] that the possibility of a software system to inspect and modify itself at runtime became a feasible mechanism to meet the needs of strong adaptability conditions for heterogeneous environment and computing system. As a result, it is gaining interest in more and more practical applications. Especially with the development of wide-area network, computation scale up to widely distributed, intermittently connected and well administered computational environments which bring new moment for computational reflection.As a new programming technology that allows a user to extend and modify the inner information of systems, computational reflection has become an important issue in the *