Service-oriented and cloud computing : 8th IFIP WG 2. 14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings / Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos (eds.)
Intro -- Preface -- Organization -- Contents -- Formal Methods -- Testing Conformance in Multi-component Enterprise Application Management -- 1 Introduction -- 2 Background: Management Protocols -- 3 Motivating Scenario -- 4 Testing Conformance in Application Management -- 4.1 IOLTS Semantics of Management Protocols -- 4.2 Input-Enabledness -- 4.3 Conformance Testing Based on Management Protocols -- 4.4 Which Conformance Tests to Run? -- 5 Related Work -- 6 Conclusions -- References -- Formalizing Event-Driven Behavior of Serverless Applications -- 1 Introduction
2 Semantics for Serverless Computation -- 2.1 In-process Semantics -- 2.2 Event Semantics -- 2.3 Platform Behavior Encoded in Semantics -- 2.4 Platform Supported Function Composition -- 3 Service Call Graphs -- 4 Call Graph Implementation and Evaluation -- 5 Conclusion -- References -- Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs -- 1 Introduction -- 2 The Reversible SW-PUF -- 3 Verifiable Computation Scheme -- 4 Evaluation of the Reversible SW-PUF -- 5 Conclusions -- References -- Cloud Service and Platform Selection
Multiplayer Game Backends: A Comparison of Commodity Cloud-Based Approaches -- 1 Introduction -- 2 Related Work -- 3 Experimental Approach -- 3.1 Game State -- 3.2 Actions and Rules -- 3.3 Evaluation Strategy -- 4 Implementation -- 5 Evaluation -- 6 Conclusions and Future Work -- References -- Are Cloud Platforms Ready for Multi-cloud? -- 1 Introduction -- 2 Platform Selection Process -- 3 Requirements -- 3.1 C1 -- Cloud Orchestration Support -- 3.2 C2 -- Cloud Application Support -- 3.3 C3 -- Platform Intelligence -- 4 Evaluation -- 4.1 Overall Results -- 4.2 Cloud Orchestration Support
4.3 Cloud Application Support -- 4.4 Platform Intelligence -- 5 Conclusions and Challenges -- References -- Identification of Comparison Key Elements and Their Relationships for Cloud Service Selection -- 1 Introduction -- 2 Proposed Method -- 2.1 Identification of Architects' Requirements -- 2.2 Identification of Attributes from Service Plans -- 2.3 Identification of Attributes Based on Benchmark Works -- 2.4 Selection of NFAs and NFRs from an Empirical Study -- 3 Empirical Validation of the Method -- 4 Related Work -- 5 Conclusion -- References -- Deployment and Workflows
Deployable Self-contained Workflow Models -- 1 Introduction -- 2 Fundamentals and Problem Statement -- 2.1 Service Composition -- 2.2 Imperative Workflow Technology -- 2.3 Service Deployment -- 2.4 Problem Statement -- 3 Self-contained Workflow Models -- 4 Automatic Service Deployment -- 5 Prototype -- 6 Related Work -- 7 Conclusion -- References -- Technology-Agnostic Declarative Deployment Automation of Cloud Applications -- 1 Introduction -- 2 Background and Motivations -- 2.1 Deployment Models and Deployment Technologies -- 2.2 Motivating Scenario -- 2.3 Essential Deployment Metamodel
Summary
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volume were carefully reviewed and selected from 20 submissions. The main event mapped to the main research track which focused on the presentation of cutting-edge research in both the service-oriented and cloud computing areas. In conjunction, an industrial track was also held attempting to bring together academia and industry through showcasing the application of service-oriented and cloud computing research, especially in the form of case studies, in the industry. The chapters 'Identification of Comparison Key Elements and their Relationships for Cloud Service Selection and 'Technology-Agnostic Declarative Deployment Automation of Cloud Applications are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com
Notes
International conference proceedings
3 Transforming EDMM Models into Deployment Technology-Specific Models
