《企業信息系統的形式化及其套用》是2012年機械工業出版社出版的圖書，作者是薛朝改。本書從全局的角度系統地研究信息系統的形式化、符號及定理化信息系統，研究企業信息系統形式化的套用。其內容由淺入深，從企業信息系統的基本理論入手，逐步過渡到企業信息系統形式化的研究，在編寫中注重研究現狀的綜述以及相關方法的套用，並通過案例進行說明。
基本介紹
- 書名：企業信息系統的形式化及其套用
- 作者：薛朝改
- ISBN：9787111367079
- 頁數：211
- 出版社：機械工業出版社
- 出版時間：2012-2-1
- 裝幀：平裝
- 開本：16開
- 字數：340000
- 紙張：膠版紙
內容簡介,目錄,
內容簡介
全書分為上下兩篇，上篇的主要內容是關於企業信息系統的形式化理論及方法，包括第1章至第4章。第1章從企業信息系統的由來及發展入手，介紹了企業信息化，界定了企業信息系統的概念、內涵及其發展，給出了企業信息系統形式化研究涉及的學科及方法。第2章給出了模型的視角和分類，以及建模的原理和步驟，說明了典型的企業信息系統建模的方法及套用，為形式化奠定了理論基礎。第3章概述了形式化的發展、分類及其研究內容，綜述了常用的形式化方法及研究現狀，並且說明了形式化方法的套用。第4章在企業信息系統理論及形式化方法理論的基礎上，深入研究了企業信息系統均形式化表達，介紹了知識網理論及對象知識網的企業信息系統形式化的理論與方法。
目錄
前言
上 篇 企業信息系統的形式化理論
第l章 企業信息系統概述
1．1 企業信息化與企業信息系統
1．1．l 企業信息化
1．1．2 信息系統的概念
1．1．3 企業信息系統的概念
1．1．4 企業信息系統的發展趨勢及面臨的挑戰
1．2 企業信息系統的分類
1．2．1 企業信息系統的分類模型和分類視角
1．2．2 企業信息系統的層次結構
1．2．3 企業信息系統的功能結構
1．2．4 企業信息系統的軟體結構
1．2．5 企業信息系統的生命周期
1．3 企業信息系統的學科體系
1．3．1 管理科學
1．3．2 系統科學
1．3．3 信息技術
1．3．4 建模技術
1．4 企業信息系統的套用
1．4．1 職能信息系統
1．4．2 層次信息系統
1．4．3 企業集成信息系統
1．4．4 企業信息系統案例
第2章 企業信息系統建模
2．1 模型的概述
2．2 模型的視角及分類
2．3 建模原理
2．3．1 模型的特徵
2．3．2 建模的原則
2．4 建模的步驟
2．5 典型的企業信息系統模型
2．5．1 CIM-OSA模型
2．5．2 普渡體系結構模型
2．5．3 面向功能的體系結構模型
2．5．4 IDEF系列模型
2．5．5 UML模型
2．5．6 面向對象的模型
第3章 形式化方法的理論基礎
3．1 形式化方法概述
3．1．1 形式化的定義
3．1．2 形式化方法的發展過程
3．2 形式化方法的分類
3．3 形式化方法的研究內容
3．4 形式化的優勢及發展方向
3．5 常用的形式化方法
3．5．1 Petri網
3．5．2 排隊論
3．5．3 隨機進程代數
3．5．4 形式化規範說明語言
3．6 形式化方法的套用
3．6．1 形式化方法在軟體開發中的套用
3．6．2 形式化方法在軟體再工程的套用
3．6．3 基於形式化方法的模型檢驗
3．6．4 其他套用
第4章 企業信息系統的形式化
4．1 企業信息系統的發展及組成
4．1．1 企業信息系統的發展
4．1．2 企業信息系統的組成
4．2 知識網理論
4．2．1 企業信息系統及Agent網
4．2．2 知識網及其運算
4．2．3 多重集的概念
4．2．4 多重集的運算及其性質
4．2．5 知識網複雜度的泛函分析
4．3 對象知識網
……
下篇 企業信息系統形式化的套用
第5章 企業信息系統的重構
第6章 企業信息系統的時間性能
第7章 企業信息系統適應性的評價
第8章 企業信息系統的最佳化
參考文獻
