Aissam Belghiat

According to our database, Aissam Belghiat authored at least 11 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Transforming UML Diagrams to YAWL Models for Business Processes Analysis.

Aissam Belghiat, Dalal Oukhaf, Allaoua Chaoui

Proceedings of the Modelling and Implementation of Complex Systems, 2020

2018

A multi-paradigm approach to model and verify mobile agent software systems.

Aissam Belghiat, Allaoua Chaoui

Multiagent Grid Syst., 2018

A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2016

Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus.

Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

Proceedings of the Theoretical Information Reuse and Integration, 2016

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems.

Aissam Belghiat, Allaoua Chaoui

Int. J. Intell. Inf. Technol., 2016

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study.

Aissam Belghiat, Elhillali Kerkouche, Allaoua Chaoui, Mokhtar Beldjehem

J. Comput. Inf. Technol., 2016

2015

Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus.

Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the ICSOFT-PT 2015, 2015

A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus.

Aissam Belghiat, Allaoua Chaoui

Proceedings of the IPAC '15: International Conference on Intelligent Information Processing, 2015

2014

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.

Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

2012

From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach.

Aissam Belghiat, Mustapha Bourahla

Proceedings of the 4th International conference on Web and Information Technologies, 2012