中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
a model of large-scale device collaboration system based on pi-calculus for green communication
Author: Deng Pan ; Zhang Jianwei ; Rong Xiaohui ; Chen Feng
Keyword: Communication ; Costs ; Energy efficiency ; Energy utilization ; Semantics
Source: Telecommunication Systems
Issued Date: 2013
Pages: 1-14
Indexed Type: EI
Department: (1) Lab. of Parallel Software and Computational Science Institute of Software Chinese Academy of Sciences Beijing China; (2) State Key Laboratory of Software Development Environment BeiHang University Beijing China
Abstract: 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.
English Abstract: 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.
Language: 英语
WOS ID: WOS:000320781900082
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15226
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
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-01-01:1-14.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Deng Pan]'s Articles
[Zhang Jianwei]'s Articles
[Rong Xiaohui]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Deng Pan]‘s Articles
[Zhang Jianwei]‘s Articles
[Rong Xiaohui]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace