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

浙江大学学报（工学版） 2007年第9期41卷 1541-1545,1551页

作者：黄琦柴春雷浙江大学计算机科学与技术学院浙江杭州310027

模型驱动的体系结构(MDA)开发方法是以模型作为软件开发的主线,基于统一建模语言(UML)创建的模型不能很好地起到衔接用户需求和代码的桥梁作用,而且模型中存在不同的视角.在元对象设施(MOF)的基础上,定义了SACRED元模型,使用主题和映射... 详细信息

模型驱动的体系结构(MDA)开发方法是以模型作为软件开发的主线,基于统一建模语言(UML)创建的模型不能很好地起到衔接用户需求和代码的桥梁作用,而且模型中存在不同的视角.在元对象设施(MOF)的基础上,定义了SACRED元模型,使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁,采用映射方式实现了平台无关模型(PIM)到平台相关模型(PSM)的转化,使得模型不需要关注系统细节,降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程,并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比,该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.

关键词：模型驱动的体系结构元模型主题映射

来源：评论

学校读者我要写书评

暂无评论

SMP2.0仿真引擎的设计与实现

引用

系统仿真学报 2008年第24期20卷 6622-6626,6630页

作者：李群王超王维平朱一凡国防科技大学系统工程系长沙410073

SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C++映射规范,但需要实现与之兼容的仿真引擎才能支持... 详细信息

SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C++映射规范,但需要实现与之兼容的仿真引擎才能支持模型的开发和集成。根据SMP2.0规范标准,介绍了一个与SMP2.0兼容的仿真引擎的设计与实现,给出了仿真引擎的运行过程、运行状态和组件构成,最后通过仿真应用环境检验了该仿真引擎的有效性。

关键词：仿真模型可移植性规范仿真引擎模型驱动的体系结构仿真服务

来源：评论

学校读者我要写书评

暂无评论

一种基于扩展UML的企业应用软件PIM模型

引用

哈尔滨工业大学学报 2010年第5期42卷 791-796页

作者：孟凡超初佃辉战德臣徐晓飞哈尔滨工业大学(威海)企业与服务智能计算研究中心山东威海264209 哈尔滨工业大学企业与服务智能计算研究中心哈尔滨150001

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件... 详细信息

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件PIM模型中的概念及其之间关系的元类、版型和标记,并采用包对这些概念和关系进行不同视点的划分.基于扩展UML的企业应用软件PIM模型通过业务对象的丰富语义实现了UML中各种图之间基于语义的集成,改善了UML的可用性,提高了企业应用软件的建模效率.结果表明:通过实际案例验证了该模型的可行性和有效性.

关键词：模型驱动的体系结构平台独立模型企业应用软件业务对象

来源：评论

学校读者我要写书评

暂无评论

基于UML模型的C^4ISR系统能力需求分析与验证

引用

系统工程与电子技术 2009年第9期31卷 2167-2171页

作者：王智学董庆超陈彬陈剑解放军理工大学指挥自动化学院江苏南京210007

针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。... 详细信息

针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。

关键词：需求工程系统建模能力需求分析模型驱动的体系结构

来源：评论

学校读者我要写书评

暂无评论

一种模型驱动的工作流过程定义途径

引用

计算机科学 2006年第12期33卷 10-15页

作者：赵文袁崇义张世琨王立福北京大学信息科学技术学院北京100871

传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化... 详细信息

传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次,运用模型驱动的途径,依据给出的工作流模型,本文提出了一种模型驱动的,用于快速构造工作流管理系统的框架。针对工作流过程模型,着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换(转换过程和转换规则),并以扩展的Petri网标注语言E-PNML规约了过程PIM。

关键词：模型驱动的体系结构工作流管理系统事件驱动的过程链过程网过程PIM 过程CIM 模型转换 PNML

来源：评论

学校读者我要写书评

暂无评论

基于MDA和可执行形式化的可信软件设计

引用

计算机工程 2009年第19期35卷 138-140页

作者：唐艳杜玉越刘伟山东科技大学信息科学与工程学院青岛266510 中国科学院软件研究所计算机科学国家重点实验室北京100080

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。

关键词：可执行形式化 Petri网可信软件体系模型驱动的体系结构

来源：评论

学校读者我要写书评

暂无评论

模型驱动的构件化企业应用软件开发方法

模型驱动的构件化企业应用软件开发方法

引用

作者：孟凡超哈尔滨工业大学

学位级别：博士

随着信息技术在现代企业的广泛应用,企业应用软件(Enterprise Software and Application, ESA)的规模和复杂度日益增加,这给软件的开发效率和质量提出了更高的要求,由此产生如下问题:如何有效地获取用户的需求、如何将用户需求有效地转... 详细信息

