modeling the large-scale device control system based on pi-calculus

ISCAS OpenIR

	modeling the large-scale device control system based on pi-calculus
	Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng
	2011
发表期刊	ADVANCED SCIENCE LETTERS
ISSN	1936-6612
卷号	4 期号:6-7 页码:2374-2379
摘要	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.
收录类别	SCI
关键词	Large-scale Device Control Device Control Model Device Collaboration Pi-calculus
部门归属	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.
学科领域	Science & Technology - Other Topics
资助者	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
语种	英语
WOS记录号	WOS:000295057600090
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16083
专题	中国科学院软件研究所
推荐引用方式 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.