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

基于可扩展端口技术实时领域分层递阶建模方法 　　摘要 在采用模型驱动的开发（MDD方法对复杂实时系统进行建模设计时，单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法，该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展，采用可扩展标记语言（XML实现端口的描述，利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明，与单层模型相比，分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述，从而提高实时领域模型的可读性和可复用性。 　　关键词 实时模型驱动开发方法；分层递阶建模；可扩展标记语言；端口技术；信道通信 　　中图分类号 TP302.1 　　文献标志码 A 　　0 引言 　　模型驱动的软件开发（Model Driven Development， MDD方法的主要思想是提炼出特定领域内的一组相对核心的元模型，使用它们建立平台无关模型（Platform Independent Model， PIM，然后面向不同的开发平台和应用平台，自动转换为相对应的平台相关模型（Platform Specific Model， PSM [1-3]。采用MDD方法设计和开发实时领域软件有利于实现实时系统程序设计的一致性、异构性、快速性、可靠性、可复用性和易维护性，因此得到了研究人员的广泛关注。 　　对实时领域MDD建模方法的研究尚处于起步阶段，国内外主要研究包括 　　美国UC Berkeley开发的PtolemyII[4]，研究采用具有并行特性的独立执行实体Actor，可以通过同步或异步的传递方式实现Actor间的消息通信，但Actor未对多任务交互中的实时语义展开研究；Telelogic公司推出的模型驱动嵌入式软件开发集成环境Rhapsody[5]，它支持各种统一建模语言（Unified Modeling Language， UML的建模图形语言，但是只包括5种基本的动作模型，无法满足实时交互行为建模。美国国防先进研究计划局（Defense Advanced Research Projects Agency， DARPA研究的基于嵌入式集成软件系统 （ModelBased Integration of Embedded Software， MOBIES计划[6]。对具体行为的分解和提炼也是基于UML的类结构，且不提供功能与时序的同步建模。国内浙江大学研究的图形化建模工具SmartDesigner[7]。软件则是专为车载实时操作系统设计，局限性较大。 　　由于实时控制软件以多任务并行执行为主要运行机制，开发过程主要集中于各种交互行为的具体建模，对行为的执行时序和行为使用的资源具有严格的要求，其语义体系也更加具体和复杂[8]。因此在使用MDD进行该领域的软件开发时，如何构建完整、清晰的可视化源模型、构建细致的行为交互模型以及如何保证实时语义在源模型中得到完整的体现是实现该方法的重要基础。 　　当前各种对模型驱动建模方法的研究主要针对的是单层建模，即在一个单一的层次中使用若干个基本元模型建模。但由于实时系统的复杂特性，多任务之间的实时交互行为模型也更繁琐，继续使用单层建模方法将会降低可视源模型的可读性和清晰度，容易产生错误，难以支持实时控制领域的模型驱动设计方法。因此，有必要对模型驱动的建模方法展开进一步的研究，找到一种新的方法以解决复杂实时控制系统建模时复杂结构不清晰的问题。 　　本文以模型驱动的实时控制软件设计方法研究为基础，提出了一种分层递阶的实时多层建模方法，并给出了基于可扩展端口的元模型技术及可扩展标记语言（eXtensible Markup Language， XML描述方法的端口通信技术的实现方法。该方法引入输入端口和输出端口对现有的对象元模型进行扩展，采用XML语言描述端口的语义，进而通过端口的状态匹配及基于信道的消息传递方法实现异层模型不同任务之间的通信，从而完成并行交互的多任务在不同层次中的建模和通信。对AGVS（Automatic Guided Vehicle System的建模结果显示，与单层建模方法相比较，使用该方法可以有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述，提高实时领域模型的可读性和可复用性，从而为在实时领域内建立多任务和复杂交互关系的模型驱动设计方法描述提供了一种有效的解决方案。 　　第3期 　　王彬等：基于可扩展端口技术的实时领域分层递阶建模方法 　　1分层递阶的实时领域模型驱动开发方法 　　1.1模型驱动的实时控制软件开发方法 　　基于模型驱动的实时控制软件开发方法原理如图1所示，通过对模型和元模型技术的应用，调用图形化元模型建立