检索结果-维普期刊中文期刊服务平台

基于限定中文自然语言需求的SysML模型自动生成方法被引量：3: 1; 作者鲍阳杨志斌 +5 位作者杨永强谢健周勇岳涛黄志球郭鹏《计算机研究与发展》 EI CSCD 北大核心 2021年第4期706-730,共25页; 模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于... 展开更多; 关键词安全关键信息物理融合系统模型驱动开发方法系统建模语言术语推荐限定自然语言需求模型转换; 在线阅读下载PDF 职称材料

一种SysML模型到AADL模型的自动转换方法被引量：5: 2; 作者马燕燕杨志斌江国华《计算机工程与科学》 CSCD 北大核心 2020年第3期456-466,共11页; 安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使... 展开更多; 关键词安全关键系统模型驱动开发方法 SYSML AADL 模型转换; 在线阅读下载PDF 职称材料

一种模型驱动的可视化生成系统被引量：12: 3; 作者杜一郭旦怀 +2 位作者陈昕任磊戴国忠《软件学报》 EI CSCD 北大核心 2016年第5期1199-1211,共13页; 随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、... 展开更多; 关键词可视化系统用户界面描述语言模型驱动的开发方法最终用户编程; 在线阅读下载PDF 职称材料

模型驱动的大数据流水线框架PiFlow 被引量：8: 4; 作者朱小杰赵子豪杜一《计算机应用》 CSCD 北大核心 2020年第6期1638-1647,共10页; 复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框... 展开更多; 关键词大数据流水线流水线调度模型驱动的开发方法数据处理; 在线阅读下载PDF 职称材料

基于可扩展端口技术的实时领域分层递阶建模方法被引量：3: 5; 作者王彬崔晓杰 +3 位作者何弼刘辉许圣雷王小俊《计算机应用》 CSCD 北大核心 2015年第3期872-877,900,共7页; 在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩... 展开更多; 关键词实时模型驱动开发方法分层递阶建模可扩展标记语言端口技术信道通信; 在线阅读下载PDF 职称材料

