《移動系統中間件建模與仿真》是2018年7月1日出版的圖書，作者是郭平。
基本介紹
- 中文名：移動系統中間件建模與仿真
- 作者：郭平
- 出版社：清華大學出版社
- 出版時間：2018年7月1日
- 定價：59 元
- ISBN：9787302491873
內容簡介,目錄,
內容簡介
本書主要介紹基於軟體架構的軟體建模與設計的相關知識，以移動系統作為例子，展示了如何使用基於和UML類似的元建模和圖形轉換技術來解決實際問題，主要內容包括問題領域、建模語言、軟體架構式樣、仿真技術、細化技術以及工具支持與代碼生成。本書不僅具有理論研究價值，而且具有較高的工程套用價值，對移動系統和軟體架構軟體建模感興趣的研究開發者和工程師具有很好的參考價值。
目錄
Chapter1Introduction1
1.1Motivation:middlewareformobilesystems1
1.2Problemswitharchitecture-centricapproaches.4
1.3Objectivesofthebook7
1.4Ourapproach.10
1.5Structureofthebook13
Chapter2TheProblemDomain15
2.1Overview.15
2.2Middle
2.3Middle
2.3.1
2.3.2
2.3.3
2.3.4
2.4Middle
2.4.1
2.4.2
2.4.3
2.4.4
warefordistributedsystems.16 wareformobilesystems.22 Mobilesystems23 Mobileapplications24 Problemswithmobileapplicationdevelopment26 Middlewareformobilesystems.27 wareformobilesystems:examples.32 Event-based(orpublish/subscribe)middleware.32 Tuplespace-basedmiddleware.36 Objectandcomponentmiddleware.39 Generalizationofcommonalities42
2.5Aspectstobemodeled44
2.5.1Modelingmobility44
2.5.2Modelingotheraspects.46
Chapter3RelatedWork 49
3.1Overview.49
3.2Requirements.50
3.2.1 Requirementsforstylespeci.cation.50
3.2.2 Requirementsforthemodelinglanguage53
3.3Surveyofrelatedwork55
3.3.1 Surveyofarchitecturalstyles55
3.3.2 Surveyofmodelinglanguages64
Chapter4AnOverviewoftheApproach 68
4.1Overview.68
4.2Thearchitecturalstyleforthemiddleware.70
4.2.1 Middleware-inducedstyle70
4.2.2 Layeredstructureofthestyle71
4.3Themodelingandsimulationframework73
4.3.1 Style-basedmodeling.73
4.3.2 Thestyleforthemiddleware78
4.3.3 Re.nement79
4.3.4 Simulation82
Chapter5ArchitecturalStyle-basedModeling 86
5.1Overview.86
5.2BackgroundoftheTGTS87
5.2.1 Graphsandgraphmorphism87
5.2.2 Graphsandobject-orientedmodeling88
5.2.3 Rulesandgraphtransformation89
5.2.4 Metamodeling91
5.2.5 Typedgraphtransformationsystemandstylespeci.ca-tion92
5.3Speci.cationofthestyle.94
5.3.1 Structuralpart95
5.3.2 Behavioralpart97
5.3.3 Syntaxandsemanticsofthemodelinglanguage101
Contentsvii
Chapter6StyleExamples104
6.1Overview.104
6.2Themiddlewarefornomadicnetworks.106
6.2.1Architecturalcommonalities.106
6.2.2Theconcretemiddleware:WirelessCORBA110
6.3Conceptualstyle.117
6.3.1Structuralpart118
6.3.2Behavioralpart120
6.4Platform-independentconcretestyle123
6.4.1Structuralpart123
6.4.2Behavioralpart125
6.5Platform-specificconcretestyle:WirelessCORBA.133
6.5.1Structuralpart133
6.5.2Behavioralpart137
6.5.3IDLsemanticsspeci.cation.147
Chapter7StyleRe.nement149
7.1Overview.149
7.2Requirementsforthere.nement150
7.3Existingapproachesandopenproblems156
7.4Rulemapping-basedstylere.nement.158
7.4.1Structuralre.nement159
7.4.2Behavioralre.nement162
7.4.3Re.nementoftheTGTS-basedstyle.183
7.5Evaluationandcomparison.184
Chapter8StyleSimulationandTools187
8.1Overview.187
8.2Graphtransformationsimulationtools.189
8.2.1Requirementsforthetool189
8.2.2AGG191
8.2.3PROGRES192
8.2.4Fujaba.194
8.2.5Evaluationandcomparison.195
8.3Style-basedsimulation198
8.3.1Stylespeci.cationandsimulation198
8.3.2E.cientvalidation204
8.3.3Re.nementconsistencycheck207
8.3.4Behavioralconsistencycheck208
8.3.5Style-basedengineering.216
Chapter9Conclusion219
9.1Evaluation.219
9.1.1Evaluatingthestylespeci.cation220
9.1.2Evaluatingthemodelinglanguage.221
9.2Relevancetopractice.224
9.2.1Styleanddesign.224
9.2.2Theconceptualstyleanddesign225
9.2.3Theplatform-independentconcretestyleanddesign.227
9.2.4Theplatform-speci.cconcretestyleanddesign229
9.3Contributions.230
9.4Futurework234
9.4.1Industryprojectexperience.234
9.4.2Automationandtoolsupport235
9.4.3Developmentofotherarchitecturalstyles.236
9.4.4Modelbasedtesting.237
AppendixOMGWirelessCORBAIDL239
Bibliography249
ListofFigures265
ListofTables270
