Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems. Due to the Corona pandemic the conference was held virtually. Preface Organization Abstracts of Invited Talks Extreme-Scale Model-Based Time Series Management with ModelarDB Assume(), Capture(), Verify(), Establish(): Ingredients for Scalable Program Analysis From Process Mining to Automated Process Improvement Contents Stepwise Modelling and Analysis A Refinement Strategy for Hybrid System Design with Safety Constraints 1 Introduction 2 Motivation 3 A Refinement Strategy for Correct-by-Construction Controller 4 Case Study 4.1 M_specification 4.2 M_safety 4.3 M_cycle 4.4 M_closed_loop 4.5 M_control_logic 4.6 M_worst_case_analysis 4.7 M_implementation 4.8 Discussions 5 Related Works 6 Conclusion References Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures 1 Introduction 2 Preliminaries 3 Method: Model-Based Co-optimization of Objectives 3.1 Overview 3.2 Case Study 3.3 Step 1: SysML Modeling 3.4 Step 2: Model-Transformation and Optimization 4 Experimentation Results 5 Related Work 6 Conclusion and Perspectives References Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems 1 Context and Positioning 2 Our Contribution: A Reusable and Optimized Approach for Flushing Avionics Systems 2.1 Towards a Pivot Language 2.2 Graph and Abstract Loop Generation 3 Proof of Concept 3.1 Method 3.2 Results and Discussion 4 Conclusion References Multi-facets Contract for Modeling and Verifying Heterogeneous Systems 1 Introduction 2 Modeling and Verifying Using Generalized Contracts 2.1 Definitions 2.2 Outline of the Proposed Method 3 Case Study 4 Related Work 5 Conclusion References Multiperspective Modelling An Approach to Detect Cyberbullying on Social Media 1 Introduction 2 Related Work 2.1 Machine Learning Based Solutions 2.2 Lexicon-Based Solutions 2.3 Rules-Based Solutions 2.4 Hybrid Solutions 3 A Semantic Approach for Cyberbullying Detection 3.1 Approach Overview 3.2 Semantic Annotation 3.3 Unit Classifiers 4 Prototype, Experiments and Results 4.1 Datasets 4.2 Features Calculation 4.3 Implemented Classifiers and Conducted Experiments 5 Conclusion References An Ontology Engineering Case Study for Advanced Digital Forensic Analysis 1 Introduction 2 Background Information About Digital Forensic Processes 3 Literature Review 4 Methodology 5 Experimentation and Results 6 Conclusion and Future Work References More Automation in Model Driven Development 1 Introduction 2 Background 3 A Revisited MDD Transformation Process 4 Implementation and Experimentations 5 Discussion References Modelling and Interactions Realisability of Control-State Choreographies 1 Introduction 2 P2P Communication Systems and Control-State Choreographies 2.1 Control-State Machines and P2P Systems 2.2 Runs of P2P Systems 3 Choreography-Defined P2P Systems 3.1 Control-State Choreographies 3.2 Choreographies Defined by P2P Systems 3.3 P2P Systems Defined by Choreographies 3.4 Synchronisability for Choreography-Defined P2P Systems 4 Characterisation of Realisability 4.1 The Sequence Condition 4.2 The Choice Condition 4.3 Sufficient Conditions for Realisability 5 Conclusion References A Low-Cost Authentication Protocol Using Arbiter-PUF 1 Introduction 2 Related Work 3 Physical Unclonable Functions 3.1 PUF's Performances 3.2 Silicon PUF 3.3 Arbiter PUF 4 Fuzzy Extractors 4.1 Generation Phase 4.2 Reproduction Phase 5 A Low-Cost Authentication Protocol 5.1 Overview 5.2 Proposed PUF Based Authentication Protocol 6 Implementation and Results 7 Conclusion References Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata 1 Introduction 2 Aspect-Oriented Modeling and Testing with UTA 3 Analytical Validation of the Approach 3.1 Comparison of Test Purpose Specification Effort 3.2 Comparison of Test Generation Effort 4 Conclusions References Machine Learning Social Neural Hybrid Recommendation with Deep Representation Learning 1 Introduction 2 Background and Related Work 2.1 Deep Learning 2.2 Deep Learning-Based Recommender Systems 3 Social Neural Hybrid Recommendation (SNHF) 3.1 Description of the Different Layers of the SNHF Model 3.2 Training 4 Experiments 4.1 Datasets 4.2 Metrics 4.3 Evaluation of the SNHF Model 5 Conclusion References Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization 1 Introduction 2 Related Work 3 Deep Reinforcement Learning Based Query Re-optimization 3.1 The Environment of Our Cloud Database System 3.2 Overview of Reinforcement Learning Based Query Processing Algorithm (ReOptRL) 3.3 Reward Function 4 Performance Evaluation 4.1 Hardware Configuration, Database Benchmark, and Parameter Values 4.2 Evaluation of ReOptRL 5 Impacts of Weight Profiles 6 Conclusion and Future Work References Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters 1 Introduction 2 Key Notions 3 The Top-BicMiner Algorithm 3.1 Step 1: Preprocessing of Gene Expression Data Matrix 3.2 Step 2: Extracting Formal Concepts 3.3 Step 3: Extracting Top-K Formal Concepts 3.4 Step 4: Extracting Correlated Genes 3.5 Step 5: Extracting Maximal Negatively Correlated Genes 4 Experimental Results 4.1 Description of Considered Datasets 4.2 Study of Statistical Relevance 4.3 Biological Relevance 5 Conclusion References Data Management - Blockchains Anonymization Methods of Structured Health Care Data: A Literature Review 1 Introduction 2 Related Work 3 Methodology 4 Results 4.1 RQ1 4.2 RQ2 5 Discussion 5.1 Main Challenges in Data Anonymization 5.2 Advantages and Disadvantages of Anonymization Methods 6 Conclusion References Categorical Modeling of Multi-model Data: One Model to Rule Them All 1 Introduction 2 Related Work 3 Preliminary Concepts 4 Schema Representation 4.1 Schema Category 4.2 Instance Categories 4.3 Schema Translation 5 Categorical Framework 6 Conclusion References Guaranteeing Information Integrity Through Blockchains for Smart Cities 1 Introduction 2 Related Work 3 A Blockchain-Based Integrity Framework 3.1 Blockchain Structure 3.2 Blockchain Network 3.3 The Dominance of Fraud 4 Implementation and Experiments 4.1 Integrity Attack 4.2 The Dominance of Attackers 5 Conclusion References A Blockchain-Based Platform for the e-Procurement Management in the Public Sector 1 Introduction 2 Brief Literature Review: Blockchain in Tendering Process 3 Process of Awarding Open Tenders in Morocco 4 The Proposed Blockchain-Based Platform for Public Procurement 4.1 Presentation of the Blockchain-Based Infrastructure 4.2 Smart Contracts 5 A DApp for the Public Procurement 5.1 The DApp Implementation 6 Conclusion References Databases and Ontologies COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data 1 Introduction 2 Related Work 3 Materials and Methods 3.1 Data Collection 3.2 Construction of Vocabulary of the COVIDonto Ontology 3.3 Logic-Based Representation of the COVIDonto Ontology 4 Experimental Results 4.1 Computer and Software Environments 4.2 Results and Discussions 5 Conclusion References K-Nearest Neighbors Classification of Semantic Web Ontologies 1 Introduction 2 Related Work 3 Materials and Methods 3.1 Quality Metrics of Ontologies 3.2 Correlating Quality Metrics and Evaluation Criteria 3.3 K-Nearest Neighbors Algorithm 3.4 Performance Measures 4 Experiments and Discussions 4.1 Dataset 4.2 Software Environment 4.3 Results and Discussion 5 Conclusion References Automated Generation of Datasets from Fishbone Diagrams 1 Introduction 2 Background and Motivation 2.1 Running Example: Falling Band 2.2 Lavoisier and the Dataset Formatting Problem 2.3 Fishbone Diagrams 2.4 Problem Statement 3 Dataset Generation from Fishbone Diagrams 3.1 Solution Overview 3.2 Data-Oriented Fishbone Models 3.3 Papin: Dataset Specification by Cause Selection 4 Related Work 5 Conclusions and Future Work References GPU-Based Algorithms for Processing the k Nearest-Neighbor Query on Disk-Resident Data 1 Introduction 2 Related Work and Motivation 3 kNN Disk Algorithms 3.1 Disk Brute-Force Algorithm 3.2 Disk Plane-Sweep Algorithm 3.3 k-NN Distance List Buffer 3.4 k-NN Max-Heap Distance List Buffer 4 Experimental Study 4.1 Reference Dataset Scaling 4.2 Query Dataset Scaling 4.3 k Scaling 4.4 Interpretation of Results 5 Conclusions and Future Plans References Revisiting Data Compression in Column-Stores 1 Introduction 2 Background and Related Work 3 Incorporating Compression into the Query Processor 3.1 PosDB Fundamentals 3.2 Architecture of the Proposed Solution 4 Experiments 4.1 Experimental Setup 4.2 Results and Discussion 5 Conclusion References Using Multidimensional Skylines for Regret Minimization 1 Introduction 2 Background 2.1 Regret Minimization Sets (RMS) 2.2 Multidimensional Skyline 2.3 The NSC Structure 3 Experiments 3.1 Speed up with Skyline Set 3.2 Speedup and Regret of Sphere with Multidimensional Skyline 3.3 Regret Ratio with Different Input Sets 3.4 Multidimensional Skyline Metrics as Alternatives to RMS Algorithms 4 Discussion References Enhancing Sedona (formerly GeoSpark) with Efficient k Nearest Neighbor Join Processing 1 Introduction 2 Related Work and Motivation 3 Preliminaries and Background 3.1 The k Nearest Neighbor Join Query - kNNJQ 3.2 Sedona 3.3 kNNJQ in Spark-Based Spatial Analytics Systems 4 kNNJQ Algorithm in Sedona 5 Experimental Results 6 Conclusions and Future Work References Author Index