作者:侯金奎; 万建成; 王帅强 期刊:《工程科学与技术》 2007年第S1期
为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无...
CMMI只是一种描述性的规范,但它并未告诉你满足规范的方法,闭环跟踪则可以做到。
作者:郭伟; 钱金龙; 陈希; 臧一佩 期刊:《铁道通信信号》 2019年第07期
高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、车门开门防护、车门/站台门联动控制等智能化功能.本文研究了基于SCADE的模型驱动软件开发技术,并将其应用在车-地通信功能设计开发过程中.通过对模型进行验证、仿真测试和集成测试,最终验证了开发结...
作者:邓刘梦; 葛晓瑜; 宛伟健 期刊:《计算机技术与发展》 2019年第10期
航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,它支持在早期就对系统进行安全分析和验证,有效地控制开发时间和成本,并降低系统出现风险的可能性。但与此同时,需求与设计模型之间仍然存在着沟壑,设计模型是否很好地满足用户所提出的需求在完成系统设计后仍需验证。针对系统建模语言缺乏精确形式化语...
通用汽车公司表达了公司的下一个聚焦点:基于软件的汽车。通用汽车公司称其为:“新的汽车DNA99,希望它能够帮助公司在竞争越来越激烈的全球汽车业中保持领先地位。这也意味着以后通用汽车公司的研发人员中,软件工程师会越来越多。通用汽车公司发言人Robert Baillargeon在10月22.25日举办的IBM CASCON2007上,对此举措发表了演讲,并谈到了UML在其中的作用。联想到之前Telelogic的Rhapsody For Automotive,把汽车平台上的软件...
本文介绍了集统一软件开发和敏捷开发方法优点于一体的新型软件开发方法——模型驱动开发。
在软件开发过程中,一直存在着两个问题:第一,软件工程师与系统工程师的交互比较困难,因为二者缺乏共同的交流平台;第二,软件开发工程师通常根据项目经理的命令写代码,无缘真正了解客户对产品的需求。模型驱动开发(Model Driven Development,简称MDD)的应用,很好地解决了这两个问题。所谓模型驱动开发,就是将开发过程用统一的模型来表示。模型的一个主要用途是消除开发过程中各参与方之间的隔阂,需求工程师,系统分析员,软件开发...
根据欧洲市场调查公司MediaDev最,近的研究报告,模型驱动开发在欧洲的接纳程度进一步增大。吸纳模型驱动开发的公司,满意度达到92%。关于使用的模型驱动开发路线,74%的公司认同MDA/UML路线,另外一部分则认同Microsoft和MetaCase等公司推行的DSM(领域特定建模)路线。
作者:朱汇龙; 刘晓燕; 张雪梅; 李丹丹; 曹荣凯 期刊:《软件》 2017年第11期
IFML(Interaction Flow Modeling Language)的目标是为系统架构师、软件工程师和软件开发人员提供描述应用程序前端主要维度的交互流模型的定义工具。用于Web和移动应用程序开发的各种不同平台且需要快速原型设计和多个版本的评估。模型驱动开发(MDD)以文本或视觉语言来代表高级应用程序,可用于通过模型到模型、模型到代码自动转换最终生成产品。我们描述了IFMLEdit.org,一个开源的在线MDD工具,用于从IFML规范自动生成Web和...
作者:张征; 何克清; 刘进 期刊:《计算机应用研究》 2005年第10期
尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换.为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基于OCL定义了转换规则的表示法,并结合UML模型到Java模型的转换给出了转换规则的定义.最后在一个具体的实例中验证了此方法的合理性和易用性.
作者:曹荣凯; 刘晓燕; 朱汇龙; 乐婷婷; 李丹丹; 惠子青 期刊:《信息技术》 2019年第05期
为解决日益复杂的Web应用程序前端界面的设计问题,文中提出了一种基于IFML生成用户界面的建模方法,首先介绍IFML对Web应用的扩展,该模型转换方法的优势以及开发环境,其次给出了从IFML映射到该设计环境中的具体方法,最后进行了总结以及对未来的展望。
作者:乐婷婷; 刘晓燕 期刊:《软件导刊》 2018年第04期
现有软件应用程序可分为移动版本和Web版本两大类,但这些应用程序通常只能应用于其中一个平台(移动或Web平台),而不能同时适用于另一个平台。目前的解决方案是开发两个不同程序,通过不同的设计方法和工具实现,但该方式需要双重的开发和维护成本。为解决该问题,提出一个名为WebRatio Platform的综合工具套装软件,用于Web和移动应用程序的模型驱动开发,能够同时支持Web和移动应用程序设计。该工具是根据IFML(交互流建模语言)中OMG标...
作者:王庆胜; 朱罕 期刊:《城市轨道交通研究》 2016年第S2期
主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。
作者:侯金奎; 王磊 期刊:《计算机科学》 2017年第04期
为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提...
CMMI只是一种描述性的规范,但它并未告诉你满足规范的方法,闭环跟踪则可以做到。
作者:刘小玲; 吴爱华; 潘巨辉 期刊:《计算机辅助工程》 2007年第01期
针对海军某作战辅助决策系统业务规则复杂、功能齐全的特点,依照模型驱动开发(Modeling-driven Development.MDD)的思想,采用UML建立该系统的需求和结构模型,使用相关工具构建基本框架.建模技术贯穿系统设计和实现的全过程,可以控制和管理前期文档与图表,使其与系统开发同步.
作者:段玉聪; 顾毓清 期刊:《软件学报》 2006年第08期
当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维。对开发方式进行比较.结合这三维的期望演化曲线,给出过程实现模型框架.对于模型驱动开发过程的提高开发效率、增强可跟踪性和保证一致性等非功能性需求有一定的参考意义.
作者:于笑丰; 胡军; 李宣东; 郑国梁 期刊:《计算机科学》 2006年第04期
随着分布式对象技术的发展和电子商务应用的扩大,Web Services技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对Web Services都备加关注。MDA是OMG提出的用于解决不同中间件系统交互和集成问题的新的软件开发方法,是目前软件工程领域最引人注目的研究热点。本文阐述了Web Services和MDA的基本概念,对二者的交叉研究进行了分析和综述,提出了面向Web Services的模型驱动开发框...
作者:陈训威 期刊:《计算机工程与设计》 2006年第18期
首先对模型驱动以及与模型驱动开发密切相关的元模型和模型转换两个问题进行了简要的说明,并介绍了模型转换框架的相关概念,然后对对象约束语言(OCL)进行了相关的讨论,并对基于OCL的模型转换语言的元模型进行了说明.最后,在讨论的基础之上,提出了基于对象约束语言的模型转换语言,为形式化及自动化的模型转换描述与实现提供了一种有效的方法.
作者:颜玉兰; 何克清; 刘进 期刊:《计算机工程》 2006年第01期
为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。