Pujolle, G., 1949-
Software networks : virtualization, SDN, 5G and security / Guy Pujolle. - Revised and updated 2nd edition. - 1 online resource : illustrations. - - Networks & telecommunication series, advanced networks set ; volume 1. . - Networks & telecommunications series. Advanced networks set ; v. 1. .
Includes bibliographical references and index.
Table of Contents
Foreword xi
Preface xvii
Acknowledgments xxv
Online Resources xxvii
Part I Introduction and Foundations 1
1 Introduction 3
2 The Nature of Code 39
3 Fundamental Principles 67
4 Functional and Nonfunctional Requirements 91
5 UML Overview 115
6 Partitioning Systems into Domains 125
Part II Semantic Modeling: Model-based Functional Requirements 151
7 Use Case Diagrams: Scope and Context 153
8 Class Models: Policies to Enforce 183
9 Interaction Diagrams: Process at a Mid-Level 237
10 State Models: Process at a Fine-Grained Level 261
11 Partitioning Domains into Subdomains 305
12 Wrapping Up Semantic Modeling 323
Part III Model-based Design and Code 369
13 Introduction to Design and Code 371
14 Designing Interfaces: Specifying Real-World Interaction 379
15 High-Level Design: Classes and Operations 407
16 High-Level Design: Contracts and Signatures 447
17 Detailed Design and Code 503
18 Formal Disciplines of Design and Code 539
19 Optimization 583
20 Model Compilation 633
21 Advanced Open Model Compilation 675
22 Wrapping Up Model-Based Design and Code 705
Part IV Related Topics 723
23 Estimation 725
24 Development and Maintenance Processes 759
25 Economics of Error Handling 787
26 Arguments Against Model-Based Software Engineering 815
Part V Summary 827
27 Closing Remarks 829
Part VI Appendices 843
Appendix A: Documentation Principles 845
Appendix B: WebBooks 2.0 Background 849
Appendix C: WebBooks 2.0 Domains 853
Appendix D: Semantic Model for Order fulfillment 857
Appendix E: (Pro Forma) Order fulfillment Design 885
Appendix F: Semantic Model for Payment 905
Appendix G: (Pro Forma) Payment Design 927
Appendix H: Semantic Model for Scalability 943
Appendix I: (Pro Forma) Scalability Design 969
Appendix J: Semantic Model for High availability 985
Appendix K: (Pro Forma) High availability Design 1001
Appendix L: Semantics of Semantic Modeling 1011
Appendix M: Sample Production Rules 1049
Appendix N: Software Structural Complexity Metrics 1061
References 1081
Index 1091
Available to OhioLINK libraries.
Software Networks describe new concepts for the Internet's next generation. This architecture is based on virtual networking using Cloud and datacenter facilities. The main problems to be dealt with are the placement of virtual resources for opening a new network on the fly, and the urbanization of virtual resources implemented on physical network equipment. The digital architecture also deals with mechanisms capable of automatically controlling the placement of all virtual resources within the physical network. This book describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with any kind of virtual resource (e.g. switches, routers, LSRs, optical paths, firewalls, SIP-based servers, devices, servers, access points, etc.). Software Networks shows how this architecture is compatible with new advances in SDN (Software Defined Networking), new high-speed transport protocols such as TRILL (Transparent Interconnection of Lots of Links) and LISP (Locator/Identifier Separation Protocol), NGN, IMS, new generation Wi-Fi, and 4G/5G networks. Finally, the author introduces Clouds of security and the virtualization of secure elements (smartcards) that could certainly transform how to secure the Internet. For this second edition, the author addresses in five new chapters the importance of open source software for networks, mobile edge computing, fog networking, tactile internet - a network environment allowing remote access, and security - the use of Cloud of security, secure elements and the emergence of the blockchain.
About the Author
STEVE TOCKEY is Principal Consultant at Construx. Steve is an expert in software engineering practices including object-oriented development, distributed object computing, software project management, and software quality. He earned a Masters of Software Engineering degree from Seattle University and has served as an adjunct faculty member for the program. Prior to joining Construx, Tockey worked at Lawrence Livermore National Laboratory, Boeing, and Rockwell Collins.
9781786304582 9781119694748 1119694744
Computer networks.
Cloud computing.
Electronic books.
TK5105.5
004.6
Software networks : virtualization, SDN, 5G and security / Guy Pujolle. - Revised and updated 2nd edition. - 1 online resource : illustrations. - - Networks & telecommunication series, advanced networks set ; volume 1. . - Networks & telecommunications series. Advanced networks set ; v. 1. .
Includes bibliographical references and index.
Table of Contents
Foreword xi
Preface xvii
Acknowledgments xxv
Online Resources xxvii
Part I Introduction and Foundations 1
1 Introduction 3
2 The Nature of Code 39
3 Fundamental Principles 67
4 Functional and Nonfunctional Requirements 91
5 UML Overview 115
6 Partitioning Systems into Domains 125
Part II Semantic Modeling: Model-based Functional Requirements 151
7 Use Case Diagrams: Scope and Context 153
8 Class Models: Policies to Enforce 183
9 Interaction Diagrams: Process at a Mid-Level 237
10 State Models: Process at a Fine-Grained Level 261
11 Partitioning Domains into Subdomains 305
12 Wrapping Up Semantic Modeling 323
Part III Model-based Design and Code 369
13 Introduction to Design and Code 371
14 Designing Interfaces: Specifying Real-World Interaction 379
15 High-Level Design: Classes and Operations 407
16 High-Level Design: Contracts and Signatures 447
17 Detailed Design and Code 503
18 Formal Disciplines of Design and Code 539
19 Optimization 583
20 Model Compilation 633
21 Advanced Open Model Compilation 675
22 Wrapping Up Model-Based Design and Code 705
Part IV Related Topics 723
23 Estimation 725
24 Development and Maintenance Processes 759
25 Economics of Error Handling 787
26 Arguments Against Model-Based Software Engineering 815
Part V Summary 827
27 Closing Remarks 829
Part VI Appendices 843
Appendix A: Documentation Principles 845
Appendix B: WebBooks 2.0 Background 849
Appendix C: WebBooks 2.0 Domains 853
Appendix D: Semantic Model for Order fulfillment 857
Appendix E: (Pro Forma) Order fulfillment Design 885
Appendix F: Semantic Model for Payment 905
Appendix G: (Pro Forma) Payment Design 927
Appendix H: Semantic Model for Scalability 943
Appendix I: (Pro Forma) Scalability Design 969
Appendix J: Semantic Model for High availability 985
Appendix K: (Pro Forma) High availability Design 1001
Appendix L: Semantics of Semantic Modeling 1011
Appendix M: Sample Production Rules 1049
Appendix N: Software Structural Complexity Metrics 1061
References 1081
Index 1091
Available to OhioLINK libraries.
Software Networks describe new concepts for the Internet's next generation. This architecture is based on virtual networking using Cloud and datacenter facilities. The main problems to be dealt with are the placement of virtual resources for opening a new network on the fly, and the urbanization of virtual resources implemented on physical network equipment. The digital architecture also deals with mechanisms capable of automatically controlling the placement of all virtual resources within the physical network. This book describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with any kind of virtual resource (e.g. switches, routers, LSRs, optical paths, firewalls, SIP-based servers, devices, servers, access points, etc.). Software Networks shows how this architecture is compatible with new advances in SDN (Software Defined Networking), new high-speed transport protocols such as TRILL (Transparent Interconnection of Lots of Links) and LISP (Locator/Identifier Separation Protocol), NGN, IMS, new generation Wi-Fi, and 4G/5G networks. Finally, the author introduces Clouds of security and the virtualization of secure elements (smartcards) that could certainly transform how to secure the Internet. For this second edition, the author addresses in five new chapters the importance of open source software for networks, mobile edge computing, fog networking, tactile internet - a network environment allowing remote access, and security - the use of Cloud of security, secure elements and the emergence of the blockchain.
About the Author
STEVE TOCKEY is Principal Consultant at Construx. Steve is an expert in software engineering practices including object-oriented development, distributed object computing, software project management, and software quality. He earned a Masters of Software Engineering degree from Seattle University and has served as an adjunct faculty member for the program. Prior to joining Construx, Tockey worked at Lawrence Livermore National Laboratory, Boeing, and Rockwell Collins.
9781786304582 9781119694748 1119694744
Computer networks.
Cloud computing.
Electronic books.
TK5105.5
004.6