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

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

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

Figures/Tables 3

References 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

Metrics

Recommended 0

No Suggested Reading articles found!

Analysis of Declarative Development Model for Sensor Networking

RichHTML

PDF下载

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 3

References 42

Related Articles 15

Metrics

Recommended 0

[1]	Yabo ZHAN, Qian XU, Jun LI, Zhen ZONG. Periodic low-power communication technology scheme for large-scale transmission line condition monitoring sensor network [J]. Telecommunications Science, 2023, 39(2): 83-91.
[2]	Cheng DING, Jinrong CHEN, Xiaodong CAO, Yi WANG. Quality of service based hierarchical resource allocation algorithm [J]. Telecommunications Science, 2022, 38(1): 102-111.
[3]	Bin DONG. Systematic construction of operator’s intelligent customer service [J]. Telecommunications Science, 2020, 36(7): 118-125.
[4]	Yongyan LI,Jianping WU. Wireless sensor node localization based on IPSO-MC [J]. Telecommunications Science, 2020, 36(3): 11-18.
[5]	Nana WANG,Zhaoting LIU,Yingbiao YAO. One-bit maximum likelihood algorithm for sensor networks in non-ideal channels [J]. Telecommunications Science, 2020, 36(3): 53-60.
[6]	Zhenyu SHOU,Jiangbo QIAN,Yihong DONG,Huahui CHEN. EFH:an online unsupervised hash learning algorithm [J]. Telecommunications Science, 2020, 36(3): 71-82.
[7]	Haoran LIU,Xingqi WANG,Yujing DENG,Yuhua QIN. Evaluation model of node importance in directed scale-free network based on cascade failure [J]. Telecommunications Science, 2020, 36(2): 43-51.
[8]	Ruifeng CHEN,Ming NI,Chunjie XU,Hao HU. Communication performance analysis of wireless sensor network for railway environmental monitoring [J]. Telecommunications Science, 2019, 35(5): 70-77.
[9]	Feiyang GU, Ying KONG. Scheme of enhancing real-time business processing capabilities based on Kudu for the big data platform [J]. Telecommunications Science, 2019, 35(10): 151-156.
[10]	Kaikai KANG,Zhaoting LIU,Yingbiao YAO. Distributed robust RLS estimation algorithm over sensor networks [J]. Telecommunications Science, 2019, 35(1): 37-43.
[11]	Ying ZHOU,Lihua YANG,Longxiang YANG,Meng NI. Energy-efficient data gathering scheme based on Kalman prediction and compressed sensing [J]. Telecommunications Science, 2019, 35(1): 74-80.
[12]	Shigen SHEN,Sheng FENG,Haiping ZHOU,Longjun HUANG,Keli HU,Qiying CAO. Optimal approach of suppressing WSN malware propagation based on cloud computing and dynamic Bayesian game [J]. Telecommunications Science, 2018, 34(9): 78-86.
[13]	Haibo YANG,Yourong CHEN,Banteng LIU,Yunkai ZHU,Ziyi SU. Coverage scheduling algorithm of mobile sensor nodes for optimizing network lifetime [J]. Telecommunications Science, 2018, 34(5): 39-49.
[14]	Haikun WANG,Jia PAN,Cong LIU. Research development and forecast of automatic speech recognition technologies [J]. Telecommunications Science, 2018, 34(2): 1-11.
[15]	Shihua CAO,Keyong HU,Lidong WANG,Qihui WANG. Distributed hue recognition based k connectivity path detection in WSN [J]. Telecommunications Science, 2018, 34(2): 65-73.