企业信息系统的形式化及其应用

目录前言上篇企业信息系统的形式化理论第1章企业信息系统概述211企业信息化与企业信息系统2111企业信息化2112信息系统的概念4113企业信息系统的概念5114企业信息系统的发展趋势及面临的挑战512企业信息系统的分类7121企业信息系统的分类模型和分类视角7122企业信息系统的层次结构8123企业信息系统的功能结构12124企业信息系统的软件结构12125企业信息系统的生命周期1313企业信息系统的学科体系20131管理科学20132系统科学24133信息技术25134建模技术2614企业信息系统的应用27141职能信息系统27142层次信息系统30143企业集成信息系统30144企业信息系统案例31第2章企业信息系统建模3421模型的概述3422模型的视角及分类3623建模原理38231模型的特征38232建模的原则3824建模的步骤3925典型的企业信息系统模型40251CIMOSA模型40252普渡体系结构模型43253面向功能的体系结构模型45254IDEF系列模型46255UML模型55256面向对象的模型57第3章形式化方法的理论基础6031形式化方法概述60311形式化的定义60312形式化方法的发展过程6132形式化方法的分类6133形式化方法的研究内容6234形式化的优势及发展方向6335常用的形式化方法65351Petri网65352排队论72353随机进程代数74354形式化规范说明语言7636形式化方法的应用77361形式化方法在软件开发中的应用77362形式化方法在软件再工程的应用78363基于形式化方法的模型检验79364其他应用79第4章企业信息系统的形式化8141企业信息系统的发展及组成81411企业信息系统的发展81412企业信息系统的组成8242知识网理论83421企业信息系统及Agent网84422知识网及其运算85423多重集的概念87424多重集的运算及其性质87425知识网复杂度的泛函分析9343对象知识网95431对象知识网的概念95432对象知识网的构造算法97433对象知识网与知识网的转换算法9844企业信息系统的形式化表达99441基于知识网的企业信息系统形式化99442基于对象知识网的企业信息系统形式化10145企业信息系统的形式化实例103451基于知识网的企业信息系统形式化实例103452基于对象知识网的企业信息系统形式化实例104下篇企业信息系统形式化的应用第5章企业信息系统的重构11051重构的概念及原则110511重构的概念110512重构的原则110513重构问题的研究现状110514重构问题的方法11452基于知识网的企业信息系统重构116521基于知识网的信息系统重构原理116522知识网的重构算法116523基于近似匹配的知识网重构研究12453基于对象知识网的近似重构133531对象知识网的重构原及其匹配性134532基于近似匹配的对象知识网及信息传递网的推理136533基于近似匹配的对象知识网重构研究13954重构案例140541基于知识网的企业信息系统重构案例140542基于知识网的企业信息系统近似重构143543基于对象知识网的企业信息系统近似重构146第6章企业信息系统的时间性能14961时间性能的概念及发展过程14962时间性能的表达150621对象知识网知识点间关系的表达150622对象知识网的时间性能151623时间性能分析151624基于时间性能的系统结构的表达15463企业信息系统时间性能的案例155631时间可达性分析155632时间性能的预估158第7章企业信息系统适应性的评价15971企业信息系统适应性的基本概念159711企业信息系统适应性的界定159712企业信息系统适应性的研究现状15972企业信息系统适应性的指标体系160721GQM方法概述160722GQM的建模步骤161723GQM方法的应用现状162724企业信息系统适应性的指标16373企业信息系统适应性的量化165731需求分析阶段165732系统设计阶段167733运行维护阶段17074企业信息系统适应性的评价模型及算法172741评价模型172742评价算法172743指标权重的确定17375企业信息系统适应性评价案例173751案例背景173752案例分析173第8章企业信息系统的优化17581企业信息系统优化的研究175811企业信息系统优化的界定175812企业信息系统优化的方法176813企业信息系统优化的研究现状17982企业信息系统的功能优化179821知识网功能的满意度模型及其运算180822基于用户功能需求的知识网多重集表达式的优化18283企业信息系统的结构优化189831免疫遗传算法190832企业信息系统的结构优化模型19284企业信息系统优化案例841企业信息系统功能的优化案例842企业信息系统结构的优化案例参考文献

在众多行业中得到了广泛的应用，并且发挥着越来越重要的作用，日益成为企业运行中必不可少的组成部分。形式化即“符号化 抽象公理化”，也就是采用定量的数学方法描述系统，借助数学方法研究系统的性质与规律。企业信息系统的形式化及应用研究，对于认识企业信息系统的结构，深入研究其运行机理具有重要意义，是企业信息系统的研究从定性转向定量，不断深入的必经之路。为此，本书从全局的角度系统地研究企业信息系统的形式化，符号及定理化信息系统，研究企业信息系统形式化的应用。全书分为上下两篇，分别是企业信息系统的形式化理论，以及企业信息系统形式化的应用，包括重构、时间性能、适应性评价、优化等内容。《企业信息系统的形式化及其应用》适合系统科学、管理学、信息系统及管理、计算机科学等领域的研究人员及高校师生参考使用。