Content

•  
   Abstract
•  
   Acknowledgements
•  
   Contents
•  
  1 Introduction
•  
   1.1 Motivation: middleware for mobile systems
•  
   1.2 Problems with architecture-centric approaches
•  
   1.3 Objectives of the thesis
•  
   1.4 Our approach
•  
   1.5 Structure of the thesis
•  
  2 The Problem Domain
•  
   2.1 Overview
•  
   2.2 Middleware for distributed systems
•  
  2.3 Middleware for mobile systems
•  
   2.3.1 Mobile systems
•  
   2.3.2 Mobile applications
•  
   2.3.3 Problems with mobile application development
•  
   2.3.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 Aspects to be modeled
•  
   2.5.1 Modeling mobility
•  
   2.5.2 Modeling other aspects
•  
  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
•  
  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
•  
  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.2.3 Rules and graph transformation
•  
   5.2.4 Metamodeling
•  
   5.2.5 Typed graph transformation system and style specification
•  
   5.3 Specification of the style
•  
   5.3.1 Structural part
•  
   5.3.2 Behavioral part
•  
   5.3.3 Syntax and semantics of the modeling language
•  
  6 Style Examples
•  
   6.1 Overview
•  
  6.2 The middleware for nomadic networks
•  
   6.2.1 Architectural commonalities
•  
   6.2.2 The concrete middleware: Wireless CORBA
•  
   6.3 Conceptual style
•  
   6.3.1 Structural part
•  
   6.3.2 Behavioral part
•  
  6.4 Platform-independent concrete style
•  
   6.4.1 Structural part
•  
   6.4.2 Behavioral part
•  
  6.5 Platform-specific concrete style: Wireless CORBA
•  
   6.5.1 Structural part
•  
   6.5.2 Behavioral part
•  
   6.5.3 IDL semantics specification
•  
  7 Style Refinement
•  
   7.1 Overview
•  
   7.2 Requirements for the refinement
•  
   7.3 Existing approaches and open problems
•  
   7.4 Rule mapping - based style refinement
•  
   7.4.1 Structural refinement
•  
   7.4.2 Behavioral refinement
•  
   7.4.3 Refinement of the TGTS - based style
•  
   7.5 Evaluation and comparison
•  
  8 Style Simulation and Tools
•  
   8.1 Overview
•  
   8.2 Graph transformation simulation tools
•  
   8.2.1 Requirements for the tool
•  
   8.2.2 AGG
•  
   8.2.3 PROGRES
•  
   8.2.4 Fujaba
•  
   8.2.5 Evaluation and comparison
•  
  8.3 Style-based simulation
•  
   8.3.1 Style specification and simulation
•  
   8.3.2 Efficient validation
•  
   8.3.3 Refinement consistency check
•  
   8.3.4 Behavioral consistency check
•  
   8.3.5 Style - based engineering
•  
  9 Conclusion
•  
  9.1 Evaluation
•  
   9.1.1 Evaluating the style specification
•  
   9.1.2 Evaluating the modeling language
•  
   9.2 Relevance to practice
•  
   9.2.1 Style and design
•  
   9.2.2 The conceptual style and design
•  
   9.2.3 The platform-independent concrete style and design
•  
   9.2.4 The platform-specific concrete style and design
•  
   9.3 Contributions
•  
  9.4 Future work
•  
   9.4.1 Industry project experience
•  
   9.4.2 Automation and tool support
•  
   9.4.3 Development of other architectural styles
•  
   9.4.4 Model based testing
•  
   A OMG Wireless CORBA IDL
•  
   Bibliography
•  
   List of Figures
•  
   List of Tables