Abstract:This paper proposes a global and declarative development model for sensor networking, within which the global and declarative programs are compiled into distributed programs that can be executed on virtual machines equipped on nodes, so that the developers declare the global functionality of a network.