Control Plane Load-Balancing Optimization Zina Houhamdi, Mohamed Raid Athamena, Belkacem Athamena 2025 3rd International Conference on Intelligent Computing Communication Networking and Services Iccns 2025, 2025
Inheritance Modeling in Distributed Object-Oriented Design: An Extended G-Nets Model Zina Houhamdi, Mohamed Raid Athamena, Belkacem Athamena TEM Journal, 2025 The emergence of an object-oriented paradigm has been beneficial for complex software development, and this paradigm has been used to develop architectures for distributed systems. Many object-oriented architectures have been suggested for developing object-based software, and several attempts have been made to specify object behaviors formally. Nevertheless, investigations into bridging the gap between object implementation and object formal models are limited. This paper presents a formal approach to designing and implementing object-oriented software. Rather than applying formal methods only in the specification phase, the proposed model applies formal methods in the design phase that extends the well–known–net formalism (abstract Petri nets) to support system modeling as a set of independent and low-coupled modules. This paper describes the extension of standard G-nets to model class and inheritance in true parallel object-oriented design and incorporates the inheritance mechanism in G-nets. This paper investigates the problems related to inheritance anomaly in designing distributed object-oriented to analyze the proposed model. Consequently, the proposed formalism formally and explicitly models the inheritance in the G-net to preserve the basic Petri net model and exploit the Petri net tools for analyzing and simulating concurrent object-oriented design. An example is given to illustrate a detailed analysis of the proposed formalism; however, real experimental research is required to validate the practical significance of the presented approach.
AI in Diagnostic Imaging: An Overview Zina Houhamdi, Mohamed Raid Athamena, Belkacem Athamena 2024 Global Digital Health Knowledge Exchange and Empowerment Conference Knowledge Exchange of the State of the Art Research and Development in Digital Health Technologies Enable and Empower Stakeholders Engaged in Enriching and Enhancing the Patient Healthcare Journey Gdigihealth Kee 2024, 2024
Two-Sided Matching under Incomplete Information Zina Houhamdi, Belkacem Athamena, Ghaleb ElRefae Proceedings 2022 23rd International Arab Conference on Information Technology Acit 2022, 2022
Open-SBS: Smart Building Simulator Houssem Eddine Degha, Fatima Zohra Laallam, Okba Kazar, Issam Khelfaoui, Belkacem Athamena, et al. Proceedings 2022 23rd International Arab Conference on Information Technology Acit 2022, 2022
Blockchain Technology for Secure Shared Medical Data Mhamed Mancer, Khelili Mohamed Akram, Ezedin Barka, Kazar Okba, Slatnia Sihem, et al. Proceedings 2022 23rd International Arab Conference on Information Technology Acit 2022, 2022
Retention contracts under hidden information Belkacem Athamena, Zina Houhamdi, Ghaleb El Refae 2021 22nd International Arab Conference on Information Technology Acit 2021, 2021
An execution model for exception handling in a multi-agent system 16th International Conference on Modeling and Applied Simulation Mas 2017 Held at the International Multidisciplinary Modeling and Simulation Multiconference I3m 2017, 2017
