检索结果-内蒙古大学图书馆

软件学报 2007年第10期18卷 2369-2379页

作者：刘辉麻志毅邵维忠北京大学信息科学技术学院软件研究所

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这... 详细信息

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.

关键词：模型转换特性保持行为保持重构演化 MDA

来源：评论

学校读者我要写书评

暂无评论

基于MDA的设计模式建模与模型转换

引用

软件学报 2008年第9期19卷 2203-2217页

作者：张天张岩于笑丰王林章李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA... 详细信息

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.

关键词： MDA(model driven architecture)设计模式建模模型转换

来源：评论

学校读者我要写书评

暂无评论

基于中间交换格式的过程模型转换技术研究

引用

计算机集成制造系统 2005年第5期11卷 696-700页

作者：王大智李清陈禹六清华大学自动化系北京100084

为了便于实现过程模型的重用及信息共享,提出了一种基于可扩展标记语言的IDEF3 模型的中间交换格式———扩展的IDEF3标记语言,利用此中间交换格式实现了IDEF3 模型向工作流过程模型的转换。该中间交换格式保留了IDEF3模型原有的语法和... 详细信息

为了便于实现过程模型的重用及信息共享,提出了一种基于可扩展标记语言的IDEF3 模型的中间交换格式———扩展的IDEF3标记语言,利用此中间交换格式实现了IDEF3 模型向工作流过程模型的转换。该中间交换格式保留了IDEF3模型原有的语法和语义定义,扩展了描述过程的时间属性、运行约束条件等详细信息,以及角色、资源等相关信息的模型元素,使得过程建模的不同阶段之间可以建立连接。此外,开发了软件支持工具,使不同过程建模方法之间的模型转换更加便利。

关键词：过程模型模型转换中间交换格式

来源：评论

学校读者我要写书评

暂无评论

基于元对象机制的语义Web服务组合模型转换方法

引用

计算机集成制造系统 2011年第4期17卷 867-875页

作者：倪悦范玉顺清华大学国家CIMS工程技术研究中心北京100084 桂林空军学院防空反导系广西桂林541003

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活... 详细信息

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活的模型转换方法,从而保证不同领域业务过程协同的顺利进行。通过在欧盟ImportNET项目中的应用验证了所提框架和转换方法的有效性。

关键词：语义 Web服务元对象机制模型转换业务过程协同

来源：评论

学校读者我要写书评

暂无评论

面向信息物理融合系统的异构模型转换方法

引用

西安电子科技大学学报 2015年第2期42卷 108-115,151页

作者：王宇英周兴社梁东方西北工业大学计算机学院陕西西安710072

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在... 详细信息

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.

关键词：嵌入式系统计算物理融合模型转换仿真建模统一建模语言

来源：评论

学校读者我要写书评

暂无评论

以体系结构为中心的模型转换的语义描述框架(英文)

引用

软件学报 2009年第8期20卷 2113-2123页

作者：侯金奎王海洋马军万建成杨潇山东大学计算机科学与技术学院山东济南250101 潍坊学院计算机与通信工程学院山东潍坊261061

在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴... 详细信息

在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.

关键词：模型驱动开发模型转换软件体系结构语义描述

来源：评论

学校读者我要写书评

暂无评论

AADL2ECPN模型转换方法及其在IMA上的应用

引用

北京航空航天大学学报 2016年第9期42卷 1884-1891页

作者：刘畅谷涛周庆王世海李泽林中国航空无线电电子研究所航空电子系统综合技术重点实验室北京航空航天大学可靠性与系统工程学院

在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,... 详细信息

在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。

关键词：架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配综合模块化航空电子(IMA) 模型转换

来源：评论

学校读者我要写书评

暂无评论

CAD/CAE集成中的有限元模型转换之研究

引用

中国机械工程 2005年第5期16卷 428-431页

作者：谢世坤黄菊花杨国泰南昌大学南昌330029

从研究 CAD/CAE的集成出发,简要介绍了几何模型转换的几种方法,并分析了其不足,提出采用有限元模型转换代替几何模型转换。详细阐述了有限元模型转换相对于几何模型转换的优势,以及其实现方法和途径。通过自行编制的模型转换接口程序,... 详细信息

从研究 CAD/CAE的集成出发,简要介绍了几何模型转换的几种方法,并分析了其不足,提出采用有限元模型转换代替几何模型转换。详细阐述了有限元模型转换相对于几何模型转换的优势,以及其实现方法和途径。通过自行编制的模型转换接口程序,成功地实现了有限元模型从CAD系统到CAE系统的方便快捷的“零失真”转换。

关键词： CAD/CAE集成模型转换有限元分析网格划分

来源：评论

学校读者我要写书评

暂无评论

基于ZRM-MDH模型转换的串联机器人运动学参数标定

引用

农业机械学报 2021年第3期52卷 382-389页

作者：乔贵方万其吕仲艳康传帅孙大林温秀兰南京工程学院自动化学院南京211167 东南大学仪器科学与工程学院南京210096

运动学参数误差是影响工业机器人绝对定位精度的主要因素,通过误差标定能够有效地提高工业机器人的精度。运动学模型的完整性、连续性与冗余性对运动学参数的辨识精度影响较大。为尽可能地提高机器人的标定精度,并易于实现机器人误差补... 详细信息

运动学参数误差是影响工业机器人绝对定位精度的主要因素,通过误差标定能够有效地提高工业机器人的精度。运动学模型的完整性、连续性与冗余性对运动学参数的辨识精度影响较大。为尽可能地提高机器人的标定精度,并易于实现机器人误差补偿,本文提出一种基于ZRM-MDH模型转换的机器人运动学参数标定方法。首先,基于零参考模型(ZRM)建立TX60型串联工业机器人的位姿误差模型,结合测量位姿误差辨识ZRM的参数;其次,基于圆点分析法将ZRM转换成MDH模型。在TX60型机器人前侧工作区域内任意选择50个测量点,实施运动学参数误差标定。实验表明,基于MDH模型标定后的机器人平均综合定位误差为0.081 mm,而经过ZRMMDH模型转换后的机器人平均综合定位误差为0.062 mm。为验证标定方法的稳定性,在TX60型机器人前侧工作区域内,选择5个区域实施运动学参数误差标定,结果表明,基于ZRM-MDH模型转换获得的标定精度稳定性相对较好。

关键词：串联机器人零参考模型 MDH模型模型转换激光跟踪仪

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：