期刊名称：International Journal of Distributed and Parallel Systems
印刷版ISSN：2229-3957
电子版ISSN：0976-9757
出版年度：2011
卷号：2
期号：5
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：On the design of a reliable programming model for wireless sensor networks (WSN), we must deal with various concerns, such as heterogeneousness of sensors, different sensing capabilities, dynamic updates and power consumption. The adhoc-networking characteristic of WSNs, its nonviable physical access, and the fact that WNS's are typically programmed in low-level paradigms, and the nonexistence of a robust semantic for existing languages are features that burden the task of programming sensor networks. A more efficient approach to program WSN is using a high-level programming language combined with robust semantics. This combination is not provided by any existing programming languages. Consequently, it is not possible to prove the equivalence between the semantics of the language and its implementation. Therefore, a semantic gap is induced. This paper proposes the creation of a calculus for a specific programming language and the corresponding virtual machine. Furthermore, it provides the semantic equivalence between the calculus and the virtual machine, thus the type-safety of the language. The main contribution of this paper is the design and the implementation of a virtual machine for the Callas language, as derived from the base calculus
