声明式的传感器网络开发模式研究进展分析

doi:10.3969/j.issn.1000-0801.2011.9.009

摘要/Abstract

摘要：

面向系统的开发模式使解决传感器网络的数据处理、路由维护等关键问题成为非常复杂的工作。定义声明式的开发语言，甚至是全局式的网络开发模式，被认为是传感器网络发展的一个重要问题。查询语言作为一种声明式语言，不仅被用于管理和查询传感器网络数据，递归的查询语言还被用于定义路由协议等网络计算问题。本文介绍和分析了声明式传感器网络开发模式的研究进展，并提出未来研究方向的建议。

关键词: 传感器网络, 语言, 查询, 声明式

Abstract:

The system-oriented development model has raised considerable programming challenges for sensor networks，involving data management and routing protocol deployment.To develop distributed applications over network in a declarative manner，even in global view，is considered critical for exploiting sensor networking to its full potential.Query languages offer a declarative approach to manage and query sensor network data.Recursive query language is especially used to define distributed applications such as routing protocols. This paper analyzes the status of declarative development model for sensor networking and gives some suggestions for further study.

Key words: sensor network, language, query, eclarative

汪芳,张云勇,房秉毅. 声明式的传感器网络开发模式研究进展分析[J]. 电信科学, 2011, 27(9): 37-41.

Fang Wang,Yunyong Zhang,Bingyi Fang. Analysis of Declarative Development Model for Sensor Networking[J]. Telecommunications Science, 2011, 27(9): 37-41.

图/表 3

参考文献 42

