Advances in Model and Data Engineering in the Digitalization Era: MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022 Proceedings

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
Does Deep Learning Require Image Registration for Early Prediction of Alzheimer's Disease? A Comparative Study Using ADNI Database
	1 Introduction
	2 Materials and Methods
		2.1 Dataset
		2.2 Preprocessing
		2.3 3D Convolutional Neural Network (3D CNN)
		2.4 Experiments Details
	3 Results
	4 Conclusion
	References
A CAD System for Lung Cancer Detection Using Chest X-ray: A Review
	1 Introduction
	2 Overview of CAD System Architecture for Lung Cancer Detection from Chest X-ray
	3 Datasets
		3.1 Japanese Society of Radiological Technology (JSRT)
		3.2 Chexpert
		3.3 National Institutes of Health Chest X-ray (NIH Chest X-ray)
		3.4 MIMIC-CXR
		3.5 The Prostate, Lung, Colorectal and Ovarian (PLCO)
		3.6 RSNA-Pneumonia
		3.7 National Lung Screening
	4 Preprocessing
		4.1 Bone Suppression
		4.2 Segmentation
		4.3 Nodule Candidate Detection (Nodule Enhancement)
	5 Image Classification
	6 Deep Learning for Medical Imaging
		6.1 Convolutional Neural Networks (CNNs)
		6.2 Transfer Learning
		6.3 Localization Network
		6.4 Image Generation Networks
		6.5 Domain Adaptation Networks
	7 Discussion and Conclusion
	References
Machine Learning and Optimization
Enhanced IoT Based IDS Driven by Binary Snake Optimizer for Feature Selection
	1 Review of Related Works
	2 Snake Optimizer
	3 The Proposed Approach
		3.1 Feature Selection Using Binary Snake Optimizer
		3.2 Fitness Function
	4 Experimental Results
		4.1 Datasets and Parameter Settings
		4.2 Results of BSO Based S-shaped and V-shaped TFs
		4.3 Comparison of VBSO with Other Well-Known Optimizers
	5 Conclusion and Future Directions
	References
Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019
	1 Introduction
	2 Preliminaries
	3 Related Work
	4 Methodology
		4.1 Data Description
		4.2 Data Cleaning
		4.3 Feature Engineering
		4.4 Dataset Preprocessing
		4.5 Machine Learning Models
	5 Experimental Results
	6 Conclusion and Perspectives
	References
Natural Language Processing
Topic Modeling on Arabic Language Dataset: Comparative Study
	1 Introduction
	2 Related Work
	3 Experimental Work
		3.1 Dataset
		3.2 Data Preprocessing
		3.3 Model
		3.4 Latent Dirichlet Allocation (LDA)
		3.5 Non-negative Matrix Factorization (NMF)
		3.6 Contextualized Topic Models (CTM)
		3.7 ETM
		3.8 BERT Models
		3.9 Evaluation
		3.10 Training Procedure
	4 Results and Discussion
	5 Conclusion
	References
Modelling
Architectural Invariants and Correctness of IoT-Based Systems
	1 Introduction
	2 Basic Concepts and Architecture of IoT Systems
	3 Formal Model of IoT-Based Systems
		3.1 Elementary Components of the Model
		3.2 Abstractions for IoT-Based Systems
		3.3 Behavioural Description of a Control Application
	4 Consistency Properties and Analysis of the Formal Model
		4.1 Invariant Consistency Properties
		4.2 Consistency Analysis of IoT-Based Control Applications
	5 Checking the Consistency Properties Using Event-B
		5.1 A Parametrised Model for Consistency Checking of IoT Applications
		5.2 Putting into Practice and Assessment
	6 Related Work
	7 Conclusion
	References
Differentiation Between Normal and Abnormal Functional Brain Connectivity Using Non-directed Model-Based Approach
	1 Introduction
	2 Methodology
		2.1 Brain Connectivity Network
		2.2 Functional Connectivity
		2.3 Pearson's Correlation
		2.4 Similarity Measurement of Functional Connectivity Matrix
		2.5 Similarity Analysis
	3 Data-Set and Preprocessing
		3.1 Data Preparation
		3.2 Data Preprossessing
	4 Experimental Results
	5 Discussion
	References
