Title | ||
---|---|---|
A model of large-scale Device Collaboration system based on PI-Calculus for green communication |
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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/s11235-011-9643-9 | Telecommunication Systems |
Keywords | Field | DocType |
Large-scale device collaboration, PI-Calculus, Price, Green communication | Industrial engineering,Electricity,Efficient energy use,Computer science,Pi calculus,Correctness,Computer network,Operations research,Control system,Energy consumption,Dynamical system,Semantics | Journal |
Volume | Issue | ISSN |
52 | 2 | 1572-9451 |
Citations | PageRank | References |
8 | 0.77 | 17 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pan Deng | 1 | 8 | 0.77 |
Jianwei Zhang | 2 | 353 | 71.98 |
Xiaohui Rong | 3 | 127 | 5.99 |
Feng Chen | 4 | 142 | 11.08 |