基于进程代数的信息化建模与仿真

论文摘要

随着计算机技术、网络技术和通信技术的发展和应用,企业信息化已成为持续化发展和提高市场竞争力的重要前提。指导推进信息化建设,才能深化电子政务应用。针对当前我国信息化系统实施过程中缺乏客观、有效、全面的分析评测手段和工具的现状,为推动我国信息化系统建设的合理有效性,有必要对信息化系统相关业务逻辑进行建模分析,以便准确依据业务特性,进行业务逻辑仿真,研究信息化系统的动力机制,从而建立一套具有理论依据、可操作性强的业务逻辑建模仿真体系,其研究结果可为我国信息化建设开展和实施提供科学、量化、具备良好可操作性的分析和诊断工具。本课题研究基于进程代数的业务逻辑建模,它是通过基于过程代数的建模分析,构建业务运行模型,以帮助用户观察在不同的输入下流程是如何执行的,即业务的仿真运行。业务逻辑建模模型是对业务逻辑建模的抽象表示,也就是对经营过程的抽象表示。国内外对业务逻辑仿真的研究主要集中于工作流仿真性能研究、对工作流仿真机制及体系结构的研究。业务逻辑模型建立后,需要对仿真运行后的结果进行评估,课题研究采用容量管理的IT服务管理方法进行评估。课题研究从软件方面的信息化建模出发,研究信息化的本质和特点,研究信息化建模的逻辑基础和建模手段,给出如何建立企业业务建模,如何通过对企业业务建模的模型进行仿真,并根据仿真结果得出硬件方面的信息、基础设施的规划设计。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 课题背景
• 1.1.1 信息化内涵
• 1.1.2 信息化状况
• 1.1.3 信息化面临的问题
• 1.2 国内外研究现状
• 1.3 课题研究的主要内容
• 1.4 本文安排
• 第2章 业务逻辑建模研究
• 2.1 业务建模
• 2.2 业务逻辑建模
• 2.2.1 业务逻辑模型
• 2.2.2 业务逻辑建模仿真研究中的问题
• 2.3 业务逻辑建模仿真的发展过程
• 2.4 业务逻辑建模仿真研究方向
• 2.5 容量管理
• 2.6 本章小结
• 第3章 技术路线及关键技术
• 3.1 技术路线
• 3.2 关键技术
• 3.2.1 进程代数理论
• 3.2.2 基于进程代数的业务工作流逻辑描述
• 3.2.3 业务逻辑组建机制
• 3.2.4 工作流概述
• 3.2.5 工作流标准接口
• 3.2.6 马尔可夫链
• 3.2.7 信息化系统业务的特性和变化规律的研究
• 3.3 本章小结
• 第4章 系统的设计与实现
• 4.1 总体设计
• 4.2 业务建模的实现
• 4.3 业务发生规律
• 4.4 设备指标评价体系
• 4.4.1 服务器及测评标准分析
• 4.4.2 存储设备及测评标准分析
• 4.4.3 网络设备及测评标准分析
• 4.4.4 TPC指标定义
• 4.4.5 SPEC2004指标定义
• 4.4.6 SPECWeb指标定义
• 4.5 业务建模仿真过程
• 4.5.1 系统结构建模
• 4.5.2 业务部署
• 4.5.3 业务模拟发生器
• 4.5.4 设备负载计算
• 4.5.5 仿真展现
• 4.5.6 动态优化部署
• 4.5.7 仿真验证
• 4.6 本章小结
• 结论
• 参考文献
• 攻读硕士学位期间发表的论文和取得的科研成果
• 致谢
• 个人简历