y
IDMSE
The work of the team is focused on the field of model engineering in general and more specifically on the concepts of model transformation as defined by the OMG as well as on formal verification techniques for transformations.
+ Permanent members
- Deba El Abbassia : MCB , University of Oran 1 Ahmed Ben Bella, Algeria,abbassia.deba@univ-oran1.dz
- Mokhtari Karima : MCB, University of Oran 1 Ahmed Ben Bella,Algeria, kamokhtari@gmail.com
- Berramla Karima : MCB, University of Oran 1 Ahmed Ben Bella, Algeria , berra@gmail.com
+ PhD students
- Aouat Asmaa : aouasm150@gmail.com
- Bensaad Mohamed Nazih
- Mecheri Nacera : mecheri.nacera.info@gmail.com
+ PhD theses
- Development of a framework for model-driven security engineering.
- A model-driven approach to cloud computing
- Integration of formal methods in Model Driven Engineering
+ Publications
- Berramla, K.; Deba, E.; Wu, J.; Sahraoui, H. and Benyamina, A. (2020). Model Transformation by Example with Statistical Machine Translation. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758- 400-8, pages 76-83. DOI: 10.5220/0009168200760083
- Asmaa Aouat, EL Abbassia Deba, et al. "Deployment in Cloud Computing: The Comparative Study." International Journal of Distributed Systems and Technologies (IJDST) 11.1 (2020): 27-37.
- Asmaa Aouat, EL Abbassia Deba, et al. Model-Based Application Deployment on Cloud Computing. International Journal of Distributed Systems and Technologies (IJDST), 2019, vol. 10, no 2, p. 110-127.
- Berramla, K., Deba, E. A., Hamdane, M. E., & Benyamina, A. E. H. (2019, March). Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. In Proceedings of the 2nd International Conference on Networking, Information Systems & Security (pp. 1-7).
- Berramla, Karima, Deba El Abbassia and Djilali Benhamamouch. "A contribution to the specification of model transformations with metamodel matching approach." International Journal of Information System Modeling and Design (IJISMD) 8.3 (2017): 1-23
- K. Berramla, E. A. Deba and D. Benhamamouch, Model Transformations Generation: A Survey of
State-of-Art, 2nd International Conference on Information Technology for Organizations
Development, Fez, Morocco, March 2016
- K. Berramla, E. A. Deba and M. Senouci, Formal validation of model transformation with Coq proof
assistant, In proceedings of International Conference on New Technologies of Information and
Communication (NTIC), Mila, 8-9 November 2015
- Aouat, F. Bendella, E. Deba, Tools of model transformation by graph transformation, in Software
Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference, 22-24 june
2012
- Aouat, A. Deba, and F. Bendella, Tools of graph-based model transformation : Comparative study,
Artificial Intelligence Doctorials, Algiers, 2012.
- Karima Mokhtari, Salima Benbernou, Mourad Ouziri, Hakim Lahmar and Muhammad Younas A Monitoring Framework for Transparency and Fairness in Big Data Platform 10.1002/cpe.6069 Concurrency and Computation Practice and Experience Volume 33 issue 8 2021 https://onlinelibrary.wiley.com/doi/abs/10.1002/cpe.6069
+ International conferences
- Berramla, K.; Deba, E.; Wu, J.; Sahraoui, H. and Benyamina, A. (2020). Model Transformation by Example with Statistical Machine Translation. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758- 400-8, pages 76-83. DOI: 10.5220/0009168200760083
- Asmaa Aouat, EL Abbassia Deba, et al. "Deployment in Cloud Computing: The Comparative Study." International Journal of Distributed Systems and Technologies (IJDST) 11.1 (2020): 27-37
- Asmaa Aouat, EL Abbassia Deba, et al. Model-Based Application Deployment on Cloud Computing. International Journal of Distributed Systems and Technologies (IJDST), 2019, vol. 10, no 2, p. 110-127.
- Berramla, K., Deba, E. A., Hamdane, M. E., & Benyamina, A. E. H. (2019, March). Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. In Proceedings of the 2nd International Conference on Networking, Information Systems & Security (pp. 1-7).
- Berramla, Karima, Deba El Abbassia and Djilali Benhamamouch. "A contribution to the specification of model transformations with metamodel matching approach." International Journal of Information System Modeling and Design (IJISMD) 8.3 (2017): 1-23
- Karima Berramla, El Abbassia Deba and Abou El Hassene Benyamina, Automatic Generation of Models from Their Metamodels Using Multilayer Perceptron Network, In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, ISBN 978-989-758-682-8, ISSN 2184-4348, pages 272-279, 2024
