基于可扩展端口技术的实时领域分层递阶建模方法

doi:10.11772/j.issn.1001-9081.2015.03.872

计算机应用 ›› 2015, Vol. 35 ›› Issue (3): 872-877.DOI: 10.11772/j.issn.1001-9081.2015.03.872

基于可扩展端口技术的实时领域分层递阶建模方法

王彬¹, 崔晓杰¹, 何弼², 刘辉¹, 许圣雷¹, 王小俊¹

1. 昆明理工大学信息工程与自动化学院, 昆明 650500;
2. 中国电子科技集团公司第八研究所, 安徽淮南 232000

收稿日期:2014-10-14 修回日期:2014-11-21 出版日期:2015-03-10 发布日期:2015-03-13
通讯作者: 王彬
作者简介:王彬(1977-),女,黑龙江哈尔滨人,副教授,博士,CCF会员,主要研究方向:实时控制、模型驱动的软件设计、复杂系统建模;崔晓杰(1986-),男,河南开封人,硕士研究生,主要研究方向:嵌入式系统设计、数字化视频监控与图像识别系统;何弼(1988-),男,安徽天长人,硕士,CCF会员,主要研究方向:智能控制、工业实时控制;刘辉(1984-),男,陕西蒲城人,讲师,博士,主要研究方向:图像处理与模式识别、实时计算机控制;许圣雷(1989-),男,河南夏邑人,硕士研究生,主要研究方向:嵌入式系统设计、图像处理与模式识别;王小俊(1990-),女,河南濮阳人,硕士研究生,主要研究方向:嵌入式系统设计、图像处理与模式识别
基金资助:
国家自然科学基金资助项目(61263017);云南省自然科学基金资助项目(2011FZ060);昆明理工大学人才培养基金资助项目(KKSY201303120);国家留学基金管理委员会资助项目(留金发[2011]52014号)

Hierarchical modeling method based on extensible port technology in real-time field

WANG Bin¹, CUI Xiaojie¹, HE Bi², LIU Hui¹, XU Shenglei¹, WANG Xiaojun¹

1. Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming Yunnan 650500, China;
2. No. 8 Research Institute, China Electronics Technology Group Corporation, Huainan Anhui 232000, China

Received:2014-10-14 Revised:2014-11-21 Online:2015-03-10 Published:2015-03-13

摘要/Abstract

摘要：

在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展,采用可扩展标记语言(XML)实现端口的描述,利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明,与单层模型相比,分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述,从而提高实时领域模型的可读性和可复用性。

关键词: 实时模型驱动开发方法, 分层递阶建模, 可扩展标记语言, 端口技术, 信道通信

Abstract:

When the Model Driven Development (MDD) method is used in real-time field, it is difficult to describe the whole control system in a single layer completely and clearly. A real-time multi-layer modeling method based on hierarchy theory was presented in this study. The extensible input port and output port were adopted to equip present meta-model technique in real-time field, then the eXtensible Markup Language (XML) was used to describe the ports and the message transfer mechanism based on channel was applied to realize communication between models in mutiple layers. The modeling results for real-time control system show that compared with single layer modeling method, the hierarchical modeling method can effectively support the description of parallel interactions between multiple tasks when using model driven development method in real-time field, as a result it enhances the visibility and reusability of real-time complex system models.

Key words: real-time Model Driven Development (MDD) method, hierarchical modeling, eXtensible Markup Language (XML), port technology, channel communication

中图分类号:

TP302.1

王彬, 崔晓杰, 何弼, 刘辉, 许圣雷, 王小俊. 基于可扩展端口技术的实时领域分层递阶建模方法[J]. 计算机应用, 2015, 35(3): 872-877.

WANG Bin, CUI Xiaojie, HE Bi, LIU Hui, XU Shenglei, WANG Xiaojun. Hierarchical modeling method based on extensible port technology in real-time field[J]. Journal of Computer Applications, 2015, 35(3): 872-877.

参考文献

