钱鹏飞
- 作品数：6 被引量：4H指数：1
- 供职机构：上海宝信软件股份有限公司更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向元模型的本体模型校验
- 在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验。目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利...
- 钱鹏飞王威
- 关键词：OCL
- 文献传递
- 基于模糊相似度的异构本体映射、合并及校验方法的研究
- 本体是对特定领域概念及其关系的清晰描述，它可作为不同信息系统之间信息交换的基础。然而，由于信息系统是由不同组织在不同时间和不同需求背景下开发的，因此，这些系统所依赖的本体之间不可避免存在异构性，这种异构性为不同系统之间的...
- 钱鹏飞
- 关键词：模糊相似度校验方法信息系统面向对象
- 基于OCL的本体模型校验方法被引量：1
- 2015年
- 将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验。最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解。
- 钱鹏飞王英林张申生
- 关键词：集合论OCL冲突消解
- 模型驱动的异构信息资源集成
- 本文结合模型驱动体系架构(MDA)提出了模型驱动资源集成(MDRI)方法来实现异构信息资源的集成,同时给出了SSRM、SIRM、SURIM等相关模型的定义,并确定了从SSRM→SIRM→URM的统一变换过程.这些研究成果...
- 钱鹏飞曹健张申生
- 关键词：XMLXMI语义互操作资源集成
- 文献传递
- 远程中医诊疗系统
- 一种远程中医诊疗系统，属于信息应用领域。本发明包括：门诊端、专家端和调度端，各部分通过LAN/Internet相互连接，门诊端作为服务器利用WebServer将会诊申请和相应的病人信息发布出去，调度端和专家端作为客户端通...
- 张申生李磊肖少君杨杰钱鹏飞张勇韩松乔
- 文献传递
- 异构业务领域模型驱动的资源集成被引量：2
- 2005年
- 提出一种基于模型驱动的异构信息资源集成技术。结合模型驱动体系架构(MDA),采用了模型驱动的方法实现数据资源的存储与表示的分离,同时给出了SSRM、SIRM、SIURM等相关资源模型的定义和建模方法。其中SSRM是对具体数据源存储和访问形式的描述;SIRM是领域内局部统一的资源描述,主要解决数据源的异构问题;而SIURM是提供复杂业务功能的多领域统一资源描述,主要解决数据源的分布问题。并以Txt、Excel、RDB和XML等常用数据源为例,说明了从SSRM→SIRM→SIURM的统一变换过程,这些研究成果为实现异构业务领域之间的互操作打下了基础。
- 钱鹏飞张申生
- 关键词：资源模型互操作
