企业协同建模中语义驱动的冲突管理方法研究

企业协同建模中语义驱动的冲突管理方法研究

论文摘要

不同的领域专家掌握了企业运作不同方面的信息和需求,为了使企业模型能够真实全面地反应企业运作的现状和领域专家对企业运作模式的需求,需要众多领域专家通过协同进行企业建模。在铁道部-清华大学科技研究基金项目(项目号:t200412)、国家863高技术研究发展计划资助项目(项目号:2008AA04Z102)等课题的支持下,本文对需求定义阶段企业协同建模中语义驱动的冲突管理方法及相关理论进行了深入系统的研究。本文所提出的方法能够实现基于不同建模方法的模型之间的相互转换,规范模型元素的描述,支持模型之间元素的匹配,自动检测不同领域专家所建立模型之间的冲突,并通过整合不完整的模型得到相对完整的模型。为赋予模型知识形式化语义,本文提出了结合描述逻辑和逻辑程序的表达能力和推理能力的可判定知识表达形式,Horn-Extended DL,给出了Tableau算法以支持Horn-Extended DL的自动推理,并证明了Tableau算法的可终止性、可靠性和完备性。本文提出了基于Horn-Extended DL的模型转换方法。借助Horn-Extended DL的表达能力和推理能力,能够对模型的语法正确性进行验证,由领域专家直接输入的显性知识不仅能被提取出来作为建立新模型的基础,还能通过推理得到隐性知识,增加模型知识的价值和使用的效率。领域专家由于不同的语言习惯会使用不同的术语对模型元素进行描述。为了解决模型元素描述的冲突,本文提出通过语义特征分解和受限词汇实现模型元素描述的标准化和语义的明确化,并给出了受限词汇和概念的相似度计算和搜索机制,以支持模型元素描述的重用和模型之间元素的匹配。为了保证企业模型的正确性和完整性,本文提出了对企业模型的两种操作:比较和整合。通过比较不同领域专家建立的模型,可以自动检测模型之间的冲突,为领域专家通过协商改进模型提供支持。通过整合改进后的模型可以得到相对完整的模型。

