Title :
Dormancy and Spatial Logic of Mobile Ambients
Author :
Lin, Rongde ; Xi, Jianqing ; Guo, Yubin
Author_Institution :
Sch. of Comput. Sci. & Eng., South China Univ. of Technol., Guangzhou
Abstract :
Ambient logic presented a schematic spatial logic for specifying and reasoning about spatial properties of mobile processes. However, in some scenarios, spatial properties of processes should be specified and analyzed in finegrained. In this paper, dormancy of mobile processes is analyzed, and their existence states can be described as dormant or active. Based on this, an extension of ambient logic, united spatial-state logic, is presented. This logic can express dormancy of processes, thus spatial properties of processes can be specified in fine-grained. And satisfiability of the logic is decidable. Furthermore, formal interpretation over mobile ambients and inference rules of dormant spatial formulas are given.
Keywords :
computability; decidability; formal specification; inference mechanisms; mobile computing; ambient logic; decidability; dormant spatial formula; formal interpretation; formal specification; inference rule; mobile ambient; satisfiability; united spatial-state logic; Agricultural engineering; Biological system modeling; Calculus; Computer science; Educational institutions; Fuzzy logic; Fuzzy systems; Knowledge engineering; Mobile computing; Packaging;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Fifth International Conference on
Conference_Location :
Shandong
Print_ISBN :
978-0-7695-3305-6
DOI :
10.1109/FSKD.2008.262