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

ORM模型转换为OWL2公理的映射规则被引量：1: 1; 作者潘文林刘大昕《计算机工程与应用》 CSCD 北大核心 2011年第31期44-48,共5页; 对象角色建模方法ORM目前已发展成为一种本体工程方法。需要将ORM表达的领域知识发布到语义Web上,以供不同应用系统共享和交换。OWL2是W3C推荐使用的语义Web本体语言。探讨了将ORM模型映射为OWL2公理的方法,通过模型等价变换和引入新的... 展开更多; 关键词对象角色建模 OWL2 模型转换规则; 在线阅读下载PDF 职称材料

UML模型到FSM模型的转换被引量：5: 2; 作者郭亮缪淮扣 +1 位作者王皙陈圣波《计算机科学》 CSCD 北大核心 2009年第7期113-116,149,共5页; 通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来... 展开更多; 关键词状态图模型转换规则有限状态机 UML; 在线阅读下载PDF 职称材料

一种基于有限状态机的模型转换方法被引量：9: 3; 作者颜玉兰何克清刘进《计算机工程》 CAS CSCD 北大核心 2006年第1期93-95,200,共4页; 为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,... 展开更多; 关键词模型驱动开发模型转换规则有限状态机; 在线阅读下载PDF 职称材料

基于ORM的OWL2本体可视化表达: 4; 作者潘文林刘大昕《计算机工程》 CAS CSCD 北大核心 2011年第19期50-52,共3页; 无相关技术背景的领域专家较难直接阅读和理解OWL 2本体。为此,提出一种使用对象角色建模(ORM)可视化表达OWL 2本体的方法,并介绍一系列相应规则。通过语义等价的模型变换和扩展构造原语,使用ORM可视化表达OWL 2的构造原语、类表达式、... 展开更多; 关键词 OWL2语言面向事实建模对象角色建模本体可视化模型转换规则; 在线阅读下载PDF 职称材料

题名ORM模型转换为OWL2公理的映射规则被引量：1: 1; 作者潘文林刘大昕; 机构哈尔滨工程大学机电工程学院黑龙江省现代制造工程技术研究中心哈尔滨工程大学计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2011年第31期44-48,共5页; 文摘对象角色建模方法ORM目前已发展成为一种本体工程方法。需要将ORM表达的领域知识发布到语义Web上,以供不同应用系统共享和交换。OWL2是W3C推荐使用的语义Web本体语言。探讨了将ORM模型映射为OWL2公理的方法,通过模型等价变换和引入新的公理,给出了所有可行的模型映射规则。; 关键词对象角色建模 OWL2 模型转换规则; Keywords Object Role Modeling（ORM） OWL 2 model translation rules; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML模型到FSM模型的转换被引量：5: 2; 作者郭亮缪淮扣王皙陈圣波; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《计算机科学》 CSCD 北大核心 2009年第7期113-116,149,共5页; 基金国家自然科学基金项目(60673115) 国家863计划项目(2007AA01Z144) +2 种基金国家973项目(2007CB310800) 上海市教委科研项目(07ZZ06) 上海市重点学科建设项目(J50103)资助; 文摘通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。; 关键词状态图模型转换规则有限状态机 UML; Keywords transformation, Property preservation, FSM, UML; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于有限状态机的模型转换方法被引量：9: 3; 作者颜玉兰何克清刘进; 机构武汉大学软件工程国家重点实验室; 出处《计算机工程》 CAS CSCD 北大核心 2006年第1期93-95,200,共4页; 基金国家自然科学基金资助项目(60373086) 武汉市科技重点基金资助项目(20021002043) +1 种基金湖北省自然科学基金资助项目(2002ABB037); 文摘为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。; 关键词模型驱动开发模型转换规则有限状态机; Keywords Model driven development Model transformation rule Finite state machine; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于ORM的OWL2本体可视化表达: 4; 作者潘文林刘大昕; 机构哈尔滨工程大学机电工程学院黑龙江省现代制造工程技术研究中心哈尔滨工程大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第19期50-52,共3页; 文摘无相关技术背景的领域专家较难直接阅读和理解OWL 2本体。为此,提出一种使用对象角色建模(ORM)可视化表达OWL 2本体的方法,并介绍一系列相应规则。通过语义等价的模型变换和扩展构造原语,使用ORM可视化表达OWL 2的构造原语、类表达式、类公理、对象特性公理、数据特性公理和键公理。实验结果表明,内置数据类型、类等价公理和对象特性的传递性公理需要对ORM进行扩展才能表达,其余OWL 2类和公理均可语义无损地转换为ORM模型。; 关键词 OWL2语言面向事实建模对象角色建模本体可视化模型转换规则; Keywords OWL 2 fact-oriented modeling Object Role Modeling（ORM） ontology visualization model transformation rule; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料