全新移动系统中间件建模与郭平 著9787302491873

Chapter 1 Introduction
1.1 Motivation: middleware for mobile systems
1.2 Problems with architecture-centric approaches
1.3 Objectives of the book
1.4 Our approach
1.5 Structure of the book
Chapter 2 The Problem Domain
2.1 Overview
2.2 Middleware for distributed systems
. Middleware for mobile systems
..1 Mobile systems
..2 Mobile applications
.. Problems with mobile application development
..4 Middleware for mobile systems
2.4 Middleware for mobile systems: examples
2.4.1 Event-based (or publish / subscribe) middleware
2.4.2 Tuple space-based middleware
2.4.3 Object and component middleware
2.4.4 Generalization of commonalities
2.5 Ascs&bsp;to be modeled
2.5.1 Modeling mobility
2.5.2 Modeling other aspects
Chapter 3 Related Work
3.1 Overview
3.2 Requirements
3.2.1 Requirements for style specification
3.2.2 Requirements for the modeling language
3.3 Survey of related work
3.3.1 Survey of architectural styles
3.3.2 Survey of modeling languages
Chapter 4 An Overview of the Approach
4.1 Overview
4.2 The architectural style for the middleware
4.2.1 Middleware-induced style
4.2.2 Layered structure of the style
4.3 The modeling and simulation framework
4.3.1 Style-based modeling
4.3.2 The style for the middleware
4.3.3 Refinement
4.3.4 Simulation
Chapter 5 Architectural Style-based Modeling
5.1 Overview
5.2 Background of the TGTS
5.2.1 Graphs and graph morphism
5.2.2 Graphs and object-oriented modeling
5.. Rules and graph transformation
5.2.4 Metamodeling
5.2.5 Typed graph transformation system and style specifica-tion
5.3 Specification of the style
5.3.1 Structural part
5.3.2 Behavioralpart
5.3.3 Syntaxandsemanticsofthemodelinglanguage
Contents vii
Chapter 6 Style Examples
6.1 Overview
6.2 Themiddlewarefornomadicnetworks
6.2.1 Architecturalcommonalities
6.2.2 Theconcretemiddleware:WirelessCORBA
6.3 Conceptualstyle
6.3.1 Structuralpart
6.3.2 Behavioralpart
6.4 Platform-independentconcretestyle
6.4.1 Structuralpart
6.4.2 Behavioralpart
6.5 Platform-specificconcretestyle:WirelessCORBA
6.5.1 Structuralpart
6.5.2 Behavioralpart 137
6.5.3 Lsemanticsspeci.cation
Chapter 7 Style Re.nement
7.1 Overview
7.2 Requirementsforthere.nement
7.3 Existingapproachesandopenproblems
7.4 Rumapg-basedstylere.nement
7.4.1 Structuralre.nement
7.4.2 Behavioralre.nement
7.4.3 Re.nementoftheTGTS-basedstyle
7.5 Evaluationandcomparison
Chapter 8 Style Simulation and Tools
8.1 Overview
8.2 Graphtransformationsimulationtools
8.2.1 Requirementsforthetool
8.2.2 AGG
8.. PROGRES
8.2.4 Fujaba
8.2.5 Evaluationandcomparison
8.3 Style-basedsimulation
8.3.1 Stylespeci.cationandsimulation
8.3.2 E.cientvalidation
8.3.3 Re.nementconsistencycheck
8.3.4 Behavioralconsistencycheck
8.3.5 Style-basedengineering
Chapter 9 Conclusion
9.1 Evaluation
9.1.1 Evaluatingthestylespeci.cation
9.1.2 Evaluatingthemodelinglanguage
9.2 Relevancetopractice
9.2.1 Styleanddesign
9.2.2 Theconceptualstyleanddesign
9.. Theplatform-independentconcretestyleanddesign
9.2.4 Theplatform-speci.cconcretestyleanddesign
9.3 Contributions
9.4 Futurework
9.4.1 Industryprojectexperience
9.4.2 Automationandtoolsupport
9.4.3 Developmentofotherarchitecturalstyles
9.4.4 Modelbasedtesting
Appendix OMG Wireless CORBA L
Bibliography
List of Figures
List of Table

郭平，现任职于昆明理工大学计算中心，曾获得德国帕德博恩大学的计算机博士。主要研究方向包括软件架构、软件建模、移动和系统、嵌入式系统等。曾任职于西门子研发中心软件，德国印刷厂不错软件架构师，Capgemini咨询师等。