论文目录

  • 摘要
  • Abstract
  • 第1章 绪论
  • 1.1 研究背景
  • 1.2 相关研究综述
  • 1.2.1 协同设计中的冲突管理研究现状
  • 1.2.2 企业建模框架研究现状
  • 1.2.3 模型转换研究现状
  • 1.2.4 本体映射研究现状
  • 1.3 论文结构
  • 第2章 企业建模的视图组织
  • 2.1 引言
  • 2.2 企业建模的视图
  • 2.3 基于视图关系矩阵的建模方法组织
  • 2.4 模型类型的形式化表达
  • 2.4.1 流程模型
  • 2.4.2 活动图
  • 2.4.3 数据流图
  • 2.4.4 跨组织流程图
  • 2.4.5 IDEF0 图
  • 2.4.6 功能模型
  • 2.4.7 功能-对象图
  • 2.4.8 用例图
  • 2.4.9 Metagraph 图
  • 2.4.10 类-责任-协作者图
  • 2.4.11 对象模型
  • 2.4.12 对象-组织图
  • 2.4.13 组织交互图
  • 2.4.14 岗位功能图
  • 2.4.15 工作对象图
  • 2.4.16 组织模型
  • 2.5 本章小结
  • 第3章 Horn-Extended DL 的Tableau 算法研究
  • 3.1 引言
  • 3.2 预备知识
  • 3.2.1 描述逻辑
  • 3.2.2 逻辑程序
  • 3.3 Horn-Extended DL
  • 3.3.1 Horn-Exteneded DL 的tableau
  • 3.3.2 Horn-Extended DL 的Tableau 算法
  • 3.4 本章小结
  • 第4章 基于Horn-Extended DL 的模型转换
  • 4.1 引言
  • 4.2 模型转换框架
  • 4.3 概念模型
  • 4.4 元素和联系的对应关系
  • 4.5 模型实例的语法正确性
  • 4.6 模型知识的推理
  • 4.7 模型实例的创建和提取
  • 4.8 原型系统与示例
  • 4.8.1 原型系统
  • 4.8.2 模型转换示例
  • 4.9 本章小节
  • 第5章 基于语义特征分解和受限词汇的概念搜索
  • 5.1 引言
  • 5.2 概念的语义特征分解
  • 5.3 语义特征的受限词汇
  • 5.3.1 组织受限词汇
  • 5.3.2 操作受限词汇
  • 5.3.3 对象受限词汇
  • 5.3.4 状态受限词汇
  • 5.3.5 受限词汇的描述
  • 5.4 受限词汇和概念相似度
  • 5.4.1 传统相似度的计算
  • 5.4.2 受限词汇相似度的计算
  • 5.4.3 概念相似度的计算
  • 5.5 受限词汇和概念的搜索
  • 5.5.1 受限词汇的搜索
  • 5.5.2 概念的搜索
  • 5.6 原型系统与示例
  • 5.7 本章小节
  • 第6章 企业模型的比较和整合
  • 6.1 引言
  • 6.2 完全信息和不完全信息
  • 6.3 模型实例中的信息冗余
  • 6.4 模型实例的比较和整合
  • 6.4.1 模型实例的比较
  • 6.4.2 模型实例的整合
  • 6.5 原型系统与示例
  • 6.6 本章小节
  • 第7章 结论与展望
  • 7.1 论文总结
  • 7.2 后续研究展望
  • 参考文献
  • 致谢
  • 附录A 十六种模型的详细说明
  • A.1 流程模型
  • A.2 活动图
  • A.3 数据流图
  • A.4 跨组织流程图
  • A.5 IDEF0 图
  • A.6 功能模型
  • A.7 功能-对象图
  • A.8 用例图
  • A.9 Metagraph 图
  • A.10 类-责任-协作者图
  • A.11 对象模型
  • A.12 对象-组织图
  • A.13 组织交互图
  • A.14 岗位功能图
  • A.15 工作对象图
  • A.16 组织模型
  • 附录B 基于Horn-Extended DL 的概念模型定义
  • B.1 概念模型TBox 中的公理
  • B.2 概念模型RBox 中的Horn 子句
  • 个人简历、在学期间发表的学术论文与研究成果
  • 相关论文文献

    • [1].计算机知识在数学建模中的应用探讨[J]. 科技风 2020(28)
    • [2].航拍方式对实景建模影响的研究[J]. 智能建筑与智慧城市 2020(10)
    • [3].《芯片及系统的电源完整性建模与设计》[J]. 电源技术 2020(10)
    • [4].数学建模在概率论与数理统计教学中的应用[J]. 高等数学研究 2019(01)
    • [5].《人物卡通设定》建模[J]. 中国民族博览 2019(03)
    • [6].《人物卡通设定》[J]. 大众文艺 2019(06)
    • [7].《大海》[J]. 大众文艺 2019(06)
    • [8].浅谈中学生数学建模核心素养的培养[J]. 中外企业家 2019(13)
    • [9].数学建模的思想及其应用[J]. 农家参谋 2019(15)
    • [10].浅谈数学建模的社会意义[J]. 中国高新区 2018(06)
    • [11].数学建模过程中计算机的应用探究[J]. 山东工业技术 2018(12)
    • [12].素质教育下的数学建模在生活中的应用及展望[J]. 广东蚕业 2018(06)
    • [13].浅谈数学建模[J]. 科技风 2017(01)
    • [14].基于虚拟样机技术的机械产品设计及建模方法分析[J]. 现代制造技术与装备 2016(11)
    • [15].肖像建模[J]. 艺术评论 2017(01)
    • [16].数学建模的培训与发展[J]. 电子制作 2015(10)
    • [17].如何促进教师与学生在建模水平上的共同进步[J]. 电子制作 2015(12)
    • [18].“缩水”的数学建模课[J]. 中学数学 2020(09)
    • [19].科学探究中数字化技术支持的思维建模[J]. 教育信息技术 2020(09)
    • [20].亲历建模过程,探索建模路径——以《鸽巢问题》的教学为例[J]. 福建教育 2019(01)
    • [21].刍议数学建模在高中数学学习中的作用[J]. 高考 2019(02)
    • [22].浅谈高中数学建模的必要性[J]. 中学生数理化(学习研究) 2019(01)
    • [23].浅谈高中数学建模的生活化[J]. 中学生数理化(教与学) 2019(02)
    • [24].浅谈小学数学建模中的几个问题[J]. 山东教育 2019(07)
    • [25].高中数学建模中优化问题的建模分析[J]. 高考 2019(27)
    • [26].小学数学教学中的数学建模[J]. 数学大世界(上旬) 2019(07)
    • [27].试论“数学建模”素养形成和发展的基本途径[J]. 福建中学数学 2018(08)
    • [28].关于高中数学建模的探索[J]. 当代教研论丛 2018(08)
    • [29].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2018(22)
    • [30].培养建模意识,提升学生数学知识的应用能力[J]. 中学数学 2019(06)

    标签:;  ;  ;  ;  

    企业协同建模中语义驱动的冲突管理方法研究
    下载Doc文档

    猜你喜欢