题名基于限定中文自然语言需求的SysML模型自动生成方法被引量：3: 1; 作者鲍阳杨志斌杨永强谢健周勇岳涛黄志球郭鹏; 机构南京航空航天大学计算机科学与技术学院高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 航空工业计算所; 出处《计算机研究与发展》 EI CSCD 北大核心 2021年第4期706-730,共25页; 基金国家自然科学基金项目(62072233) 航空科学基金项目(201919052002) 中央高校基本科研业务费专项资金项目(NP2017205)。; 文摘模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.; 关键词安全关键信息物理融合系统模型驱动开发方法系统建模语言术语推荐限定自然语言需求模型转换; Keywords safety-critical cyber-physical system model-driven development SysML glossary recom-mendation restricted natural language requirement model transformation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种SysML模型到AADL模型的自动转换方法被引量：5: 2; 作者马燕燕杨志斌江国华; 机构南京航空航天大学计算机科学与技术学院高安全系统的软件开发与验证技术工信部重点实验室; 出处《计算机工程与科学》 CSCD 北大核心 2020年第3期456-466,共11页; 基金国家自然科学基金(61502231) GF基础科研重点项目(JCKY2016203B011)。; 文摘安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种SysML模型到AADL模型的自动转换方法。首先,定义SysML子集SubSysML,主要包括模块定义图(BDD)、内部模块图(IBD)、活动图(ACT)子集和从IBD和BDD扩展的AADL Profile;其次,定义SubSysML到AADL的转换规则并设计转换算法;然后,对生成的AADL初始模型进行精化;最后,使用EMF框架技术实现SubSysML到AADL的模型转换工具并通过雷达案例验证所提方法的有效性。; 关键词安全关键系统模型驱动开发方法 SYSML AADL 模型转换; Keywords safety-critical system model-driven development SysML AADL model transformation; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种模型驱动的可视化生成系统被引量：12: 3; 作者杜一郭旦怀陈昕任磊戴国忠; 机构中国科学院计算机网络信息中心科学数据中心北京航空航天大学自动化科学与电气工程学院人机交互北京市重点实验室(中国科学院软件研究所); 出处《软件学报》 EI CSCD 北大核心 2016年第5期1199-1211,共13页; 基金国家自然科学基金(61402435,41371386,61572057,61303162) 中国科学院知识创新工程(CNIC_QN_1507)~~; 文摘随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、层次化描述的可视化描述语言,利用DVDL可以对组成可视化的各个部分进行不同抽象层次上的描述.在DVDL基础上,给出一种模型驱动的可视化生成系统DVIZ(data visualization).该系统通过数据源选择、可视化配置、发布与分享这3个步骤以及所见即所得的配置,实现可视化的快速生成;系统支持多可视化图形之间的交互与关联配置;并且该系统基于Web开发,支持多种社交平台,易于分享与传播.; 关键词可视化系统用户界面描述语言模型驱动的开发方法最终用户编程; Keywords visualization system user interface description language model-driven development methodology end user programming; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名模型驱动的大数据流水线框架PiFlow 被引量：8: 4; 作者朱小杰赵子豪杜一; 机构中国科学院计算机网络信息中心中国科学院大学; 出处《计算机应用》 CSCD 北大核心 2020年第6期1638-1647,共10页; 基金国家重点研发计划云计算与大数据重点专项(2018YFB1004001) 国家自然科学基金重点项目(61836013) 中国烟草总公司科技重大专项(110201801019(SJ-01))。; 文摘复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框架PiFlow。首先,将大数据处理过程抽象为有向无环图;然后,开发一系列组件用于构建数据处理流水线,并设计了流水线任务执行机制。同时,为规范和简化流水线框架的描述,设计了基于模型驱动的大数据流水线描述语言--PiFlowDL,该语言以模块化、层次化的方式对大数据处理任务进行描述。PiFlow以所见即所得(WYSIWYG)的方式配置流水线,集成了状态监控、模板配置、组件集成等功能,与Apache NiFi相比有2~7倍的性能提升。; 关键词大数据流水线流水线调度模型驱动的开发方法数据处理; Keywords big data pipeline pipeline scheduling model driven development method data processing; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于可扩展端口技术的实时领域分层递阶建模方法被引量：3: 5; 作者王彬崔晓杰何弼刘辉许圣雷王小俊; 机构昆明理工大学信息工程与自动化学院中国电子科技集团公司第八研究所; 出处《计算机应用》 CSCD 北大核心 2015年第3期872-877,900,共7页; 基金国家自然科学基金资助项目(61263017) 云南省自然科学基金资助项目(2011FZ060) +1 种基金国家留学基金管理委员会资助项目(留金发[2011]52014号); 文摘在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展,采用可扩展标记语言(XML)实现端口的描述,利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明,与单层模型相比,分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述,从而提高实时领域模型的可读性和可复用性。; 关键词实时模型驱动开发方法分层递阶建模可扩展标记语言端口技术信道通信; Keywords real-time Model Driven Development （MDD） method hierarchical modeling eXtensible Markup Language（XML） port technology channel communication; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于限定中文自然语言需求的SysML模型自动生成方法	鲍阳杨志斌杨永强谢健周勇岳涛黄志球郭鹏	《计算机研究与发展》 EI CSCD 北大核心	2021	3	在线阅读下载PDF 职称材料
2	一种SysML模型到AADL模型的自动转换方法	马燕燕杨志斌江国华	《计算机工程与科学》 CSCD 北大核心	2020	5	在线阅读下载PDF 职称材料
3	一种模型驱动的可视化生成系统	杜一郭旦怀陈昕任磊戴国忠	《软件学报》 EI CSCD 北大核心	2016	12	在线阅读下载PDF 职称材料
4	模型驱动的大数据流水线框架PiFlow	朱小杰赵子豪杜一	《计算机应用》 CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料
5	基于可扩展端口技术的实时领域分层递阶建模方法	王彬崔晓杰何弼刘辉许圣雷王小俊	《计算机应用》 CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料