随着信息技术在现代企业的广泛应用,企业应用软件(Enterprise Software and Application, ESA)的规模和复杂度日益增加,这给软件的开发效率和质量提出了更高的要求,由此产生如下问题:如何有效地获取用户的需求、如何将用户需求有效地转换为软件系统的实现、如何高效率、低成本地构造应用系统。本文采用模型驱动的体系结构(Model Driven Architecture, MDA)和基于构件的软件开发(Component Based Software Development, CBSD)相结合的方法,在平台独立模型(Platform Independent Model, PIM)、平台相关模型(Platform Specific Model, PSM)和代码(Code)三个层次上分别对PIM建模、构件识别、构件获取与构件组装等方面进行了创新研究和实践。 (1)在PIM建模方面,研究了面向ESA的PIM模型。针对ESA是以单据/报表等信息文档的流程化处理为中心的特点,给出了业务对象的概念,分析了业务对象建模中所包含的概念以及概念之间的关系,研究了业务对象模型的组织结构,借鉴MDA的建模框架,研究基于扩展UML业务对象建模框架和模型描述方法,并对模型的表达能力进行了分析。 (2)在构件识别方面,为了提高构件的复用度、降低软件系统的开发成本,研究了如何从同一领域的多个PIM模型中识别较高复用度的功能构件的方法。从概念之间的语义包含关系和相似度出发,给出了操作之间功能规约关系和相似关系的定义,研究了计算多个活动之间相似度的方法,基于活动之间的相似度,采用聚类分析技术对领域模型的活动进行划分,具有较高相似度的一组活动被标识为一个功能构件,基于构件的识别结果,研究了支持可变特性的构件设计方法。 (3)在构件获取方面,针对单个候选构件不能完全满足用户需求的情况,研究了基于构件组合的软件复用方法。首先研究了面向ESA的构件行为模型,给出了构件组合操作的定义,介绍了构造复合构件的方法,基于用户需求与复合构件之间的扩展行为匹配关系,研究了构件组合存在性判定方法和从复合构件中提取用户需求行为的方法。 (4)在构件组装方面,为了提高基于构件组装的应用系统的服务质量,研究了基于服务质量优化的构件组装方案选择问题。首先分析了企业应用软件框架的特点,研究了面向应用系统配置的构件组装模型,介绍了度量构件组装方案服务质量的方法,并将构件组装方案选择问题转化为一个多目标优化问题,针对该问题,采用遗传算法进行最优非劣组装方案的搜索,基于组装方案的搜索结果,给出了构件组装方案选择方法。 (5)以ERP系统中的质量管理领域为应用案例,来验证所提出的业务对象建模、构件识别和组装的理论内容,并开发了相应的支持工具。

关键词：模型驱动的体系结构基于构件的软件开发业务对象构件识别构件组合构件组装

来源：评论

学校读者我要写书评

暂无评论

基于MDA的企业信息建模与数据格式转换

基于MDA的企业信息建模与数据格式转换

引用

作者：金昊东南大学

学位级别：硕士

该课题为南京市第一届科技攻关项目\"企业信息化集成平台\"的子课题\"基于模型驱动体系结构的企业信息建模和格式转换的研究\",项目编号2001ZB0101,要求提供一套建模环境和工具.该论文重点讨论基于模型驱动(model d... 详细信息

该课题为南京市第一届科技攻关项目\"企业信息化集成平台\"的子课题\"基于模型驱动体系结构的企业信息建模和格式转换的研究\",项目编号2001ZB0101,要求提供一套建模环境和工具.该论文重点讨论基于模型驱动(model driven)的企业信息建模与数据格式转换.该论文首先概述了目前企业信息集成中所面临的中间件平台多样性的问题,指出当前解决此问题的方法——采用模型驱动的体系结构(MDA).MDA是OMG组织提出的下一代分布计算方法,目前在国外,无论是在理论研究还是在应用开发方面已经开始得到广泛的关注.在论文中,指出了MDA方法的本质,以及构建MDA体系结构的几个主要的支撑技术.然后在论文中指出了元模型在信息集成中的作用,讨论了MOF四层元模型体系结构,分析了采用MDA进行信息建模的步骤和方法,论述了XML技术在MDA中的作用,重点讨论了基于XML的数据格式转换,研究了构成MDA的支撑技术之一——XML元数据交换以及其中两个主要部分的内容DTD设计规则和XML文档生成规则.最后,按照以上规则的要求,完成了UML模型向XML格式文件转换的实现.转换过程中侧重于模型的静态结构,并首先解决产品模型类图的表达和交换.采用用ROSE建立信息基本单元,Rose REI对单元模型进行处理,以MSXML3.0作为DOM接口对单元信息模型进行转换.为实现多种信息系统的数据集成、功能集成和过程集成提供基本的支持与保证.

关键词：模型驱动的体系结构 XML元数据交换数据格式转换

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：