0人評分過此書

Modeling and Simulation of the Middleware for Mobile Systems(移动系统中间件建模与仿真)

作者
出版日期
2018/07/01
閱讀格式
EPUB
書籍分類
學科分類
ISBN
9787302491873

本館館藏

借閱規則
當前可使用人數 30
借閱天數 14
線上看 0
借閱中 0
選擇分享方式

推薦本館採購書籍

您可以將喜歡的電子書推薦給圖書館,圖書館會參考讀者意見進行採購

讀者資料
圖書館
* 姓名
* 身分
系所
* E-mail
※ 我們會寄送一份副本至您填寫的Email中
電話
※ 電話格式為 區碼+電話號碼(ex. 0229235151)/ 手機格式為 0900111111
* 請輸入驗證碼
本書主要介紹了怎麼樣用基於基於架構式樣的方法來解決移動系統中間件領域開發設計困難, 重用困難等問題。我們使用UML類似的的元建模和圖形轉換技術來支持完善的方法原理, 強大的建模以及形式化的分析和細化。讀者對象:本書對移動系統和軟件架構軟件建模感興趣的研究開發者和工程師具有很好的參考價值…
  • 封面页
  • 书名页
  • 版权页
  • 内容简介
  • 作者介绍
  • Abstract
  • Acknowledgements
  • Contents
  • 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
    • 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
  • 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.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
  • Chapter 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
  • Chapter 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
    • Correctness Check
      • 7.4.3 Refinement of the TGTS-based style
    • 7.5 Evaluation and comparison
  • Chapter 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
  • Chapter 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
  • Appendix A OMG Wireless CORBA IDL
    • MobileTerminal.idl
    • Module MobilityEventNotification
    • Module GTP GIOP Tunneling Protocol
  • Bibliography
  • List of Figures
  • List of Tables
  • 附录CD

評分與評論

請登入後再留言與評分
幫助
您好,請問需要甚麼幫助呢?
使用指南

客服專線:0800-000-747

服務時間:週一至週五 AM 09:00~PM 06:00

loading