Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings (Programming and Software Engineering)

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. 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 3.1 Step 1: Technology-Independent Application Modeling 3.2 Step 2: Check Deployment Technology Support 3.3 Step 3: Transform EDMM Model into DTSM 3.4 Step 4: Technology-Specific Deployment Execution 4 System Architecture of the EDMM Modeling, Decision Support, and Transformation System 5 Validation: Prototypical Implementation 5.1 Overview 5.2 Modeling and Transformation Flow 6 Related Work 7 Conclusions and Future Work References Blockchain-Based Healthcare Workflows in Federated Hospital Clouds 1 Introduction 2 Related Work 3 Motivation 4 System Design 5 Implementation 6 Performance Assessment 7 Conclusion and Future Work References Monitoring Monitoring Behavioral Compliance with Architectural Patterns Based on Complex Event Processing 1 Introduction 2 Fundamentals and Motivation 2.1 Patterns and Design Decisions 2.2 Motivating Scenario 2.3 Complex Event Processing 3 An Approach for Monitoring Behavioral Compliance with Architectural Patterns 3.1 Method 3.2 System Architecture 4 Applying the Approach to the Motivating Scenario 4.1 Circuit Breaker 4.2 Watchdog 4.3 Prototypical Implementation 5 Related Work 6 Conclusion and Future Work References Towards Real-Time Monitoring of Data Centers Using Edge Computing 1 Introduction 2 Related Work 3 Data Center Network Infrastructure 4 Impact on Network Load 5 Proposed Edge-Based Architecture 6 Conclusion References Modeling Users' Performance: Predictive Analytics in an IoT Cloud Monitoring System 1 Introduction 2 Related Work 3 Background 3.1 Estimation of Origin-Destination Flows 3.2 Prediction of Origin-Destination Flows 3.3 Dynamic Traffic Assignment 3.4 Kalman Filtering 4 Case Study 5 Architectural and Algorithm Design 6 Conclusions and Future Work References Data Distribution and Analytics Multi-source Distributed System Data for AI-Powered Analytics 1 Introduction 2 Related Work 3 Dataset Generator 3.1 Infrastructure 3.2 Workloads and Faults Injected 3.3 Data Collection 4 Dataset Description 4.1 Metrics 4.2 Logs 4.3 Traces 4.4 Ground Truth Labels 5 Dataset Statistics 5.1 Metrics 5.2 Logs 5.3 Traces 6 Applications of Multi-source AIOps 7 Conclusion References Blockchain- and IPFS-Based Data Distribution for the Internet of Things 1 Introduction 2 Related Work 3 Solution Architecture 3.1 Architecture 3.2 Implementation 4 Evaluation 4.1 Evaluation Setup 4.2 Results 4.3 Discussion 5 Conclusions References 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 April 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.