Database Systems
Benchmarking Hashing Algorithms for Load Balancing in a Distributed Database Environment
	1 Introduction
	2 Background and Related Work
		2.1 Considered Methods
		2.2 Basic Definitions
		2.3 System Architecture
	3 Evaluation
		3.1 Experimental Setup
		3.2 Results
	4 Discussion
	5 Conclusion and Future Work
	References
Applications
A New Tool Based on GIS Technology for Massive Public Transport Data
	1 Introduction and Motivation
	2 Related Work
	3 Previous Concepts and System Architecture
	4 Raw Data, Clean Data and Alighting Estimation
	5 Alighting Estimation
	6 Trip Representation: Aggregated and Disaggregated Data
	7 User Interfaces for Analysis
	8 Conclusions
	References
Mobile Application Code Generation Approaches: A Survey
	1 Introduction
	2 Related Work
	3 Automated Code Generation
		3.1 GUI Automated Code Generation
	4 Code to Code Conversion
		4.1 Code Mapping Without UI
		4.2 Code Mapping with the UI
	5 Discussions and Recommendations
	6 Conclusion
	References
TOP-Key Influential Nodes for Opinion Leaders Identification in Travel Recommender Systems
	1 Introduction
	2 Related Work
	3 Motivation and Problem Definition
	4 Proposed Methods
		4.1 Graph Modeling
		4.2 Mathematical Formulation of the Proposed Methods
	5 Results and Discussion
		5.1 Evaluation Measures
		5.2 Experimental Results
	6 Conclusion
	References
DETECT Workshop: Modeling, Verification and Testing of Dependable Critical Systems
Revisiting Ontology Evolution Patterns
	1 Introduction
	2 Pattern-Driven Change Management
		2.1 Example
		2.2 Discussion and Related Works
	3 The xOWL Approach
		3.1 Architecture
		3.2 Illustration
	4 Semantic Integration of OWL and B
		4.1 Structural Properties
		4.2 Logical Properties
		4.3 Pattern SubClassOf Without Inconsistency
	5 Conclusion and Perspectives
	References
Generating SPARK from Event-B, Providing Fundamental Safety and Security
	1 Introduction and Motivation
	2 Related Work
	3 Background
		3.1 SPARK
		3.2 Event-B
		3.3 Smart Ballot Box (SBB)
	4 Translation Rules and SBB Application
		4.1 Component Translation
		4.2 Constant Translation
		4.3 Variable Translation
		4.4 Record Translation
		4.5 Event Translation
	5 Tool Support
	6 Conclusion and Future Works
	References
An Entropy-Based Approach: Handling Uncertainty in IoT Configurable Composition Reference Model (CCRM)
	1 Introduction
	2 Background
		2.1 Uncertainty
		2.2 Entropy
		2.3 Atlas+ Configurable Composition Language
	3 Related Works
	4 Uncertain Entropy Measure Approach of the IoT CCRM
		4.1 Overview of the General Architecture
		4.2 Atlas+ IoT CCRM
		4.3 Fragments Generation and Modelling
		4.4 Meta-Data Generation
		4.5 Uncertainty Modelling and Computation
	5 Implementation
	6 Conclusion and Future Work
	References
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation
	1 Introduction
	2 Related Work
	3 A Metamodeling Approach for SoSs Architecture Description
		3.1 Principle: A Generic Metamodel for SoSs Architecture
		3.2 Motivating Example
	4 An Executable Maude-Based Specification of SoSs Metamodel
		4.1 Motivating the Use of Maude
		4.2 SoS Global Structures and Behaviors Modeling
		4.3 SoS Controller Behavior Modeling
	5 Simulation and Analysis: Case Study `EIMSoS'
		5.1 Maude-Based Modeling of the Resource Management
		5.2 Maude-Based Modeling of the SoS States Configuration
	6 Conclusion
	References
Author Index