书籍详情
《移动系统中间件建模与仿真》[29M]百度网盘|亲测有效|pdf下载
  • 移动系统中间件建模与仿真

  • 出版社:清华大学出版社京东自营官方旗舰店
  • 出版时间:2018-06
  • 热度:11229
  • 上架时间:2024-06-30 09:38:03
  • 价格:0.0
书籍下载
书籍预览
免责声明

本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源,一旦发现资源涉及侵权,将立即删除。希望所有用户一同监督并反馈问题,如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正

内容介绍

内容简介

本书主要介绍基于软件架构的软件建模与设计的相关知识,以移动系统作为例子,展示了如何使用基于和UML类似的元建模和图形转换技术来解决实际问题,主要内容包括问题领域、建模语言、软件架构式样、仿真技术、细化技术以及工具支持与代码生成。本书不仅具有理论研究价值,而且具有较高的工程应用价值,对移动系统和软件架构软件建模感兴趣的研究开发者和工程师具有很好的参考价值。

目录

Chapter 1 Introduction 1
1.1 Motivation:middlewareformobilesystems .......... 1
1.2 Problemswitharchitecture-centricapproaches......... 4
1.3 Objectivesofthebook...................... 7
1.4 Ourapproach........................... 10
1.5 Structureofthebook ...................... 13
Chapter 2 The Problem Domain 15
2.1 Overview ............................. 15

2.2 Middle
2.3 Middle
2.3.1
2.3.2
2.3.3
2.3.4
2.4 Middle
2.4.1
2.4.2
2.4.3
2.4.4
warefordistributedsystems............... 16
wareformobilesystems ................. 22
Mobilesystems...................... 23
Mobileapplications.................... 24
Problemswithmobileapplicationdevelopment .... 26
Middlewareformobilesystems ............. 27
wareformobilesystems:examples ........... 32
Event-based(orpublish/subscribe)middleware ... 32
Tuplespace-basedmiddleware ............. 36
Objectandcomponentmiddleware........... 39
Generalizationofcommonalities ............ 42

2.5 Aspectstobemodeled...................... 44

2.5.1 Modelingmobility .................... 44

2.5.2 Modelingotheraspects ................. 46

Chapter 3 Related Work 49
3.1 Overview ............................. 49

3.2 Requirements........................... 50

3.2.1 Requirementsforstylespeci.cation........... 50

3.2.2 Requirementsforthemodelinglanguage........ 53

3.3 Surveyofrelatedwork...................... 55

3.3.1 Surveyofarchitecturalstyles .............. 55

3.3.2 Surveyofmodelinglanguages.............. 64

Chapter 4 An Overview of the Approach 68
4.1 Overview ............................. 68

4.2 Thearchitecturalstyleforthemiddleware........... 70

4.2.1 Middleware-inducedstyle ................ 70

4.2.2 Layeredstructureofthestyle.............. 71

4.3 Themodelingandsimulationframework............ 73

4.3.1 Style-basedmodeling................... 73

4.3.2 Thestyleforthemiddleware .............. 78

4.3.3 Re.nement ........................ 79

4.3.4 Simulation ........................ 82

Chapter 5 Architectural Style-based Modeling 86
5.1 Overview ............................. 86

5.2 BackgroundoftheTGTS .................... 87

5.2.1 Graphsandgraphmorphism .............. 87

5.2.2 Graphsandobject-orientedmodeling.......... 88

5.2.3 Rulesandgraphtransformation ............ 89

5.2.4 Metamodeling ...................... 91

5.2.5 Typedgraphtransformationsystemandstylespeci.ca-tion ............................ 92
5.3 Speci.cationofthestyle..................... 94

5.3.1 Structuralpart ...................... 95

5.3.2 Behavioralpart...................... 97

5.3.3 Syntaxandsemanticsofthemodelinglanguage.... 101
Contents vii
Chapter 6 Style Examples 104
6.1 Overview ............................. 104

6.2 Themiddlewarefornomadicnetworks ............. 106

6.2.1 Architecturalcommonalities............... 106

6.2.2 Theconcretemiddleware:WirelessCORBA...... 110
6.3 Conceptualstyle ......................... 117

