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

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	modeling the large-scale device control system based on pi-calculus
	Deng Pan ; Zhang Jianwei ; Rong Xiaohui ; Chen Feng
刊名	ADVANCED SCIENCE LETTERS
	2011
卷号	4 期号:6-7 页码:2374-2379
关键词	Large-Scale Device Control Device Control Model Device Collaboration PI-Calculus
ISSN号	1936-6612
中文摘要	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.
学科主题	Science & Technology - Other Topics
收录类别	SCI
资助信息	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
公开日期	2013-10-08
内容类型	期刊论文
源URL	[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.