Preface; Acknowledgements; Contents; Acronyms; Part I Present and Future of Smart Cities; Chapter 1 Introduction to Smart Cities and a Vision of Cyber-Human Cities; 1.1 Architecture of Values; 1.2 Smart City Platform; 1.3 Stakeholders; 1.4 Complex Coordinated Activities; 1.5 Incentives as a Soft Controllability Principle; 1.6 Citizen Informedness; 1.7 Provisioning and Governing Infrastructure as a Utility; 1.8 Summary & Organization of the Book; Preface; Part II Provisioning and Governing Smart City Systems; Chapter 2 State Of The Art & RelatedWork

2.1 Overview of Development Support for IoT Cloud Applications2.2 Provisioning Approaches in the IoT Cloud; 2.3 IoT Cloud Governance Approaches; Chapter 3 Provisioning Smart City Infrastructure; 3.1 Research Context; 3.1.1 Scenarios; 3.1.1.1 Provisioning FMS; 3.1.2 Provisioning BMS; 3.1.3 Research Challenges; 3.2 Main Building Blocks of Software-Defined IoT Systems; 3.2.1 Design Principles of Software-Defined IoT Cloud Systems; 3.2.2 Conceptual Model of Software-Defined IoT Units; 3.2.3 Unit Classification; 3.3 Main Techniques for Provisioning Software-Defined IoT Cloud Systems

3.3.1 Automated Composition of Software-Defined IoT Units3.3.2 Centrally Managed Configuration Models; 3.4 Prototype Implementation & Evaluation; 3.4.1 Preliminary Implementation of Provisioning Controller; 3.4.2 Experiments; 3.4.2.1 Revisiting the Motivating Scenario; 3.4.2.2 Simplified Provisioning; 3.4.2.3 Flexible Customization; 3.5 Summary; Chapter 4 Middleware for Utility-based Provisioning of Smart City Infrastructure; 4.1 Research Context; 4.1.1 Research Challenges; 4.2 IoT Cloud Provisioning Middleware; 4.2.1 Software-Defined Gateways; 4.2.1.1 Artifact Packages

4.2.1.2 Provisioning Agent4.2.1.3 Device Connectivity; 4.2.2 Edge Device Middleware Support; 4.2.2.1 Virtual Buffers Daemon; 4.2.2.2 Provisioning Daemon; 4.2.3 Cloud-Based Provisioning Controller; 4.3 Runtime Mechanisms for Multi-level Provisioning in the IoT Cloud; 4.3.1 Runtime Execution of Provisioning Workflows; 4.3.2 Evaluating Composite Predicates; 4.3.3 Artifacts and SDGs Prototypes Runtime Validation; 4.3.4 Provisioning Models; 4.3.4.1 Delivery Models; 4.3.4.2 Deployment Models; 4.3.4.3 Placement Models; 4.4 Prototype Implementation & Evaluation; 4.4.0.1 Applications

4.4.0.2 Experiment Setup4.4.0.3 Experiments; 4.5 Summary; Chapter 5 Governing Smart City Systems; 5.1 Research Context; 5.1.0.1 Example Operational Governance Processes; 5.2 GovOps
A Novel Methodology for Governance and Operations in IoT Cloud Systems; 5.2.1 Governance Aspects; 5.2.2 Operations Management Aspects; 5.2.3 Integrating Governance Objectives with Operations Processes; 5.2.4 Main Principles of GovOps in IoT Cloud Systems; 5.3 A Reference Model for GovOps Methodology; 5.3.1 Overview of the GovOps Model for IoT Cloud Systems; 5.3.2 Design Process of GovOps Strategies

5.4 rtGovOps
A Runtime Framework for GovOps in Large-Scale IoT Cloud Systems