6.3.1 Structuralpart ...................... 118

6.3.2 Behavioralpart...................... 120

6.4 Platform-independentconcretestyle .............. 123

6.4.1 Structuralpart ...................... 123

6.4.2 Behavioralpart...................... 125

6.5 Platform-specificconcretestyle:WirelessCORBA ......... 133

6.5.1 Structuralpart ...................... 133

6.5.2 Behavioralpart...................... 137

6.5.3 IDLsemanticsspeci.cation ............... 147

Chapter 7 Style Re.nement 149
7.1 Overview ............................. 149

7.2 Requirementsforthere.nement ................ 150

7.3 Existingapproachesandopenproblems ............ 156

7.4 Rulemapping-basedstylere.nement ............. 158

7.4.1 Structuralre.nement .................. 159

7.4.2 Behavioralre.nement .................. 162

7.4.3 Re.nementoftheTGTS-basedstyle ......... 183

7.5 Evaluationandcomparison ................... 184

Chapter 8 Style Simulation and Tools 187
8.1 Overview ............................. 187

8.2 Graphtransformationsimulationtools............. 189

8.2.1 Requirementsforthetool ................ 189

8.2.2 AGG............................ 191

8.2.3 PROGRES ........................ 192

8.2.4 Fujaba........................... 194

8.2.5 Evaluationandcomparison ............... 195

8.3 Style-basedsimulation ...................... 198

8.3.1 Stylespeci.cationandsimulation............ 198

8.3.2 E.cientvalidation.................... 204

8.3.3 Re.nementconsistencycheck.............. 207

8.3.4 Behavioralconsistencycheck .............. 208

8.3.5 Style-basedengineering ................. 216

Chapter 9 Conclusion 219
9.1 Evaluation............................. 219

9.1.1 Evaluatingthestylespeci.cation............ 220

9.1.2 Evaluatingthemodelinglanguage ........... 221

9.2 Relevancetopractice....................... 224

9.2.1 Styleanddesign ..................... 224

9.2.2 Theconceptualstyleanddesign ............ 225

9.2.3 Theplatform-independentconcretestyleanddesign . 227
9.2.4 Theplatform-speci.cconcretestyleanddesign .... 229
9.3 Contributions........................... 230

9.4 Futurework............................ 234

9.4.1 Industryprojectexperience ............... 234

9.4.2 Automationandtoolsupport.............. 235

9.4.3 Developmentofotherarchitecturalstyles ....... 236

9.4.4 Modelbasedtesting ................... 237

Appendix OMG Wireless CORBA IDL 239
Bibliography 249
List of Figures 265
List of Tables 270

精彩书摘

  《移动系统中间件建模与仿真》:
  Chapter 1
  Introduction
  1.1 Motivation: middleware for mobile systems
  Distributed systems [142] enable us to use the best combination of hardware and software components for an enterprise. However, it is di.cult to construct a coherent and operational distributed system that integrates the needed components. Middleware is originally designed to help manage the complexity and heterogeneity caused by the distribution characteristics of distributed systems [50, 142]. It integrates distributed heterogenous components and makes components interoperable. Middleware is layered between network operating systems and application components [19, 27]. It adds mechanisms and services that are much more specialized than those provided by the operating system. It enables application engineers to abstract from the imple-mentation of error-prone and complex low-level details, such as concurrency control, transaction management and network communication, and allows them to focus on application requirements [50, 124]. The construction of a large class of distributed systems can be hence simpli.ed by leveraging middleware. In addition, middleware leads to faster and cheaper system development and enhances the quality of systems. Besides have being rapidly adopted in industry [32], middleware platforms are getting popular in the academy research area [50]. Microsoft’s DCOM (Distributed Component Object Models), Sun Microsystems’ EJB (Enterprise JavaBeans), OMG’s CORBA (Common Object Request Broker Architecture) are the examples of most popular middleware models.
  Today, mobility is one of the most important market and technology trend within information and communication technology. With the fast development of high-speed wireless communication technologies and component miniatur-ization technologies, new types of mobile applications and mCommerce have emerged.
  ……

