学位论文 > 优秀研究生学位论文题录展示

基于OCL的产品配置引擎研究与实现

作　者: 朱日学
导　师: 肖国玺
学　校: 河北工业大学
专　业: 计算机应用技术
关键词: 大规模定制产品配置配置引擎产品配置模型一致性验证
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 12次
引　用: 0次
阅　读: 论文下载

内容摘要

大规模定制生产已成为现代企业的发展趋势,产品配置是实现大规模定制生产的核心技术,实现产品配置的关键是配置引擎。现在所使用的产品配置系统多数是针对某一具体产品的配置系统,本文采用OCL描述产品配置约束信息,开发出一种通用的配置引擎。产品配置主要包括产品配置知识表示和配置问题推理求解。产品结构日益复杂及客户需求日益个性化为产品配置知识的表示带来诸多不便,基于广义产品结构树的建模方法可以快速直观的表示产品配置知识。本文采用UML构建产品配置模型,以OCL描述产品部件间约束关系。因为OCL是一种声明式语言不能被直接执行,所以依照OCL文法编写OCL的词法和语法分析分析程序,确保OCL表达式的合法性。OCL表达式的约束验证过程就是配置问题推理求解,因为OCL是基于谓词逻辑的,所以首先将OCL转化为一阶谓词,然后在进行约束验证,本文提出一种基于语义分析的转化方法。当产品结构比较复杂时,部件间的约束关系将非常复杂,如何保证模型中各部件之间约束规则一致及部件全部实例化至关重要。为了解决这一问题,本文引入了模型一致性验证,并给出了具体的验证算法。在上述理论研究的基础上,采用C#为开发语言、SQL Server为后台数据库实现了产品配置系统。从实际应用中验证了本文研究算法的可行性及可靠性。

全文目录

摘要  4-5
ABSTRACT  5-8
第一章绪论  8-13
  §1-1 该课题研究的背景及意义  8-9
  §1-2 该课题的国内外研究现状  9-11
    1-2-1 产品配置的研究现状  9-10
    1-2-2 UML和OCL的研究现状  10-11
  §1-3 课题的主要研究内容  11
  §1-4 论文内容安排  11-13
第二章产品配置技术  13-22
  §2-1 可配置产品和产品配置  13-16
    2-1-1 可配置产品  13
    2-1-2 产品配置  13-14
    2-1-3 产品配置的主要研究方法  14-15
    2-1-4 产品配置的工作原理  15-16
  §2-2 产品平台与产品族  16-18
    2-2-1 产品平台和产品族概念  16-17
    2-2-2 产品平台与产品族的关系  17
    2-2-3 产品平台的优缺点  17
    2-2-4 产品平台的建立方法  17-18
  §2-3 产品配置模型  18-21
    2-3-1 广义产品结构树  18
    2-3-2 产品配置模型概述  18
    2-3-3 产品配置建模原则  18-19
    2-3-4 UML模型  19-21
  §2-4 本章总结  21-22
第三章基于OCL的产品配置引擎研究和实现  22-41
  §3-1 OCL基础理论  22-25
    3-1-1 OCL概述  22
    3-1-2 OCL类型  22-24
    3-1-3 OCL的表达式  24-25
    3-1-4 OCL应用示例  25
  §3-2 OCL约束解析  25-29
    3-2-1 OCL词法分析  26-27
    3-2-2 OCL语法分析  27-29
  §3-3 OCL约束验证  29-31
    3-3-1 OCL转化为一阶谓词的原理  29-30
    3-3-2 OCL转化为一阶谓词的实现方法  30-31
  §3-4 OCL约束分类  31-35
    3-4-1 约束的分类  32
    3-4-2 约束模板展示  32-35
  §3-5 一致性验证  35-40
    3-5-1 约束关系图  35-37
    3-5-2 配置模型一致性  37-38
    3-5-3 一致性检测算法  38-40
  §3-6 本章总结  40-41
第四章产品配置系统的设计与实现  41-52
  §4-1 系统简介  41
  §4-2 开发环境的选择  41-42
  §4-3 系统功能的设计  42-44
  §4-4 数据库设计  44-46
  §4-5 产品配置系统展示  46-51
  §4-6 本章总结  51-52
第五章总结与展望  52-53
  §5-1 工作总结  52
  §5-2 展望  52-53
参考文献  53-56
致谢  56

基于OCL的产品配置引擎研究与实现

内容摘要

全文目录

相似论文