中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Science & Technology - Other Topics
Title:
modeling the large-scale device control system based on pi-calculus
Author: Deng Pan ; Zhang Jianwei ; Rong Xiaohui ; Chen Feng
Keyword: Large-Scale Device Control ; Device Control Model ; Device Collaboration ; PI-Calculus
Source: ADVANCED SCIENCE LETTERS
Issued Date: 2011
Volume: 4, Issue:6-7, Pages:2374-2379
Indexed Type: SCI
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.
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
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.
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.
Language: 英语
WOS ID: WOS:000295057600090
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16083
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. modeling the large-scale device control system based on pi-calculus[J]. ADVANCED SCIENCE LETTERS,2011-01-01,4(6-7):2374-2379.
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-2020  中国科学院软件研究所 - Feedback
Powered by CSpace