| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第1章 绪论 | 第11-25页 |
| ·研究背景 | 第11-12页 |
| ·相关研究综述 | 第12-23页 |
| ·协同设计中的冲突管理研究现状 | 第12-14页 |
| ·企业建模框架研究现状 | 第14-18页 |
| ·模型转换研究现状 | 第18-21页 |
| ·本体映射研究现状 | 第21-23页 |
| ·论文结构 | 第23-25页 |
| 第2章 企业建模的视图组织 | 第25-41页 |
| ·引言 | 第25页 |
| ·企业建模的视图 | 第25-27页 |
| ·基于视图关系矩阵的建模方法组织 | 第27-29页 |
| ·模型类型的形式化表达 | 第29-40页 |
| ·流程模型 | 第30-31页 |
| ·活动图 | 第31页 |
| ·数据流图 | 第31-32页 |
| ·跨组织流程图 | 第32-33页 |
| ·IDEF0 图 | 第33-34页 |
| ·功能模型 | 第34页 |
| ·功能-对象图 | 第34-35页 |
| ·用例图 | 第35页 |
| ·Metagraph 图 | 第35-36页 |
| ·类-责任-协作者图 | 第36页 |
| ·对象模型 | 第36-37页 |
| ·对象-组织图 | 第37页 |
| ·组织交互图 | 第37-38页 |
| ·岗位功能图 | 第38页 |
| ·工作对象图 | 第38-39页 |
| ·组织模型 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第3章 Horn-Extended DL 的Tableau 算法研究 | 第41-55页 |
| ·引言 | 第41-42页 |
| ·预备知识 | 第42-45页 |
| ·描述逻辑 | 第42-44页 |
| ·逻辑程序 | 第44-45页 |
| ·Horn-Extended DL | 第45-54页 |
| ·Horn-Exteneded DL 的tableau | 第46-48页 |
| ·Horn-Extended DL 的Tableau 算法 | 第48-54页 |
| ·本章小结 | 第54-55页 |
| 第4章 基于Horn-Extended DL 的模型转换 | 第55-84页 |
| ·引言 | 第55页 |
| ·模型转换框架 | 第55-57页 |
| ·概念模型 | 第57-60页 |
| ·元素和联系的对应关系 | 第60-61页 |
| ·模型实例的语法正确性 | 第61-65页 |
| ·模型知识的推理 | 第65-67页 |
| ·模型实例的创建和提取 | 第67-72页 |
| ·原型系统与示例 | 第72-83页 |
| ·原型系统 | 第72-75页 |
| ·模型转换示例 | 第75-83页 |
| ·本章小节 | 第83-84页 |
| 第5章 基于语义特征分解和受限词汇的概念搜索 | 第84-97页 |
| ·引言 | 第84页 |
| ·概念的语义特征分解 | 第84-85页 |
| ·语义特征的受限词汇 | 第85-88页 |
| ·组织受限词汇 | 第86页 |
| ·操作受限词汇 | 第86-87页 |
| ·对象受限词汇 | 第87页 |
| ·状态受限词汇 | 第87-88页 |
| ·受限词汇的描述 | 第88页 |
| ·受限词汇和概念相似度 | 第88-92页 |
| ·传统相似度的计算 | 第88-90页 |
| ·受限词汇相似度的计算 | 第90-92页 |
| ·概念相似度的计算 | 第92页 |
| ·受限词汇和概念的搜索 | 第92-94页 |
| ·受限词汇的搜索 | 第93页 |
| ·概念的搜索 | 第93-94页 |
| ·原型系统与示例 | 第94-96页 |
| ·本章小节 | 第96-97页 |
| 第6章 企业模型的比较和整合 | 第97-120页 |
| ·引言 | 第97-98页 |
| ·完全信息和不完全信息 | 第98-103页 |
| ·模型实例中的信息冗余 | 第103-104页 |
| ·模型实例的比较和整合 | 第104-107页 |
| ·模型实例的比较 | 第105页 |
| ·模型实例的整合 | 第105-107页 |
| ·原型系统与示例 | 第107-118页 |
| ·本章小节 | 第118-120页 |
| 第7章 结论与展望 | 第120-122页 |
| ·论文总结 | 第120-121页 |
| ·后续研究展望 | 第121-122页 |
| 参考文献 | 第122-133页 |
| 致谢 | 第133-134页 |
| 附录A 十六种模型的详细说明 | 第134-170页 |
| A.1 流程模型 | 第134-135页 |
| A.2 活动图 | 第135-137页 |
| A.3 数据流图 | 第137-141页 |
| A.4 跨组织流程图 | 第141-144页 |
| A.5 IDEF0 图 | 第144-146页 |
| A.6 功能模型 | 第146-147页 |
| A.7 功能-对象图 | 第147-150页 |
| A.8 用例图 | 第150-152页 |
| A.9 Metagraph 图 | 第152-153页 |
| A.10 类-责任-协作者图 | 第153-156页 |
| A.11 对象模型 | 第156-157页 |
| A.12 对象-组织图 | 第157-160页 |
| A.13 组织交互图 | 第160-161页 |
| A.14 岗位功能图 | 第161-163页 |
| A.15 工作对象图 | 第163-166页 |
| A.16 组织模型 | 第166-170页 |
| 附录B 基于Horn-Extended DL 的概念模型定义 | 第170-177页 |
| B.1 概念模型TBox 中的公理 | 第170-173页 |
| B.2 概念模型RBox 中的Horn 子句 | 第173-177页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第177页 |
