Model and Data Engineering: 11th International Conference, MEDI 2022, Cairo, Egypt, November 21–24, 2022, Proceedings

Description

This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022. The 18 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover topics such as database systems, data stream analysis, knowledge-graphs, machine learning, model-driven engineering, image processing, diagnosis, natural language processing, optimization, and advanced applications such as the internet of things and healthcare. Preface Organization Abstracts of Invited Talks A Service-Based Approach to Drone Service Delivery in Skyway Networks Broad and Deep Learning of Big Heterogeneous Health Data for Medical AI: Opportunities and Challenges Contents Image Processing and Diagnosis Chaos-Based Image Encryption Using DNA Manipulation and a Modified Arnold Transform 1 Introduction 2 Preliminaries 2.1 Hyperchaotic Lorenz System 2.2 DNA Coding 2.3 Arnold Transform 3 Proposed Algorithm 3.1 Modified Arnold Transform 3.2 Encryption Process 3.3 Decryption Process 4 Performance Evaluation 4.1 Encryption Quality Metrics 4.2 Correlation Analysis 4.3 Information Entropy 4.4 Key Space and Sensitivity Analysis 4.5 Robustness Against Differential Attacks 5 Conclusion References Rice Plant Disease Detection and Diagnosis Using Deep Convolutional Neural Networks and Multispectral Imaging 1 Introduction 2 Literature Review 3 Methodology 3.1 Hardware Components 3.2 Data Collection Mobile Application 3.3 Analytics Engine Module 4 Experimental Evaluation 4.1 Dataset 4.2 Training Configuration 5 Conclusion References A Novel Diagnostic Model for Early Detection of Alzheimer’s Disease Based on Clinical and Neuroimaging Features 1 Introduction 2 Materials and Methods 2.1 Proposed Model 2.2 Dataset 2.3 Data Preprocessing 2.4 Feature Extraction 2.5 Classification Approaches 2.6 Performance Evaluation 2.7 Performance Optimization 3 Results 4 Conclusion References Machine Learning and Optimization Benchmarking Concept Drift Detectors for Online Machine Learning 1 Introduction 2 Background and Related Work 2.1 Background 2.2 Related Work 3 Benchmark Setup 3.1 Datasets 3.2 Benchmarked Algorithms 3.3 Metrics 4 Results 4.1 Drift Detection Accuracy 4.2 Runtime 4.3 Memory Consumption 5 Conclusion and Future Work References Computational Microarray Gene Selection Model Using Metaheuristic Optimization Algorithm for Imbalanced Microarrays Based on Bagging and Boosting Techniques 1 Introduction 2 Methodology 2.1 Emperor Penguin Optimization (EPO) 2.2 Adaptive Synthetic Sampling Approach (ADASYN) 2.3 Random Forest Classifier (RF) 2.4 EPO for Feature Selection 3 Experimental Results and Discussion 4 Conclusion References Fuzzing-Based Grammar Inference 1 Introduction 2 Preliminaries 3 Algorithm 3.1 Learning Context-Free Grammars 3.2 Example 3.3 Application in Grammar-Based Fuzzing 4 Experiments and Evaluation 5 Related Work 6 Conclusion References Natural Language Processing In the Identification of Arabic Dialects: A Loss Function Ensemble Learning Based-Approach 1 Introduction 2 Related Work 3 Dataset 4 Methods 4.1 Data Preprocessing 4.2 Pre-trained Models 4.3 Loss Functions 4.4 Proposed Ensemble Learning Model 5 Results and Discussion 5.1 Experimental Results 5.2 Discussion 6 Conclusion and Future Works References Emotion Recognition System for Arabic Speech: Case Study Egyptian Accent 1 Introduction 2 Literature Review 3 Methodology 3.1 Datasets 3.2 Features Extraction 3.3 Features Importance 3.4 Feature Scaling 3.5 Machine Learning Models 3.6 Evaluation Metrics 4 Results and Discussions 4.1 Corpus Survey Analysis 4.2 Speech Emotion Recognition Experiments 5 Conclusion References Modelling Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems 1 Introduction 2 Related Works and Preliminaries 2.1 Background 2.2 Overview of Capella and Event-B 2.3 Motivating Example: Adaptive Exterior Light System 3 Proposed Approach 3.1 Preparatory Step 3.2 Transformation Step 4 Tooling 5 Conclusion and Future Works References A Reverse Design Framework for Modifiable-off-the-Shelf Embedded Systems: Application to Open-Source Autopilots 1 Introduction 2 Background and Work Positioning 2.1 COTS and MOTS 2.2 Autopilots of Unmanned Aerial Vehicles 2.3 UAV Autopilot Design 2.4 Reverse Engineering 2.5 Capella in a Nutshell 3 Model-Based Reverse-Engineering Framework 3.1 Overview 3.2 Extraction 3.3 Visualisation 4 The Framework Implementation 4.1 Extraction Part 4.2 Visualisation Part 5 Validation 6 Conclusion References Efficient Checking of Timed Ordered Anti-patterns over Graph-Encoded Event Logs 1 Introduction 2 Background 2.1 Events, Traces, Logs, and Graphs 2.2 Activity Order Patterns 3 Related Work 4 Graph-Encoded Event Logs for Efficient Compliance Checking 4.1 Baseline: Multi-dimensional Graph Modeling (BM) 4.2 Unique Activities (UA) Encoding 5 Evaluation 5.1 Implementation and Experimental Setup 5.2 Results and Discussion 6 Conclusion and Future Work References Trans-Compiler-Based Database Code Conversion Model for Native Platforms and Languages 1 Introduction 2 Literature Reviews 2.1 Cross-platform Development Approaches 2.2 Cross-platform Native-to-Native Tools Supporting Database Conversion 3 Background 4 Methodology 4.1 Proposed Enhanced Methodology 4.2 Proposed Enhanced Solution Architecture 5 Results and Discussion 5.1 The Percentage of the Successful Conversion of Firestore Code 5.2 The Improvement of the Overall Conversion Rate for an Entire Application 5.3 Comparison Between Conversion Runtime Before and After Supporting Firestore Code Conversion 6 Conclusion and Future Work References MDMSD4IoT a Model Driven Microservice Development for IoT Systems 1 Introduction 2 Related Work 3 The MDMSD4IoT Approach 3.1 SysML4IoTMSA Profile 3.2 IoTMSADev Method 3.3 SysML2IoTMSA Code Generator 4 A Case Study: UC2SmartClassroom 4.1 Modelling Microservices-based IoT Systems 4.2 Microservice Architecture Implementation 5 Conclusion and Future Work References Database Systems Parallel Skyline Query Processing of Massive Incomplete Activity-Trajectories Data 1 Introduction 2 Related Work 3 DMTR-Tree Index Overview 4 Problem Statement of Skyline Trajectory Query 5 An Optimized Trajectory Skyline Algorithm 5.1 Short Trajectories Class 5.2 Long Trajectories Class 6 Experimental Evaluation 6.1 The Performance of the Run-Time and Trajectory Visited Based on the Activity Keywords Number 6.2 The Performance of the Run-Time and Trajectory Visited Based on the Distance Threshold 7 Conclusion References Compact Data Structures for Efficient Processing of Distance-Based Join Queries 1 Introduction 2 Background and Related Work 2.1 Distance-Based Join Queries - KCPQ and DJQ 2.2 k2-tree 3 Our Approach to DJQs Using k2-trees 4 Experimental Results 5 Conclusions and Future Work References Towards a Complete Direct Mapping from Relational Databases to Property Graphs 1 Introduction 2 Preliminaries 2.1 Relational Databases 2.2 Property Graphs 2.3 SQL Queries and Cypher Queries 2.4 Direct Mapping (DM) 3 Complete Mapping (CM) 3.1 Schema Graph and Instance Graph 3.2 Schema Mapping (SM) 3.3 Instance Mapping (IM) 4 Properties of CM 4.1 Information Preservation 4.2 Query Preservation 4.3 Semantic Preservation 5 Conclusion and Future Works References A Matching Approach to Confer Semantics over Tabular Data Based on Knowledge Graphs 1 Introduction 2 Key Notions 3 Literature Review 4 The Kepler-aSI Approach 4.1 Preprocessing Module 4.2 Query Engine Module 4.3 External Resource Consultation Module 4.4 KG_Candidates Filtering Module 4.5 Annotation and File Generation Module 5 Kepler-aSI Performance and Results 5.1 Round 1 5.2 Round 2 5.3 Round 3 6 Conclusion and Outlooks References JUpdate: A Temporal Update Language for JSON Data 1 Introduction 2 Background and Motivation 2.1 The JSchema Framework 2.2 Motivating Example 3 The JUpdate Language 3.1 Syntax and Semantics of JUpdate Update HLOs 4 Running Example Reprise 5 Conclusion References Author Index