●第1章緒論1
1.1研究背景1
1.2相關研究工作5
1.2.1CIM建模方法5
1.2.2CIM模型形式化8
1.2.3CIM模型至PIM模型轉換方法11
1.2.4模型的語義一致性驗證16
1.3研究意義17
第2章相關技術基礎19
2.1模型驅動開發19
2.2模型形式化方法22
2.2.1範疇論22
2.2.2Petri網24
2.3模型轉換語言25
2.4模型驅動工程的平臺與工具28
2.5本章小結30
第3章CIM模型及模型形式化31
3.1GSP多層次框架和過程31
3.1.1建模思路32
3.1.2GSP祺型框架33
3.1.3GSP建模過程36
3.2GSP模型38
3.2.1業務目標模型38
3.2.2業務場景模型40
3.2.3業務過程模型45
3.3本章小結49
第4章GSP模型形式化50
4.1業務目標模型的形式化50
4.2業務場景模型的形式化54
4.2.1擴展的Petri網模型55
4.2.2場景模型的形式化60
4.3業務過程模型的形式化65
4.4GSP模型轉換與形式化執行71
4.4.1GSP模型轉換71
……
隨著分布式技術和構件技術的快速發展，軟件繫統的業務需求和使用環境不斷的發生變化，使得業務繫統變得越來越復雜。對於復雜業務繫統來說，釐清業務需求，建立符合業務用戶要求的、正確完整的需求和設計模型對軟件開發的成功與否有著重要的影響。本書聚焦於模型驅動框架中的CIM抽像層次和PIM抽像層次，展開形式化模型自動轉換的研究。融合需求分析方法和業務建模方法，采用逐步細化和求精的方式研究基於CIM的多層次建模方法，並利用範疇論和Petri網對多層次建模方法進行形式化，以形式化模型為基礎，分析CIM模式至PIM模式的轉換方法及基於語義的模型一致性驗證方案。本書中的建模方法和模型轉換均用實例進行演模型構建、模型形式化和模型轉換技術均在Eclipse建模平臺完成。本書可供業務流程管理、軟件需求分析、軟件設計、軟件開發等相關領域的科學研究人員、工程技術人員、軟件項目管理人員及大專院校、科研院所師生應用和等
