a model of large-scale device collaboration system based on pi-calculus for green communication

ISCAS OpenIR

	a model of large-scale device collaboration system based on pi-calculus for green communication
	Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng
	2013
发表期刊	Telecommunication Systems
ISSN	1018-4864
页码	1-14
摘要	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
关键词	Communication Costs Energy Efficiency Energy Utilization Semantics
部门归属	(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
语种	英语
WOS记录号	WOS:000320781900082
引用统计
内容类型	期刊论文
URI标识	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.