虚拟企业信息系统若干关键技术研究

论文题目: 虚拟企业信息系统若干关键技术研究

论文类型: 博士论文

论文专业: 航空宇航制造工程

作者: 阎志华

导师: 丁秋林

关键词: 虚拟企业信息系统,服务,模型检测,蚂蚁算法,蜂群算法

文献来源: 南京航空航天大学

发表年度: 2005

论文摘要: 在迅速变化、竞争日趋激烈的市场环境下,虚拟企业正逐渐成为一种重要的企业经营模式,越来越多的企业开始与其它企业组成虚拟企业,以便综合多个企业的优势资源,快速响应市场变化,共担投资和风险。信息系统是虚拟企业实现高效运营的基础,但目前虚拟企业信息系统相关技术的发展还不能完全满足用户的需求,针对这一现状,本文分别从体系结构、建模和算法等角度,对虚拟企业信息系统的若干关键技术进行了研究,论文主要内容和研究成果如下: (1)研究了虚拟企业信息系统的体系结构,提出了一种基于Web服务和OAGIS的虚拟企业信息系统体系结构,用于解决虚拟企业各成员信息系统之间因为异地、异构以及业务信息描述差异而导致的集成困难,并研究了该体系结构的一些实现技术,如业务对象文档和 SOAP 消息的绑定,Web 服务安全性和事务性的实现等。 (2)研究了虚拟企业信息系统建模技术,提出了一种虚拟企业信息系统模型体系结构及建模方法,用于指导虚拟企业信息系统开发过程中的建模工作。在虚拟企业信息系统开发过程中分析、设计、实施等阶段,分别通过组织模型、信息模型、业务流程模型、功能模型、接口模型、交互模型、Web 服务调用流程模型、绑定模型和部署模型等,从多个视角对虚拟企业信息系统的全面描述。 (3)研究了虚拟企业信息系统服务调用流程正确性检测方法,提出了基于模型检测的流程模型检测方法,用于解决 Web 服务调用流程模型正确性检测问题。根据 Web 服务调用流程的特点,提出了流程模型的检测指标,给出了描述检测指标的模态逻辑公式,以及利用自动机方法和博弈算法验证流程模型正确性的方法步骤。 (4)研究了虚拟企业成员选择问题,提出了基于蚂蚁算法的虚拟企业成员选择方法,用于解决多优化目标条件下虚拟企业成员选择问题,给出了算法的实现步骤,并进行了实例验证。 (5)研究了虚拟企业中各成员之间进行生产任务分配问题,提出了基于蜂群算法生产任务调度分配方法,用于解决在敏捷组织单元之间进行生产任务动态调度分配问题,给出了算法的实现步骤,并进行了实例验证。

论文目录:

第一章 绪论

1.1 论文研究背景

1.1.1 当前企业面临的问题

1.1.2 虚拟企业概念及特点

1.2 论文研究内容及意义

1.2.1 虚拟企业信息系统概念及特点

1.2.2 虚拟企业信息系统研究发展现状及存在问题

1.2.3 论文研究内容

1.2.4 论文研究意义

1.3 相关技术发展现状

1.3.1 企业模型体系结构

1.3.2 Web服务技术

1.3.3 信息安全技术

1.3.4 工作流技术

1.4 论文创新点及结构

1.4.1 论文创新点

1.4.2 论文结构

第二章 基于Web服务和OAGIS的虚拟企业信息系统体系结构

2.1 引言

2.2 虚拟企业信息系统体系结构研究现状

2.2.1 虚拟企业信息系统的基本需求

2.2.2 虚拟企业信息系统体系结构研究现状

2.3 OAGIS标准

2.4 虚拟企业信息系统体系结构

2.5 虚拟企业信息系统部分实现技术

2.5.1 业务对象文档与WSDL和SOAP的绑定

2.5.2 Web服务安全的实现

2.5.3 Web服务事务的实现

2.6 本章小结

第三章 虚拟企业信息系统建模

3.1 引言

3.2 虚拟企业信息系统模型体系结构

3.2.1 虚拟企业信息系统的开发特点

