Transformation of UML models towards OWL ontologies A Belghiat, M Bourahla
2012 6th International Conference on Sciences of Electronics, Technologies …, 2012
29 2012 From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. A Belghiat, M Bourahla
ICWIT, 330-335, 2012
20 2012 An approach based AToM3 for the generation of OWL ontologies from UML diagrams A Belghiat, M Bourahla
International journal of computer applications 41 (3), 2012
20 2012 Mobile agent-based software systems modeling approaches: A comparative study A Belghiat, E Kerkouche, A Chaoui, M Beldjehem
Journal of computing and information technology 24 (2), 149-163, 2016
12 2016 A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. A Belghiat, A Chaoui
ICAASE, 107-114, 2018
11 2018 Automatic generation of OWL ontologies from UML class diagrams based on meta-modelling and graph grammars A Belghiat, M Bourahla
International Journal of Computer and Information Engineering 6 (8), 967-972, 2012
10 2012 Formalization of Mobile UML Statechart Diagrams Using the π -calculus: An Approach for Modeling and Analysis A Belghiat, A Chaoui, M Maouche, M Beldjehem
Information and Software Technologies: 20th International Conference, ICIST …, 2014
8 2014 Mapping mobile statechart diagrams to the π-calculus using graph transformation: An approach for modeling, simulation and verification of mobile agent-based software systems A Belghiat, A Chaoui
International Journal of Intelligent Information Technologies (IJIIT) 12 (4 …, 2016
6 2016 A Pi-calculus-based approach for the verification of UML2 sequence diagrams A Belghiat, A Chaoui
2015 10th International Joint Conference on Software Technologies (ICSOFT) 2 …, 2015
5 2015 Capturing and verifying dynamic program behaviour using UML communication diagrams and pi-calculus A Belghiat, A Chaoui, M Beldjehem
2015 IEEE International Conference on Information Reuse and Integration, 318-325, 2015
4 2015 Capturing and Verifying Dynamic Systems Behavior Using UML and -Calculus A Belghiat, A Chaoui, M Beldjehem
Theoretical Information Reuse and Integration, 59-84, 2016
3 2016 Transforming UML Diagrams to YAWL Models for Business Processes Analysis A Belghiat, D Oukhaf, A Chaoui
International Symposium on Modelling and Implementation of Complex Systems …, 2020
2 2020 A multi-paradigm approach to model and verify mobile agent software systems A Belghiat, A Chaoui
Multiagent and Grid Systems 14 (4), 337-356, 2018
2 2018 Integrating UML 2.0 Activity Diagrams and Pi-Calculus for Modeling and Verification of Software Systems Using TGG R Elmansouri, S Meghzili, A Chaoui, A Belghiat, O Hedjazi
Jordanian Journal of Computers and Information Technology 6 (4), 2020
1 2020 A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus A Belghiat, A Chaoui
Proceedings of the International Conference on Intelligent Information …, 2015
1 2015 Bridging the Gap between Modeling of Mobile Agent-based Systems and Semantic Web using Meta-Modeling and Graph Grammars A Belghiat, A Chaoui, A Aldahoud
The 7th International Conference on Information Technology (ICIT), 2015
1 2015 Une approche automatique de transformation des diagrammes d'activités UML vers les modèles YAWL. D Oukhaf, AE Belghait
Université de Jijel, 2019
2019 Une approche automatique de transformation des diagrammes d'activités uml vers les modèles epc. W Labiad, H Rezig, AE Belghait
Université de Jijel, 2019
2019 D. Aboutajdine, see FZ Nejme G. Amalanathan, see C. Sharmila K. Arputharaj, see JJ Christophe M. Asyraf bin Khairuddin, see C. Wai Shiang C. Bachtarzi, see B. Boulkroun V Balasubramanian, S Mohankumar, PK Banerjee, R Singh, M Beldjehem, ...
CIT 24 (1-4), 2016
2016 Formalization of UML Communication Diagrams using π-Calculus A Belghiat, C Allaoua
Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015
2015