基于UML状态图和Qt状态机框架的IEC104规约的分析与实现

发布时间：2017-11-24 03:06

  本文关键词：基于UML状态图和Qt状态机框架的IEC104规约的分析与实现

  更多相关文章： IEC -- 统一建模语言UML 状态图 有限状态机 Qt

【摘要】：为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动机框架进行了软件实现。结果表明,设计出的状态图层次结构分明,逻辑关系清晰,各功能模块间相互独立,而且降低了耦合度,编程实现简单明了,体现了这种方法的优越性,对其他复杂通信规约的开发也具有一定的参考价值。
【作者单位】： 许继电气直流输电系统公司;
【分类号】：TM73
【正文快照】： 0引言IEC 60870-5-104[1]规约是IEC 60870-5-101远动通信规约的以太网实现方式,与IEC101规约相比,增加了防止报文丢失及异步确认机制使数据传输更加可靠和高效,因此不仅在厂站与调度系统的通信中使用,也应用于变电站监控系统、智能辅助系统、EMS系统和铁路系统装置通信中[2-6]

【相似文献】

中国期刊全文数据库 前10条

1 ;第二讲 功能状态图[J];电测与仪表;1980年08期

2 王沁;开发多任务系统的一种方法──广义状态图方法[J];北京科技大学学报;1994年01期

3 公维书;推进轴系偏折方程及轴线状态图[J];大连海运学院学报;1979年04期

4 游文明;铁—碳合金状态图教学的实践与思考[J];扬州职业大学学报;1999年03期

5 刘亚宇,杨文松;PLC程序设计的新方法与推广应用[J];电工技术杂志;2001年01期

6 张涛;黄少滨;黄宏涛;吕天阳;刘刚;;一种UML状态图模型检测方法[J];哈尔滨工程大学学报;2011年08期

7 陈振庆;;基于时序描述逻辑的UML状态图形式化验证[J];制造业自动化;2012年02期

8 王世清;;铝锌二元合金状态图中某几个问题的研究[J];山东工学院学报;1957年02期

9 王佳婧;侯秀萍;;基于层次自动机和模型检测的UML状态图检测方法[J];硅谷;2010年23期

10 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期

中国重要会议论文全文数据库 前3条

1 林向阳;阮榕生;陈卫江;张锦胜;刘玉环;饶平凡;;不同配方面包制品的核磁共振状态图的研究[A];中国食品科学技术学会第五届年会暨第四届东西方食品业高层论坛论文摘要集[C];2007年

2 林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年

3 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年

中国博士学位论文全文数据库 前2条

1 褚华;面向对象软件动态模型抽象与转换技术研究[D];西安电子科技大学;2007年

2 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年

中国硕士学位论文全文数据库 前10条

1 袁翠;基于UML状态图的测试生成研究[D];华中师范大学;2009年

2 刘舒婷;顺序图与状态图的一致性研究[D];吉林大学;2006年

3 黄吉亚;状态图到C++上的映射方法研究[D];昆明理工大学;2009年

4 段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年

5 张涛;层次化建模中状态图建模技术的研究与实现[D];西安电子科技大学;2011年

6 崔光霁;UML状态图的形式化研究[D];太原理工大学;2011年

7 朱蕾蕾;基于UML状态图的软件性能测试研究[D];长春理工大学;2012年

8 郭冬阳;基于模板技术的UML状态图代码框架生成[D];西安电子科技大学;2013年

9 吕威;基于故障扩展状态图的软件安全性验证方法研究[D];南京航空航天大学;2014年

10 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年

，

本文编号：1220768