3.2.2 虚拟企业信息系统模型体系结构

3.3 建模的软件方法及模型描述语言

3.3.1 建模的软件方法

3.3.2 模型描述语言

3.3.3 UML活动图向进程代数模型的转换

3.4 虚拟企业信息系统建模方法

3.5 本章小结

第四章 虚拟企业信息系统服务调用流程模型检测

4.1 引言

4.2 模型检测技术

4.2.1 模型检测技术基本原理

4.2.2 模型描述方法

4.2.3 检测指标描述逻辑

4.2.4 检测算法

4.3 Web服务调用流程模型的检测

4.3.1 检测原理

4.3.2 Web服务调用流程模型的转化

4.3.3 检测指标及其公式描述

4.4 模型正确性验证方法

4.4.1 验证原理

4.4.2 验证算法及实现步骤

4.5 本章小结

第五章 虚拟企业信息系统中伙伴选择与生产调度算法的实现

5.1 前言

5.2 基于蚂蚁算法的虚拟企业成员选择方法

5.2.1 蚂蚁算法原理

5.2.2 问题的描述

5.2.3 基于蚂蚁算法的虚拟企业成员选择

5.2.4 实例计算

5.3 基于蜂群算法的生产任务调度

5.3.1 蜂群算法原理

5.3.2 问题的描述

5.3.3 基于蜂群算法的敏捷化车间调度方法

5.3.4 实例计算

5.4 本章小结

第六章 原型系统开发

6.1 研究背景简介

6.2 原型系统模型及实现

6.2.1 原型系统模型

6.2.2 原型系统开发

6.3 本章小结

第七章 全文总结与研究展望

7.1 全文总结

7.2 研究展望

参考文献

致谢

攻读博士学位期间发表的主要论文

发布时间: 2005-07-08

参考文献

• [1].大型信息系统柔性体系框架多簇理论研究[D]. 梁爱民.铁道部科学研究院2004
• [2].信息大系统的综合集成方法研究与应用[D]. 罗伟其.华南理工大学2000
• [3].信息系统风险管理理论及关键技术研究[D]. 谷勇浩.北京邮电大学2007
• [4].网络信息系统风险评估方法研究[D]. 胡勇.四川大学2007
• [5].企业信息系统的云化迁移研究[D]. 苗虹.南京理工大学2016
• [6].组织—信息系统互动动态网络模拟研究[D]. 吴江.华中科技大学2009
• [7].基于创新视角的企业复杂信息系统使用及其对绩效影响的研究[D]. 秦敏.江西财经大学2009
• [8].快速可重构信息系统及其关键技术研究[D]. 沈延森.南京航空航天大学2001
• [9].信息系统使用对房地产企业团队绩效的影响研究[D]. 尹敬刚.武汉大学2012
• [10].信息系统安全功能符合性检验关键技术研究[D]. 马健丽.北京邮电大学2010

相关论文

• [1].虚拟企业过程集成中几个关键问题的研究[D]. 潘铁军.浙江大学2001
• [2].虚拟企业的组织特性与管理机制研究[D]. 郑文军.重庆大学2002
• [3].虚拟企业运作模式研究[D]. 胡正华.南京航空航天大学2002
• [4].虚拟企业建立及运行的理论和方法研究[D]. 陈一鸣.中南大学2001
• [5].虚拟企业构建及利益风险研究[D]. 高晚欣.哈尔滨工程大学2004
• [6].基于信息技术的柔性组织构建[D]. 原海英.武汉理工大学2005
• [7].虚拟企业信息化若干关键技术研究[D]. 杨超.东华大学2005
• [8].虚拟企业生产计划与调度若干关键技术研究[D]. 郝文育.南京航空航天大学2005
• [9].基于Web服务的动态虚拟企业（WSDVE）及其关键技术研究[D]. 陈冰.西北工业大学2003
• [10].虚拟企业组织模式及运行机制研究[D]. 修国义.哈尔滨工程大学2006

标签：虚拟企业信息系统论文;  服务论文;  模型检测论文;  蚂蚁算法论文;  蜂群算法论文;