前言/序言

Today, mobility is one of the most important market and technology trend within information and communication technology. As the demand for rapid deployment of dependable mobile applications increases, middleware for mobile systems is emerging as one of the most active areas of system research in mobility. The middleware is a set of distributed software services that exists between distributed operating systems and mobile applications. The key to the middleware is to provide support across the mobile application domains, help application developers overcome the complexity and problems brought by mobility, and enhance dependability and usability of developed mobile applications. The criticality and pervasiveness of middleware for mobile systems is continually growing. However, the design and development of the middleware are di.cult tasks, and it is not easy to ensure the quality of a developed middleware. This is mainly caused by the increasing complexity of the middleware. In addition, the great diversity of this area makes it very di.cult for the designers to reuse the already established design knowledge or successful experience when building new systems. All these make the design process quite ine.cient and unpredictable, and therefore risking the project.
“One man’s magic is another man’s engineering”. Engineering design is much more routine than innovative. Founding on this fundamental notion in software engineering, we develop an architectural style-based approach to deal with the problems in the book. We build architectural styles for a class of related middleware. The style represents a common form of design, which originates from the results that practitioners have achieved in one area. The style is formulated to repeat successes and avoid failures from previous projects. When building a new middleware, the designers and developers do not need to explore all possible alternatives for its supported architecture. Instead, they can use the architectural style that is e.ective for the middleware. They can de.ne the design as instances of the style, or they can use the style as a reference model for further improvement and development. By structuring the design space for a family of related middleware, the style can drastically simplify the process of building a middleware, reduce costs of implementation through reusable infrastructure, and improve system integrity through style-speci.c analysis and checks.
We develop the approach based on UML-like meta modeling and graph transformation techniques to support sound methodological principles, power-ful modeling, formal analysis and re.nement. The approach consists of several main parts: the modeling language that supports speci.cation of the style and mobility, the re.nement formalization that ensures that an abstract style is correctly re.ned to a concrete one, as well as the consistency check framework that validates behavioral consistency between two styles on di.erent abstract layers. With the Fujaba simulation tool support, we also develop a style-based engineering process that helps us to e.ciently develop correct and consistent styles. Besides, it allows a seamless integration of our approach into the well-known object oriented design. By providing a concrete example of how to construct the style for a class of related middleware, and how to use the style to help the design and development of a new middleware, we show that the modeling and simulation-based approach is useful and practical.

Acknowledgements

Along the way, I have got a lot of guidance, support, encouragement and companionship from many people, to whom I am full of gratitude.
Above all, I am very grateful to Prof. Dr. Gregor Engels (at University of Paderborn), for all the dedication and support he has given at every stage of the book. He has signi.cantly contributed to the book with his comprehensive knowledge, penetrating perspectives, and consistent patience. Thanks to his uncountable suggestions, I have the possibility to make the book such a one that I am satis.ed with.
Prof. Dr. Reiko Heckel (at University of Leicester) also deserves a great deal of thanks. He has guided me into the research area of software modeling and graph transformation systems, starting from basics and going in deep. I have bene.ted a lot from his generosity and collaboration. He has given me many good ideas and suggestions. Especially, the main modeling and simulation framework proposed in the book is based on his original idea.
I have also got many useful suggestions and hints from other people. Thanks to Jaakko Kangasharju (University of Helsinki), the designer and developer of Wireless CORBA, for the discussions and suggestions. I would also like to thank the Fujaba team for the support and help. Especially thanks to Leif Geiger for the guides to Dobs, and to Lothar Wendehals for the guides to Fujaba.
I would also like to thank all my friends and neighbors in PHW2A for their companionship. Especially thanks to Elina Hotman, ChengYee Low, Madhura Purnaprajna, Su Zhao and Andreas Ziermann for proofreading of
Acknowledgements
this manuscript.
I deeply thank my family for their support and understanding. My grandfather has taught me to be optimistic even in the darkest and hardest time, to be appreciative to every experience in my life even to tortures and di.culties. My parents have always encouraged me to try new things that I dream of.
Ping Guo Kunming, November 2016