A high-level Petri net based model for web services composition and verification S Chemaa, M Bouarioua, A Chaoui International Journal of Computer Applications in Technology 51 (4), 306-323, 2015 | 13 | 2015 |
Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML M Bouarioua UNIVERSITÉ CONSTANTINE 2, 2013 | 9 | 2013 |
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 | 4 | 2011 |
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 | 3 | 2011 |
Labeled Generalized Stochastic Petri Net Based Approach for Web Services Composition S Chemaa, M Bouarioua, A Chaoui AIRCC's International Journal of Computer Science and Information Technology …, 2013 | 1 | 2013 |
A Meta-Modeling and Graph Grammar Approach for Modeling and analysis of e-entrepreneurship systems M Bouarioua, A Chaoui, R Elmansouri International Journal of New Computer Architectures and Their Applications 2 …, 2012 | | 2012 |
From a model of concurrency to a test model: A Graph transformation based approach A Chaoui, D SAIDOUNI, M Bouarioua, S Bekrar, E Kerkouche | | |
2011 Fourth International Symposium on Innovation in Information & Communication Technology ISIICT 2011 S Tartir, IB Arpinar, B Mcknight, H Al-Zubaide, A Issa, T Khadir, D Ala, ... | | |
Transformation des diagrammes d’états-transitions UML vers les réseaux de Petri stochastiques généralisés en utilisant la transformation de graphes M Bouarioua, S Chemaa, A Chaoui | | |