期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
支持模型驱动式软件开发的建模语言框架研究
被引量:
4
1
作者
李晋
战德臣
+1 位作者
聂兰顺
徐晓飞
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第4期464-475,共12页
随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支...
随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性.
展开更多
关键词
模型驱动软件开发
元对象机制
建模语言
网络本体语言
在线阅读
下载PDF
职称材料
支持模型驱动开发的软构件形式化描述方法
被引量:
2
2
作者
侯金奎
王成端
《计算机应用》
CSCD
北大核心
2015年第9期2692-2700,共9页
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探...
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。
展开更多
关键词
模型
驱动
的
软件开发
模型
转换
特性描述
语义验证
在线阅读
下载PDF
职称材料
题名
支持模型驱动式软件开发的建模语言框架研究
被引量:
4
1
作者
李晋
战德臣
聂兰顺
徐晓飞
机构
哈尔滨工业大学计算机科学与技术学院
哈尔滨工程大学计算机科学与技术学院
出处
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第4期464-475,共12页
基金
国家自然科学基金(60773064
60904080)
+5 种基金
国家"863"高科技研究发展计划基金(2009AA04Z153
2008AA04Z101
2008GG1000401028)
"核高基"科技重大专项(2009ZX01043-003-002
2009ZX01045-001-002-4)
高等学校博士点新教师基金(200802131026)
文摘
随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性.
关键词
模型驱动软件开发
元对象机制
建模语言
网络本体语言
Keywords
model driven development, meta object facility, modeling language, web ontology language
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
支持模型驱动开发的软构件形式化描述方法
被引量:
2
2
作者
侯金奎
王成端
机构
潍坊学院计算机工程学院
出处
《计算机应用》
CSCD
北大核心
2015年第9期2692-2700,共9页
基金
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039)
山东省科技发展计划项目(2011YD01042
+1 种基金
2011YD01043)
山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目
文摘
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。
关键词
模型
驱动
的
软件开发
模型
转换
特性描述
语义验证
Keywords
Model-Driven Software Development (MDSD)
model transformation
property description
semanticverification
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
支持模型驱动式软件开发的建模语言框架研究
李晋
战德臣
聂兰顺
徐晓飞
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2010
4
在线阅读
下载PDF
职称材料
2
支持模型驱动开发的软构件形式化描述方法
侯金奎
王成端
《计算机应用》
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部