Title :
An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting
Author :
Hong, Zhang ; Lei, Liu
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun
Abstract :
In order to statically validate the interesting and desired properties of concurrent and distributed system, an abstract interpretation frame based on the ambient occurrence counting for the calculus of boxed ambients, a variant of the calculus of mobile ambients, is developed. The analysis computes a safe approximation of the set of all processes to whom the given system can evolve. The frame is showed to be semantically correct: the set of acceptable solutions is closed under reduction, and it constitutes a Moore family.
Keywords :
mobile computing; process algebra; Moore family; abstract interpretation frame; ambient occurrence counting; boxed ambients; distributed system; mobile ambients; Calculus; Computational modeling; Computer science; Concrete; Educational institutions; Electronic commerce; Hydrogen; Mobile computing; Software systems; Tin; Boxed Ambients; abstract interpretation; the ambient occurrence counting;
Conference_Titel :
Electronic Commerce and Security, 2008 International Symposium on
Conference_Location :
Guangzhou City
Print_ISBN :
978-0-7695-3258-5
DOI :
10.1109/ISECS.2008.210
