Institutional Repository
| modeling the large-scale device control system based on pi-calculus | |
| Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng | |
| 2011 | |
| Source | ADVANCED SCIENCE LETTERS
 |
| ISSN | 1936-6612 |
| Volume | 4Issue:6-7Pages:2374-2379 |
| English Abstract | The modeling and simulation of large-scale device control systems is an important issue for seamless integration and collaboration of distributed device integration. Based on the advantage of PI-Calculus in modeling concurrent and dynamic systems, a method concentrating on the modeling of large-scale device control system is presented. Firstly, a new device state PI-Calculus is proposed to further strength its capability in managing the life-cycle of system state. Secondly, it transforms device behaviors and interactions into device state PI-Calculus processes. Following that, based on the formal semantics of device state PI-Calculus, the correctness of device collaboration flow is verified by the deduction of PI-Calculus. With the help of operational and transitional semantics and a formal deduction, our method can discover system problems in design stage, thus improve architecture correctness and execution stability of device control systems.; The modeling and simulation of large-scale device control systems is an important issue for seamless integration and collaboration of distributed device integration. Based on the advantage of PI-Calculus in modeling concurrent and dynamic systems, a method concentrating on the modeling of large-scale device control system is presented. Firstly, a new device state PI-Calculus is proposed to further strength its capability in managing the life-cycle of system state. Secondly, it transforms device behaviors and interactions into device state PI-Calculus processes. Following that, based on the formal semantics of device state PI-Calculus, the correctness of device collaboration flow is verified by the deduction of PI-Calculus. With the help of operational and transitional semantics and a formal deduction, our method can discover system problems in design stage, thus improve architecture correctness and execution stability of device control systems. |
| Indexed Type | SCI |
| Keyword | Large-scale Device Control Device Control Model Device Collaboration Pi-calculus |
| Department | Deng Pan Chinese Acad Sci Lab Parallel Comp Inst Software Beijing 100190 Peoples R China. Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng Beihang Univ State Key Lab Software Dev Environm Beijing 100191 Peoples R China. |
| Subject | Science & Technology - Other Topics |
| Sponsorship | National Program on Key Basic Research Project (973 Program) in ChinaG2005CB321902; National Key Technology R&D Program in China2006BAK12B11; State Key Laboratory of Software Development Environment.SKLSDE-2010ZX-06 |
| Language | 英语 |
| WOS ID | WOS:000295057600090 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16083 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Deng Pan,Zhang Jianwei,Rong Xiaohui,et al. modeling the large-scale device control system based on pi-calculus[J]. ADVANCED SCIENCE LETTERS,2011,4(6-7):2374-2379. |
| APA | Deng Pan,Zhang Jianwei,Rong Xiaohui,&Chen Feng.(2011).modeling the large-scale device control system based on pi-calculus.ADVANCED SCIENCE LETTERS,4(6-7),2374-2379. |
| MLA | Deng Pan,et al."modeling the large-scale device control system based on pi-calculus".ADVANCED SCIENCE LETTERS 4.6-7(2011):2374-2379. |
| 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