中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
a model of large-scale device collaboration system based on pi-calculus for green communication

文献类型:期刊论文

作者Deng Pan ; Zhang Jianwei ; Rong Xiaohui ; Chen Feng
刊名Telecommunication Systems
出版日期2013
页码1-14
关键词Communication Costs Energy efficiency Energy utilization Semantics
ISSN号1018-4864
中文摘要In recent years, there has been an increasing interest to reduce the electricity bill and increase the energy efficiency of large-scale distributed systems. How to model device collaboration system for green communication is an important issue for distributed large-scale devices integration and collaboration in a seamless and green way. Although PI-Calculus has an advantage of modeling concurrent and dynamic systems, only functional aspects of device collaboration have been addressed, non-functional aspects such as energy consumption have been ignored due to the fact that PI-Calculus lacks for capability of modeling and analyze them. This paper proposes a PI-Calculus extended with price information-Price PI-Calculus. Firstly, it associates energy cost with process in PI-Calculus through price function. Second, with the help of the semantics of PI-Calculus transitional and price function, it associates the change of collaboration cost with the system evolution. After that a large-scale device control system modeling method based on Price PI-Calculus is presented. Finally, take advantage of operational and transitional semantics and a formal deduction, function correctness of device collaboration has been checked, in the meantime the system energy consumption has also been analyzed, it is very useful for choosing the energy-saving flow of device collaboration. © 2013 Springer Science+Business Media, LLC.
英文摘要In recent years, there has been an increasing interest to reduce the electricity bill and increase the energy efficiency of large-scale distributed systems. How to model device collaboration system for green communication is an important issue for distributed large-scale devices integration and collaboration in a seamless and green way. Although PI-Calculus has an advantage of modeling concurrent and dynamic systems, only functional aspects of device collaboration have been addressed, non-functional aspects such as energy consumption have been ignored due to the fact that PI-Calculus lacks for capability of modeling and analyze them. This paper proposes a PI-Calculus extended with price information-Price PI-Calculus. Firstly, it associates energy cost with process in PI-Calculus through price function. Second, with the help of the semantics of PI-Calculus transitional and price function, it associates the change of collaboration cost with the system evolution. After that a large-scale device control system modeling method based on Price PI-Calculus is presented. Finally, take advantage of operational and transitional semantics and a formal deduction, function correctness of device collaboration has been checked, in the meantime the system energy consumption has also been analyzed, it is very useful for choosing the energy-saving flow of device collaboration. © 2013 Springer Science+Business Media, LLC.
收录类别EI
语种英语
WOS记录号WOS:000320781900082
公开日期2013-09-17
源URL[http://ir.iscas.ac.cn/handle/311060/15226]  
专题软件研究所_软件所图书馆_期刊论文
推荐引用方式
GB/T 7714
Deng Pan,Zhang Jianwei,Rong Xiaohui,et al. a model of large-scale device collaboration system based on pi-calculus for green communication[J]. Telecommunication Systems,2013:1-14.
APA Deng Pan,Zhang Jianwei,Rong Xiaohui,&Chen Feng.(2013).a model of large-scale device collaboration system based on pi-calculus for green communication.Telecommunication Systems,1-14.
MLA Deng Pan,et al."a model of large-scale device collaboration system based on pi-calculus for green communication".Telecommunication Systems (2013):1-14.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。