[1] ATKINSON C, KUHNE T. Model-driven development: a metamodeling foundation[J]. IEEE Software, 2003,20(5):36-41.
[2] WANG B, ZHANG Y, XIONG X, et al. A semantic-based model-driven design method for real-time control software[C]//Proceedings of the 29th Chinese Control Conference. Piscataway: IEEE, 2010:4257-4262.
[3] SENDALL S, KOZACZYNSKI W. Model transformation: the heart and soul of model-driven software development[J]. IEEE Software, 2003,20(5):42-45.
[4] EDWARDS S, LAVAGNO L, LEE E A, et al. Design of embedded systems: formal models, validation, and synthesis[J]. Proceedings of the IEEE, 1997,85(3):366-390.
[5] SCHINZ I, TOBEN T, MRUGALLA C, et al. The Rhapsody UML verification environment[C]//Proceedings of the 2004 2nd International Conference on Software Engineering and Formal Methods. Piscataway: IEEE, 2004:174-183.
[6] MoBIES Automotive Open ExPerimental Platform[EB/OL].[2014-08-12]. http://vehiele.me.berkeley.edu.mobies/.
[7] GU Y. Research and implementation of SmartOSEK integrated development environment[D]. Hangzhou: Zhejiang University, 2005.(古杨.SmartOSEK 集成开发环境研究和实现[D].杭州:浙江大学, 2005.)
[8] WANG B. Research of model transformation based on real-time semantic model and semantic consistency[D]. Kunming: Kunming University of Science and Technology, 2011.(王彬. 基于实时语义模型的模型转换及语义一致性研究[D]. 昆明: 昆明理工大学, 2011.)
[9] HE B,WANG B,GUO L, et al. A hierarchical modeling method based on model-driven development in real-time control system design[C]//Proceedings of the 32th Chinese Control Conference. Piscataway: IEEE, 2013:5357-5362.
[10] CHEN D, WANG B, XUE J, et al. Graphical meta-model construction method of embedded control system[J]. Journal of Computer Applications, 2012,32(11): 3085-3088.(陈德胜,王彬,薛洁,等.嵌入式控制系统图形化元模型构建方法[J].计算机应用,2012,32(11): 3085-3088.)
[11] SARIDIS G N. Analytic formulation of the principle of increasing precision with decreasing intelligence for intelligent machines[J]. Automatica, 1989,25(3):461-467.
[12] SARIDIS G N. Toward the realization of intelligent controls[J]. Proceedings of the IEEE, 1979,67(8):1115-1133.
[13] ZHANG J, ZHANG Y, ZHANG J, et al. A distributed real-time control system modeling and XML-based semantics[C]//Proceeding of the 25th Chinese Control Conference. Piscataway: IEEE, 2006:2014-2017.
[14] LI J, ZHOU M, GENG G, et al. Research and application of heterogeneous data integration based XML[J]. Journal of Computer Applications, 2002, 22(9):10-12.(李军怀,周明全,耿国华,等.XML 在异构数据集成中的应用研究[J].计算机应用,2002,22(9):10-12.)
[15] VELA B, FERNÁNDEZ-MEDINA E, MARCOS E, et al. Model driven development of secure XML databases[J]. ACM Sigmod Record, 2006,35(3):22-27.
[16] McLAUGHLIN B D, EDELSON J. Java and XML[M]. 3rd ed. Sebastopol: O'Reilly, 2006:3-16.
[17] HUNTER D, RAFTER J, FAWCETT J, et al. Beginning XML[M]. 4th Ed. Birmingham: Wrox, 2007:7-18.

基于可扩展端口技术的实时领域分层递阶建模方法

Hierarchical modeling method based on extensible port technology in real-time field

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 10

编辑推荐

Metrics

[1]	张程, 陈付龙, 刘超, 齐学梅. 基于XML的信息物理融合系统组件建模与仿真[J]. 计算机应用, 2019, 39(6): 1842-1848.
[2]	叶廷东黄国健洪晓斌. 基于IEEE1451的智能监控系统数据交换技术研究[J]. 计算机应用, 2013, 33(04): 1183-1186.
[3]	何浩程春玲张征宇张登银. 基于SilkTest和XML的通用高效的用户界面测试方法[J]. 计算机应用, 2013, 33(01): 258-261.
[4]	庄灿伟冯少荣林子雨张东站. XML数据更新编码机制——ITBI[J]. 计算机应用, 2010, 30(9): 2324-2328.
[5]	王保卫申波陈榕. 基于XML的移动设备人机交互引擎[J]. 计算机应用, 2010, 30(9): 2362-2364.
[6]	杨益军周彬. 基于模板的多媒体信息发布系统的设计[J]. 计算机应用, 2009, 29(12): 3391-3393.
[7]	王宇新王政郭禾刘天阳田佳. 基于XML图的RBAC模型研究[J]. 计算机应用, 2009, 29(1): 185-188.
[8]	李时文卢建朱. 快速有效的XML访问控制新方案[J]. 计算机应用, 2009, 29(09): 2336-2338.
[9]	丘威，张立臣. 基于X3D的在线虚拟室内漫游系统的研究与应用[J]. 计算机应用, 2005, 25(08): 1930-1932.
[10]	欧阳柳波，李学勇，杨贯中，李国徽. 基于近似匹配模型的XML元数据检索[J]. 计算机应用, 2005, 25(04): 820-823.