Seguir
Raida ELMANSOURI
Raida ELMANSOURI
Université Constantine 2 - Abdelhamid Mehri
Email confirmado em univ-constantine2.dz
Título
Citado por
Citado por
Ano
Model checking and code generation for UML diagrams using graph transformation
W Chama, R Elmansouri, A Chaoui
International Journal of Software Engineering & Applications 3 (6), 39, 2012
232012
From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom^ sup 3^ Tool
R Elmansouri, H Hamrouche, A Chaoui
International Journal of Computer Science Issues (IJCSI) 8 (2), 368, 2011
152011
Modélisation et Vérification des processus métiers dans les entreprises virtuelles: Une approche basée sur la transformation de graphes
R ElMansouri
En ligne]. Available: https://bu. umc. edu. dz/theses/informatique/ELM5432 …, 2009
102009
A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars
R El Mansouri, E Kerkouche, A Chaoui
Proceedings of World Academy of Science. Engineering and Technology 34, 2008
102008
Web services modeling and composition approach using object-oriented petri nets
S Chemaa, R Elmansouri, A Chaoui
arXiv preprint arXiv:1304.2080, 2013
92013
From uml statecharts and collaboration diagrams to coloured petri nets models: A graph transformation based approach for modelling and analysis of business processes in virtual …
R ElMansouri, A Chaoui, E Kerkouche, K Khalfaoui
2009 Fourth South-East European Workshop on Formal Methods, 73-78, 2009
92009
Using graph transformation and maude to simulate and verify UML models
W Chama, R Elmansouri, A Chaoui
2013 The International Conference on Technological Advances in Electrical …, 2013
82013
An Automatic approach to verify business process models using INA petri nets analyzer
E Kerkouche, R Elmansouri, A Chaoui, K Khalfaoui
International Journal of Computer and Information Technology 3 (4), 706-711, 2014
72014
On transforming business patterns to labeled Petri nets using graph grammars
K Mahdi, R Elmansouri, A Chaoui
IJITCS) International Journal of Information Technology and Computer Science …, 2013
72013
A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
R Elmansouri, S Meghzili, A Chaoui
Computer Science 22 (2), 2021
62021
A modeling and verification approach based on graph transformation
W Chama, R Elmansouri, A Chaoui
Lecture Notes on Software Engineering 1 (1), 39-43, 2013
52013
Transforming business patterns to colored petri nets using graph grammars
K Mahdi, R Elmansouri, A Chaoui
2012 22nd International Conference on Computer Theory and Applications …, 2012
42012
From UML sequence diagrams to labeled generalized stochastic Petri net models using graph transformation
M Bouarioua, A Chaoui, R Elmansouri
e-Technologies and Networks for Development: First International Conference …, 2011
42011
Modélisation et Vérification des processus métiers dans les entreprises virtuelles
R Elmansouri, Z Boufaida
42009
From UML Sequence Diagrams to ECATNets: a Graph Transformation based Approach for modelling and analysis
A Chaoui, R ElMansouri, W Saadi, E Kerkouche
proceedings of The 4th International Conference on Information Technology ICIT, 2009
42009
From UML 2.0 diagrams to aspect oriented diagrams using graph transformation
M Aouag, R Elmansouri, A Chaoui
International Journal of Computer Aided Engineering and Technology 6 (2 …, 2014
32014
From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation
M Bouarioua, A Chaoui, R Elmansouri
International Symposium on Innovations in Information and Communications …, 2011
32011
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
12020
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution
R Hamli, A Chaoui, R Elmansouri, A Khebizi
International Journal of Organizational and Collective Intelligence (IJOCI …, 2023
2023
Formal Verification and Implementation of an E-Voting System
S Meghzili, A Chaoui, R Elmansouri, BN Alloui, A Bouabsa
International Journal of Software Innovation (IJSI) 10 (1), 1-22, 2022
2022
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20