5 recent publications |
---|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020) |
|
Aissam Belghiat; Dalal Oukhaf; Allaoua Chaoui
Transforming UML Diagrams to YAWL models for Business Processes Analysis.. In book Modelling and Implementation of Complex Systems: 279-293 (2020) |
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
|
|
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019) |
|
Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem
Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. of Computing and Information Technology (CIT) 24(2): 149-163 (2016) |
PhD thesis |
---|
Aissam Belghiat
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul. Université Constantine 2, Algérie (2017) |