Institutional Repository
| a model of large-scale device collaboration system based on pi-calculus for green communication | |
| Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng | |
| 2013 | |
| Source | Telecommunication Systems
 |
| ISSN | 1018-4864 |
| Pages | 1-14 |
| 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.; 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. |
| Indexed Type | EI |
| Keyword | Communication Costs Energy Efficiency Energy Utilization Semantics |
| 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 |
| Language | 英语 |
| WOS ID | WOS:000320781900082 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15226 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment