学位论文 > 优秀研究生学位论文题录展示
面向数字化工厂的工作流过程建模研究
作 者: 卢佩
导 师: 蔡敏
学 校: 杭州电子科技大学
专 业: 管理科学与工程
关键词: 军工制造业 数字化工厂 工作流过程建模 UML活动图 时间扩展 语义描述 路由结构 模型验证
分类号:
类 型: 硕士论文
年 份: 2014年
下 载: 6次
引 用: 0次
阅 读: 论文下载
内容摘要
随着军工制造业数字化工厂的不断成熟,“以信息化带动工业化”战略的不断深入,我国军工制造业取得了飞速的发展。同时信息技术的不断提高、市场需求的不断变化、生产周期的不断紧缩,低成本、高效率、高质量也越发得到企业的高度重视,数字化、柔性化的生产方式也已成为企业的追求。这些技术、管理的革新对制造业产品研发周期、生产周期、交货周期以及产品能够及时响应市场需求的要求愈来愈严格。缩短产品研发周期、生产周期、交货周期以及产品响应市场的时间是现代多品种变批量的特殊行业数字化工厂所亟需提高的地方,但是要对产品的全生命周期的时间进行改善,则只有对其各个业务流程中的时间加以优化管理,从而才能达到整体流程时间的控制。为了能够更加清楚、更加全面的表达时间因素在各业务流程环节中的花费,以便企业管理者对业务流程中时间问题进行有效地进行严格管理与控制,本文对UML活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁的有效时间、延迟时间、活动截至时间六种时间因素,计算出活动和跃迁的最早最晚开始、最早最晚结束时间,建立基于时间UML活动图的工作流过程模型,并给予语义形式描述,增强了时间描述的精确性以及时间管理的全面性,同时也为后续的工作流系统设计与实现研究提供有力的基础模型;鉴于时间复杂性,提出基于等待状态事件触发的活动转移时间路由结构,解决了循环活动事件时间计算的问题;为了检验该方法的正确性、有效性以及时间一致性,对基于规则的检验方法进行了改进,通过对实例建模、验证,说明了所提出方法的合理性。
|
全文目录
摘要 5-6 ABSTRACT 6-7 目录 7-9 1 绪论 9-13 1.1 论文研究背景及意义 9-10 1.2 目前研究现状 10-11 1.3 论文主要研究内容 11-12 1.4 研究路线 12 本章小结 12-13 2 相关理论 13-22 2.1 数字化工厂研究现状 13-15 2.1.1 数字化工厂概念及特点 13-15 2.1.2 数字化工厂发展 15 2.2 工作流过程建模方法 15-20 2.2.1 工作流和工作流过程 15-17 2.2.2 主要工作流过程建模方法 17-20 2.3 数字化工厂的工作流过程建模方法 20-21 本章小结 21-22 3 数字化工厂过程建模 22-41 3.1 模型体系结构 22-26 3.1.1 视图维工作流设计 22-25 3.1.2 生命周期维设计 25-26 3.1.3 通用维设计 26 3.2 基于时间扩展的工作流过程建模 26-40 3.2.1 模型映射 26-30 3.2.2 基于时间 UML 活动图工作流的扩展 30-38 3.2.3 时间 UML 活动图检验 38-40 本章总结 40-41 4 模型应用 41-53 4.1 应用背景 41 4.2 业务流程描述 41-46 4.3 面向产品业务流程的工作流过程模型 46-49 4.3.1 业务流程模型 46-47 4.3.2 基于时间扩展的 UML 活动图工作流过程模型 47-49 4.3.3 基于时间扩展的 UML 活动图的工作流过程模型优势分析 49 4.4 模型检验 49-52 本章小结 52-53 5 总结与展望 53-55 致谢 55-56 参考文献 56-60 附录 60
|
相似论文
- 仿真系统模型验证方法和工具研究,TP391.9
- 一种基于UML用例图和活动图的测试用例生成方法研究,TP311.53
- 企业某产品制造执行系统技术应用研究,F273
- 基于路桥动态响应的过载实时监测系统研制,TP274
- 基于时间自动机模型的CBTC系统安全计算机平台的形式化验证,U284.48
- 草畜平衡和精准管理模型在肃南县绵羊生产中的应用研究,S826
- 针刀治疗股神经卡压综合征的安全径路研究,R246
- 基于时间自动机的模型验证技术,TP301.1
- 多源二进制代码一体化翻译关键技术研究,TP391.2
- 基于MDE的UML模型到形式化模型的转换方法研究,TP311.52
- 柔性工作流过程模型的研究,TP311.52
- 基于ECA规则的售后服务系统实施的建模及实现,TP311.52
- 业务服务的语义描述及标注技术研究,TP311.52
- 基于PI演算的CRM系统的设计与实现,TP311.52
- 基于XML的信息转化和编辑系统设计,TP311.52
- 信息化背景下农村生活质量实证研究,F224;F320
- 数据元语义描述的变更管理,TP391.1
- 基于语义特征的人脸特征提取方法的研究,TP391.41
- 基于数据一致性分析的仿真模型验证方法及工具研究,N945.13
- 基于MES的烟草企业动态质量管理系统模型研究,F721;F273.2
- 大量风电并网后华北电网适应性的研究,TM614
中图分类: >
© 2012 www.xueweilunwen.com
|