《移动系统中间件建模与仿真（英文版）》内容简介

本书主要介绍基于软件架构的软件建模与设计的相关知识，以移动系统作为例子，展示了如何使用基于和UML类似的元建模和图形转换技术来解决实际问题，主要内容包括问题领域、建模语言、软件架构式样、仿真技术、细化技术以及工具支持与代码生成。
本书不仅具有理论研究价值，而且具有较高的工程应用价值，对移动系统和软件架构软件建模感兴趣的研究开发者和工程师具有很好的参考价值。
郭平，现任职于昆明理工大学计算中心，曾获得德国帕德博恩大学的计算机博士学位。主要研究方向包括软件架构、软件建模、移动和系统、嵌入式系统等。曾任职于西门子研发中心软件工程师，德国国家印刷厂高级软件架构师，Capgemini咨询师等。

作品目录

内容简介
作者介绍
Abstract
Acknowledgements
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.4、Middleware
for
mobile
systems:
examples
2.5、Aspects
to
be
modeled
Chapter
3、Related
Work
3.1、Overview
3.2、Requirements
3.3、Survey
of
related
work
Chapter
4、An
Overview
of
the
Approach
4.1、Overview
4.2、The
architectural
style
for
the
middleware
4.3、The
modeling
and
simulation
framework
Chapter
5、Architectural
Style-based
Modeling
5.1、Overview
5.2、Background
of
the
TGTS
5.3、Specification
of
the
style
Chapter
6、Style
Examples
6.1、Overview
6.2、The
middleware
for
nomadic
networks
6.3、Conceptual
style
6.4、Platform-independent
concrete
style
6.5、Platform-specific
concrete
style:
Wireless
CORBA
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
Correctness
Check
7.5、Evaluation
and
comparison
Chapter
8、Style
Simulation
and
Tools
8.1、Overview
8.2、Graph
transformation
simulation
tools
8.3、Style-based
simulation
Chapter
9、Conclusion
9.1、Evaluation
9.2、Relevance
to
practice
9.3、Contributions
9.4、Future
work
Appendix
A
OMG
Wireless
CORBA
IDL
MobileTerminal.idl
Module
MobilityEventNotification
Module
GTP
GIOP
Tunneling
Protocol
Bibliography
List
of
Figures
List
of
Tables
附录CD