[1]	Marron J , Minder D . Embedded WiSeNts research roadmap. Berlin； Logos Verlag Berlin, 2006
[2]	Hejlsberg A . Trends and future directions in programming languages.
[3]	Demers A J , Gehrke J , Rajaraman R , et al. The cougar project：a work-in-progress report. In：SIGMOD Record， 2003
[4]	Madden S ， Franklin M J ， Hellerstein J M ， et al. Tinydb：an acquisitional query processing system for sensor networks. ACM Transactions on Database Systems， 2005， 30 （1）
[5]	Abiteboul S ， Hull R ， Vianu V . Foundations of databases. AddisonWesley， 1995，
[6]	Ebbinghaus H D ， Flum J . Finite model theory. Springer-Verlag， Berlin， 1999，
[7]	Loo B T ， Condie T ， Garofalakis M N ， et al. Declarative networking：language，execution and optimization. ACM SIGMOD International Conference on Management of Data， Chicago，Illinois，USA， 2006，
[8]	Grumbach S ， Wang F . Netlog，a rule-based language for distributed programming. Practical Aspects of Declarative Languages，12th International Symposium（PADL 2010）， Madrid， Spain，SpringerA， 2010，
[9]	Ramakrishnan R ， Gehrke J . Database management systems. McGrawHill， 2003
[10]	李建中，李金宝，石胜飞 . 传感器网络与感知数据管理的概念、问题与研究进展. 软件学报， 2003， 14 （10）： 1717-1727.
[11]	Fung W F ， Sun D ， Gehrke J . Cougar：the network is the database.In： SIGMOD Conference， 2002，
[12]	Srivastava U ， Munagala K ， Widom J . Operator placement for innetwork stream query processing. Twenty-fourth ACM Symposium on Principles of Database Systems， 2005
[13]	Jeffery S R ， Alonso G ， Franklin M J ， et al. Declarative support for sensor data cleaning.In： Pervasive Computing，4th International Conference， 2006
[14]	TinyOS. .
[15]	Al-Karaki J M ， Kamal A E . Routing techniques in wireless sensor networks：a survey. IEEE Personal Communications， 2004
[16]	Chalermek I ， Ramesh G ， Deborah E . Directed diffusion：a scalable and robust communication paradigm for sensor networks. MobiCom， 2000
[17]	Stojmenovic I . Position based routing in ad hoc networks. IEEE Communications Magazin， 2002
[18]	Alexandru C ， Mario A N ， Jorg S . A framework for spatiotemporal query processing over wireless sensor networks.In： Proc of the 1st Int’l Workshop on Data Management for Sensor Network in Conjunction with VLDB， 2004
[19]	Ramakrishnan R ， Ullman J D . A survey of deductive database systems. Logic Programming， 1995， 23 （2）： 125-149.
[20]	Loo B T ， Hellerstein J M ， Stoica I ， et al. Declarative routing：extensible routing with declarative queries. ACM SIGCOMM 2005 Conference on Applications，Technologies，Architectures， and Protocols for Computer Communications， Philadelphia， Pennsylvania，USA， 2005，
[21]	Loo B T ， Condi T ， Hellerstein J M ， et al. Implementing declarative overlays. 20th ACM Symposium on Operating Systems Principles， Brighton，UK， 2005，
[22]	Grumbach S ， Lu J L ， Qu WW . Self-organization of wireless networks through declarative local communication.In： OTM，On the Move Conference， MONET Workshop 2007
[23]	Perkins C E ， Bhagwat P ， . Highly dynamic destination-sequenced distance-vector routing（DSDV）for mobile computers.In： ACM Conference on Communications Architectures，Protocols and Applications，SIGCOMM ˊ94， London，UK 1994
[24]	Abiteboul S ， Abrams Z ， Haar S ， et al. Diagnosis of asynchronous discrete event systems：datalog to the rescue!In： Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD- SIGART Symposium on Principles of Database Systems， Baltimore，Maryland，USA， 2005
[25]	Reiss F ， Hellerstein J M . Declarative network monitoring with an underprovisioned query processor. ICDE， 2006，
[26]	Alonso G ， Kranakis E ， Sawchuk C ， et al. Probabilistic protocols for node discovery in Ad Hoc multi-channel broadcast networks. Ad-Hoc，Mobile，and Wireless Networks，Second International Conference， ADHOC-NOW， 2003
[27]	Bejerano Y ， Breitbart Y ， Orda Y ， et al. Algorithms for computing QoS paths with restoration. IEEE／ACM Trans Netw， 2005， 13 （3）
[28]	Bejerano Y ， Breitbart Y ， Garofalakis M N ， et al. Physical topology discovery for large multi-subnet networks. INFOCOM， 2003
[29]	Abadi G ， Kranakis E ， Sawchuk C ， et al. Probabilistic protocols for node discovery in Ad Hoc multi-channel broadcast networks. Ad-Hoc，Mobile，and Wireless Networks，Second International Conference， ADHOC-NOW， 2003
[30]	Attiya H ， Welch J . Distributed computing：fundamentals， simulations and advanced topics. Wiley-Interscience， 2004，
[31]	Thomas C ， Philippe P . Optimized link state routing protocol （OLSR）. Network Working Group， 2003，
[32]	Grumbach S ， Wang F . Netlog，a rule-based language for distributed programming. Manuscript for Journal of Theory and Practice of Logic Programming：Special Issue for 12th International Symposium of PADL， Cambridge University Press 2011，
[33]	Bauderon M ， Grumbach S ， Gu D ， et al. Programming iMote networks made easy. The Fourth International Conference on Sensor Technologies and Applications，SENSORCOMM 2010， Venice／Mestre，Italy， 2010
[34]	Suo K ， Qu W W ， Iriondo AB . Declarative programming of network protocols.In： International Conference on Communication Technology， Nanjing，China， 2010
[35]	Bauderon M ， Bobineau C ， Grumbach S ， et al. Netquest：an abstract model for pervasive applications.In： the 7th International Conference on Pervasive Computing， 2009
[36]	Bellemon E ， Dubosclard V ， Grumbach S ， et al. QuestMonitor：a visualization platform for declarative network protocols. MSV 2011：The 8th International Conference on Modeling，Simulation and Visualization Methods， Las Vegas，USA
[37]	Wang A ， Basu P ， Loo BT ， et al. Declarative network verification. In：Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages， Springer-Verlag， 2009
[38]	Deng Y X ， Grumbach S ， Monin J F ， . A framework for verifying data-centric protocols.In： The 31th IFIP International Conference on Formal Techniques for Networked and Distributed Systems， Reykjavik，Iceland， 2011
[39]	Perkins C E ， Royer E M . Ad-Hoc on-demand distance vector routing. IEEE Workshop on Mobile Computing Systems and Applications， Los Alamitos，CA，USA， 1999
[40]	Liu C ， Mao Y ， Oprea M ， et al. A declarative perspective on adaptive MANET routing.In： Proceedings of the ACM workshop on Programmable routers for extensible services of tomorrow， PRESTO’08. ACM，New York，NY，USA， 2008
[41]	Navarro J A ， Rybalchenko A . Operational semantics for declarative networking.In： Proceedings of the 11th international sysposium on practical aspects of declarative languages， Springer-Verlag， 2009
[42]	Loo BT ， Condie T ， Garofalaks M ， et al. Declarative networking. Communication of the ACM 2009， 52 （11）： 97～108