Expansion Design and Petri Net Validation of Interactive Control Protocol

Journal of Liaoning Petrochemical University ›› 2007, Vol. 27 ›› Issue (1): 67-69.

Previous Articles Next Articles

Expansion Design and Petri Net Validation of Interactive Control Protocol

School of Computer and Communication Engineering , Liaoning University of Petroleum &Chemical Technology ,Fushun Liaoning 113001, P. R. China

Received:2006-09-20 Published:2007-03-20 Online:2017-07-05

交互控制协议的扩充设计及Petri 网验证

韩冬艳, 侯彤璞^*

辽宁石油化工大学计算机与通信工程学院, 辽宁抚顺113001

作者简介:韩冬艳(1981 - ), 女, 辽宁凌源市, 在读硕士。

Abstract

Abstract:

Remote control is a core function of the remote digital video monitoring system. At present , remote control is seldom implemented by self - defined protocol. The function of existing interactive control protocol has some deficiencies. In particular , the problem of user limits of authority involved in the situation of multi - user and multi - camera is not solved. Aiming at the problem , inter active control protocol was extended, including the design of request methods and message headers , making the function of interactive control protocol more perfect. In order to ensure the integrality of the protocol,based on the protocol principle of operation and considering the situation of data gram loss in channel transmission , a Petri net model for inter active control protocol was established. Finally , the integrality validation of the protocol was implemented through a reachable tree.

Key words: 　Inte ractive control protocol, , Expansion design, , Petri net , , Protocol validation

摘要： 　远程控制是远程数字视频监控系统的核心, 目前很少使用自定义的协议来实现远程控制功能, 已有的交互控制协议功能还存在一些不足, 尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计, 包括请求方法和标头的设计, 使得交互控制协议功能更加完善。为保障协议设计的完整性, 结合协议工作原理, 并考虑报文在信道传输中丢失的情况对交互控制协议建立Pe tri 网模型, 最后通过可达树对协议进行完整性验证。

关键词: 交互控制协议, , 扩充设计, , Petri 网, , 协议验证

HAN Do ng - yan,HO U Tong - pu . Expansion Design and Petri Net Validation of Interactive Control Protocol[J]. Journal of Liaoning Petrochemical University, 2007, 27(1): 67-69.

韩冬艳, 侯彤璞. 交互控制协议的扩充设计及Petri 网验证[J]. 辽宁石油化工大学学报, 2007, 27(1): 67-69.

[1]	Zhao Donghui， Zhang Jinhui， Wang Zhipeng. Analysis of Oil & Gas Pipeline Transportation Leakage and Its Emergency Management Mechanism [J]. Journal of Liaoning Petrochemical University, 2018, 38(04): 68-71.
[2]	. Removal of Sulfides from Simulated Oil by CH₃CONH₂/ZnCl₂ Deep Eutectic Solvent [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 1-7.
[3]	LiuYujuan,XuJi,TongYufei,et al. Progress in Research of the Synthesis Methods of Nanometer Ceria [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 8-12.
[4]	Liu Jindong,He Xin,Xin Dingye,et al. Change Law of Four Fractions in Residue Hydrotreating Catalyst Grading System [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 13-16.
[5]	Wu Hao， Ma Guiyang， Xiang Nan，et al. The Effect Analysis of Settlement of Soil on Stress Fields of  Horizontal Section of Crossing Pipeline Structure [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 22-25.
[6]	Yan Rongju， Wang Weiqiang， Li Zimeng，et al. Progress of Severe Slugging in Marine Riser System [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 26-30.
[7]	Wang Long. Application of Seismic Reconstruction Inversion in Prediction of River  Channel of X Development Zone in Daqing Placantieline [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 31-37.
[8]	Zhu Bomin. Optimization of Well Spacing in Gaotaizi Reservoir  of Sazhong Development Zone [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 38-43.
[9]	Ma Jing,Jin Kejun,Liang Yufeng,et al. Study on Comprehensive Evaluation for Engineering  Mode of Offshore Oil and Gas Fields [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 44-48.
[10]	Fan Dengshuai,Gao Peng, Liu Zhihui，et al. A Method of Connection Reliability Analysis of Bolted Flange Systems [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 49-52.
[11]	Wu Zhiyong,Liu Yang,Gao Yang,et al. An Investigation on the Time Relaxation Parameter Used in Boiling  Simulation of Helical Coil Heat Exchanger ShellSide [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 53-60.
[12]	Gao Yang,Han Yunping,Pan Zhen,et al. Static Simulation Research and System Design of Gas Transmission Pipeline Network [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 61-66.
[13]	Fu Chun,Sun Xianglei,Wang Kun,et al. Research on Improved EMD Algorithm Based on FastICA [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 67-70.
[14]	Luan Xiuyun， Ling Xiaoqing， Yu Dan. Empirical Study on the Influence of Transformational  Leadership and Employee Innovation Behavior： The Mediators of Psychological Empowerment [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 71-75.
[15]	Li Qi， Jin Hui， Zhang Chunshu， Wang Yajun. Comprehensive Evaluation of the City Real Estate  Market Based on Factors Analysis [J]. Journal of Liaoning Petrochemical University, 2017, 37(5): 76-80.

Expansion Design and Petri Net Validation of Interactive Control Protocol

交互控制协议的扩充设计及Petri 网验证

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics