模型驱动开发

摘要： 模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型的代码生成能力却参差不齐,特别是对于数据分支组件的支持,当前主流的建模工具都采用各种方式来回避复杂的分支建模及对应的代码生成.但是,分支建模是非常重要的,使用分支组件可以更清晰地表现出数据流的数据传递逻辑.为了解决复杂分支建模带来的代码生成难题,针对具有复杂分支组合的数据流模型.提出了一种基于分支调度标记的代码生成方法.在所提出的算法中,首先通过拓扑排序确定模型的调度顺序,再根据不同分支的影响对组件进行分支标记;之后,根据组件的分支标记构造一个基于控制流的代码生成位置表;最后,即可根据代码生成位置表进行各种主流语言的代码生成.通过构造4个具有复杂分支的数据流模型实例进行代码生成,并在生成代码行数和运行时间等方面与Simulink和Ptolemy进行对比,进一步说明该代码生成方法在复杂分支组合情况下的通用性以及所做工作的价值和意义.

摘要： 在模型驱动开发过程中,为了减轻开发人员的负担,通常采用自动工具生成代码框架。本文提出了一种基于活动图与顺序图自动生成代码框架的方法,并且基于该方法开发了原型工具。首先,给出了活动图和顺序图的形式化表达;其次,基于活动图和顺序图模型提出了三个实现自动代码生成的算法,该算法是通过活动图来描述对象内部的活动次序,并且利用顺序图体现对象之间的交互;最后,给出了一个原型工具,实现了模型到代码框架的自动转换。该工作可以确保转换的正确性,并且提高软件开发效率。

摘要： 国家电网公司的公共数据模型(SG-CIM)已经更新至4.8版本,但在很多领域仍未足够精细.基于项目管理业务给出一种建模的技术路线,并就模型的应用给出建议;以华东分部的各业务系统中关于项目管理部分的信息为依据,以业务流程为导向;参考IEC 61968-100标准中InfERPSupport包中的类,以及企业资源计划(ERP)中对于组织和人员的描述,使得给出的模型能够抽象项目管理全业务;最后基于该领域模型完成基于开放应用程序组集成规范(OAGIS)的系统间信息交互设计.

摘要： 在模型驱动开发过程中,为了减轻开发人员的负担,通常采用自动工具生成代码框架.本文提出了一种基于活动图与顺序图自动生成代码框架的方法,并且基于该方法开发了原型工具.首先,给出了活动图和顺序图的形式化表达;其次,基于活动图和顺序图模型提出了三个实现自动代码生成的算法,该算法是通过活动图来描述对象内部的活动次序,并且利用顺序图体现对象之间的交互;最后,给出了一个原型工具,实现了模型到代码框架的自动转换.该工作可以确保转换的正确性,并且提高软件开发效率.

摘要： 模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型.用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求.针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计.实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用.

摘要： 模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。

摘要： 随着智能家居技术的快速发展,终端用户对移动界面的应用提出越来越高的要求,目前在用户和移动界面交互方面还需进一步的研究.因此,针对智能家居移动界面的应用,运用了一种基于IFML标准的模型驱动的移动应用建模方法,通过定义容器和组件扩展、上下文扩展及事件扩展并使用可视化建模语言对智能家居移动界面进行建模,生成的中央控制器、空气质量检测、语音遥控和摄像头移动界面比传统的移动界面具有更强的交互性和更好的用户体验.

摘要： 为解决日益复杂的Web应用程序前端界面的设计问题,文中提出了一种基于IFML生成用户界面的建模方法,首先介绍IFML对Web应用的扩展,该模型转换方法的优势以及开发环境,其次给出了从IFML映射到该设计环境中的具体方法,最后进行了总结以及对未来的展望.

摘要： 高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、车门开门防护、车门/站台门联动控制等智能化功能.本文研究了基于SCADE的模型驱动软件开发技术,并将其应用在车-地通信功能设计开发过程中.通过对模型进行验证、仿真测试和集成测试,最终验证了开发结果的正确性.

摘要： 为解决模型驱动开发中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上引入进程代数,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制.应用研究表明,该框架很好地遵循了模型驱动开发的理念实质和过程要求,为基于模型转换的软件开发研究提供了新的理解、认知学习和推进的指导架构.

摘要： 模型驱动开发技术通过不同抽象层次模型的建立和转换,可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程,研究了基于Agent的模型转换技术,并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型,将基于特定平台所建立起来的模型视为平台相关模型,支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台,建立了ODAM元模型和JADE元模型间的映射关系,提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则,开发了相应的支撑软件工具ODAMTransformer,通过案例分析和演示展示了技术和工具的可行性和有效性。

摘要： 普适计算环境的高度动态复杂异构使得用构件中间件开发应用系统时，部署和配置环节特别重要，但多数构件中间件中都缺乏有效的部署与配置工具。模型驱动开发是可以解决大型信息系统集成与组合问题，且能适应构件中间件技术发展的一种新兴模式。本文描述了基于模型驱动的思想，在通用建模环境中以轻量级 CCM 和基于构件的分布式应用的部署与配置规范为元模型，并以 XML 元数据交换和针对 CORBA 的 UML 特征文件为映射规则的部署与配置工具的研究与实现。

摘要： 为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分.然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持.

摘要： 使用神经语言编程和机器学习机制，基于行为驱动开发步骤定义和相似性分析，从行为驱动开发场景生成测试模型。本发明涉及一种用于在行为驱动开发（BDD）环境中自动验证软件程序的方法以及被配置为执行这样的方法的数据处理系统。首先匹配BDD测试场景的单独的测试步骤，然后将其分派给来自BDD框架的现有测试步骤定义。如果一对一的匹配是不可能的，则自然语言处理（NLP）被用来决定所述分派是否可能具有一定的匹配概率。所分派的测试步骤定义用于为测试场景生成图形测试模型，例如UML图。最后，生成可执行的测试脚本来测试软件程序。本发明特别是涉及行为驱动开发（BDD），并且将传统的BDD优点与基于模型的测试（MBT）相组合，以用于在复杂软件包的情况下的改进的便利性和自动化。自动化的步骤匹配允许BDD步骤短语到测试自动化框架的有效映射，并支持必要框架代码的结构化开发。图形测试模型增加了附加的抽象层，并提供了检查BDD场景的一致性和完整性的机会。

摘要： 提供了用于使用模型驱动开发(MDD)途径来开发基于移动的应用的方法和系统。该系统包括用于捕获来自用户的多个要求的元建模模块。基于所捕获的要求，用户接口建模器设计用于基于移动的应用的至少一个屏幕。并且，屏幕流建模器设计在屏幕之间的导航。基于由用户选择的技术平台，系统使用代码生成器模块来生成用于该特定技术平台的代码。并且最终，所生成的代码使用用于一个或多个技术平台的移动应用捆绑模块来捆绑。

摘要： 本公开内容涉及用于模型驱动开发的方法和系统。在一个实施例中，提供一种用于模型驱动开发的方法，包括：分析程序代码以确定所述程序代码的语句的执行顺序，所述程序代码通过对模型执行第一转换而生成，所述模型包含对所述程序代码所实现的业务的抽象描述；将所述程序代码的所述语句的至少一部分分组为功能块；基于所述执行顺序和所述功能块创建所述程序代码的可视化表示；以及基于用户对所述可视化表示的标注，确定所述程序代码中待保留的代码片段，所述代码片段将被保留在通过对所述模型执行第二转换而生成的新程序代码中，所述第二转换在所述第一转换之后被执行。还描述了相应的系统。

摘要： 一种应用插件扩充模型驱动开发能力的系统及其方法，该系统和方法提出了“模型+插件”的组合方式来描述构建软件系统，先用模型设计工具建立软件系统的基本模型描述，再建立若干可复用的插件模型进一步描述基本模型对象，插件模型可以在各种基本模型对象上进行任意扩展，插件可以完成任意复杂度的软件功能，从而实现了对模型驱动开发能力的扩充。本发明解决了现有的模型驱动开发方法采用一套固定模型对复杂业务系统描述能力不足以及无法在运行态可视的、动态的用模型驱动开发方法构建、扩充和维护软件系统等技术问题，使用本发明方法开发系统，具有开发复杂度低、开发速度快，技术复用程度高，开发的系统具有扩展灵活、维护方便、可靠性高的优点。

摘要： 提供了用于使用模型驱动开发(MDD)途径来开发基于移动的应用的方法和系统。该系统包括用于捕获来自用户的多个要求的元建模模块。基于所捕获的要求，用户接口建模器设计用于基于移动的应用的至少一个屏幕。并且，屏幕流建模器设计在屏幕之间的导航。基于由用户选择的技术平台，系统使用代码生成器模块来生成用于该特定技术平台的代码。并且最终，所生成的代码使用用于一个或多个技术平台的移动应用捆绑模块来捆绑。

摘要： 本发明公开了一种基于特定领域建模的模型驱动开发方法，以行为建模为核心建立符合MMLs5级的可执行模型，以模型解析执行机制替代代码生成器，并与领域框架相结合成为特定领域模型执行基础设施，同时以标准化、自包含、自描述、模块化的WEB服务提升代码实现的抽象层次，封装代码实现的细节，将特定领域的相关软件功能实体以WEB服务集群的方式提供给特定领域模型执行基础设施，以行为模型的解析执行来驱动系统的运行。本发明旨在解决软件生成问题，实现由模型转化为可执行的最终系统；其中熟悉需求的最终用户构建应用模型，领域专家进行领域分析元建模，技术专家开发特定领域支撑服务，在模型执行基础设施中整合形成可执行软件。

摘要： 本公开内容涉及用于模型驱动开发的方法和系统。在一个实施例中，提供一种用于模型驱动开发的方法，包括：分析程序代码以确定所述程序代码的语句的执行顺序，所述程序代码通过对模型执行第一转换而生成，所述模型包含对所述程序代码所实现的业务的抽象描述；将所述程序代码的所述语句的至少一部分分组为功能块；基于所述执行顺序和所述功能块创建所述程序代码的可视化表示；以及基于用户对所述可视化表示的标注，确定所述程序代码中待保留的代码片段，所述代码片段将被保留在通过对所述模型执行第二转换而生成的新程序代码中，所述第二转换在所述第一转换之后被执行。还描述了相应的系统。

摘要： 本发明公开了一种基于DSL理念的优化模型驱动开发方法和装置，其中，基于DSL理念的优化模型驱动开发方法，包括，建立后端的元数据模板；建立后端的用户界面模板；建立前端的用户界面模板；建立前端的业务模板；架构前后端用户界面模板的转换框架；输出物理工作文件，即根据请求参数加载后端的元数据模板、后端的用户界面模板、前端的用户界面模板和前端的业务模板中的模板文件，解析模板文件中的指令，生成最终物理工作文件，然后在前端浏览器上加载物理工作文件。实现能将逻辑模型转换成满足非功能性需求的物理文件的优点。

摘要： 一种应用插件扩充模型驱动开发能力的系统及其方法，该系统和方法提出了“模型+插件”的组合方式来描述构建软件系统，先用模型设计工具建立软件系统的基本模型描述，再建立若干可复用的插件模型进一步描述基本模型对象，插件模型可以在各种基本模型对象上进行任意扩展，插件可以完成任意复杂度的软件功能，从而实现了对模型驱动开发能力的扩充。本发明解决了现有的模型驱动开发方法采用一套固定模型对复杂业务系统描述能力不足以及无法在运行态可视的、动态的用模型驱动开发方法构建、扩充和维护软件系统等技术问题，使用本发明方法开发系统，具有开发复杂度低、开发速度快，技术复用程度高，开发的系统具有扩展灵活、维护方便、可靠性高的优点。

摘要： 本发明提供一种实现信息辅助录入功能的模型驱动开发方法，目的是将信息辅助录入功能的开发晋升为模型的简单配置，实现功能的快速开发以及通过模型修改实现对业务需求变化的快速响应，解决传统方式实现信息辅助录入功能技术要求高和开发速度慢的问题，与现有技术相比，本发明的方法简单配置模型，让引擎直接运行模型的方式来完成功能，不需要手工编写代码，通过使用该方法，可以简单快速的实现各种形式的信息辅助录入功能。