Amazon cover image
Image from Amazon.com

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.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 12054. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Cham : Springer, 2020.Description: 1 online resource (196 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030447694
  • 3030447693
Other title:
  • ESOCC 2020
Subject(s): Genre/Form: Additional physical formats: Print version:: Service-Oriented and Cloud Computing : 8th IFIP WG 2. 14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings.DDC classification:
  • 004.67/82 23
LOC classification:
  • QA76.585
Online resources:
Contents:
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Print version record.

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

3 Transforming EDMM Models into Deployment Technology-Specific Models

Includes author index.

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.

Powered by Koha