检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于模型驱动的软件开发方法研究

信息系统工程 2012年第9期25卷 98-99页

作者：刘晓宇天津市信息中心

计算机软件的开发经历了从面向过程、面向对象到面向领域的发展过程。本文针对该过程中几种典型基于模型的软件开发方法——模型驱动开发和面向领域建模进行深入探究,分析了各自的优缺点。

关键词：软件开发方法模型驱动开发面向领域建模

维普期刊数据库博看期刊

基于模型驱动的高速铁路ATO系统TSRS设备软件开发

在线全文

学校读者我要写书评

暂无评论

铁道通信信号 2019年第7期55卷 45-49页

作者：郭伟钱金龙陈希臧一佩中国铁道科学研究院集团有限公司通信信号研究所

高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、... 详细信息

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

关键词：高速铁路 ATO系统临时限速服务器高安全性应用开发环境模型驱动开发

在线全文

学校读者我要写书评

暂无评论

一种模型驱动的Web应用系统开发方法

一种模型驱动的Web应用系统开发方法

第四届中国软件工程大会

作者：侯金奎万建成王帅强山东大学计算机科学与技术学院

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征... 详细信息

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

关键词：模型驱动开发 Web应用系统平台无关模型模型映射

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于ECO模型驱动的数据库开发

武汉理工大学学报（信息与管理工程版） 2007年第10期29卷 58-60页

作者：王秉吕锋武汉理工大学信息工程学院湖北武汉430070

ECO(enterprise core objects)是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据库的自动生成、自动演化以及模型的高可复用性等,大大提高了软件开发的效率。介绍了ECO的相关技术,并举... 详细信息

ECO(enterprise core objects)是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据库的自动生成、自动演化以及模型的高可复用性等,大大提高了软件开发的效率。介绍了ECO的相关技术,并举例说明了如何基于ECO进行模型驱动的数据库开发,用UML类图设计静态模型,用状态机设计动态模型,并把设计的对象模型映射为关系数据库模型。

关键词： ECO 模型驱动开发状态机

在线全文

学校读者我要写书评

暂无评论

一种支持多种模型转换技术的组合方法

软件学报 2012年第4期23卷 816-830页

作者：何啸麻志毅冯超邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模... 详细信息

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.

关键词：模型驱动开发模型转换组合转换

基于特征和范畴理论的体系结构模型形式化描述

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2009年第7期15卷 1317-1322页

作者：杨潇马军侯金奎山东大学计算机科学与技术学院山东济南250101

为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技术和范畴理论,提出了一种体系结构模型的形式化描述方法。在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以... 详细信息

为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技术和范畴理论,提出了一种体系结构模型的形式化描述方法。在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以提供精确的语义描述。以一个聊天室系统为例说明了该方法的应用。该描述框架可用于指导模型转换规则的定义以及转换的一致性验证,从而为模型驱动开发提供有力的支持。

关键词：模型驱动开发软件体系结构形式化描述范畴理论映射聊天室系统

在线全文

学校读者我要写书评

暂无评论

分层混杂式MAV飞行控制系统虚拟样机设计

华南理工大学学报（自然科学版） 2012年第6期40卷 76-83页

作者：王西超曹云峰刘兴华丁萌庄丽葵王彪杨斌南京航空航天大学自动化学院江苏南京210016 南华大学电气工程学院湖南衡阳421001

为克服微型飞行器(MAV)物理样机设计周期长、代价高、效率低的缺点,在搭建的飞行控制系统虚拟样机(FCS-VP)设计支撑平台上,基于SysML和Simulink设计了某型MAV的具有任务调度管理层、动作规划层和基本控制层3层混杂结构的FCS-VP.仿真实... 详细信息

为克服微型飞行器(MAV)物理样机设计周期长、代价高、效率低的缺点,在搭建的飞行控制系统虚拟样机(FCS-VP)设计支撑平台上,基于SysML和Simulink设计了某型MAV的具有任务调度管理层、动作规划层和基本控制层3层混杂结构的FCS-VP.仿真实验表明,所设计的FCS-VP能够从结构、功能、行为、性能等角度模拟真实MAV的FCS,并支持后期飞行控制软件的模型驱动开发,提高MAV物理样机的设计效率.

关键词：微型飞行器飞行控制系统虚拟样机 SysML 模型驱动开发

在线全文

学校读者我要写书评

暂无评论

一种针对模型转换的图形化建模语言

计算机研究与发展 2015年第9期52卷 2145-2162页

作者：何啸麻志毅邵维忠胡长军北京科技大学计算机与通信工程学院北京100083 高可信软件技术教育部重点实验室(北京大学) 北京100871

模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的... 详细信息

模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.

关键词：模型转换转换模型可视化建模语言模型转换开发过程模型驱动开发

在线全文

学校读者我要写书评

暂无评论

协同系统体系结构模型的形式化语义

电子学报 2009年第B4期37卷 106-111,105页

作者：侯金奎潍坊学院计算机与通信工程学院山东潍坊261061 山东大学计算机科学与技术学院山东济南250101

针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图... 详细信息

针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.

关键词：模型驱动开发协同系统软件体系结构形式化语义