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 |