A multi-paradigm approach to model and verify mobile agent software systems-Reference-Cited by-同舟云学术

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

Published:2019-01-18 Issue:4 Volume:14 Page:337-356
ISSN:1875-9076
Container-title:Multiagent and Grid Systems
language:
Short-container-title:MGS

Author:

Belghiat Aissam¹²,Chaoui Allaoua²

Affiliation:

1. University of Mohamed Seddik Benyahia-Jijel, Jijel, Algeria

2. MISC Laboratory, University of Constantine 2 – Abdelhamid Mehri, Constantine, Algeria

Publisher

IOS Press

Subject

General Computer Science

Reference16 articles.

1. Mobile agent-based software systems modeling approaches: A comparative study;Belghiat;CIT. Journal of Computing and Information Technology,2016

2. A. Belghiat and A. Chaoui, Mapping mobile statechart diagrams to the π-calculus using graph transformation: An approach for modeling, simulation and verification of mobile agent-based software systems, International Journal of Intelligent Information Technologies (IJIIT) 12(4) (2016).

3. A. Belghiat, A. Chaoui and M. Beldjehem, Capturing and Verifying Dynamic Program Behavior Using UML Communication Diagrams and π-Calculus, in: IEEE International Conference on Information Reuse and Integration, 2015, USA.

4. A. Belghiat and A. Chaoui, A π-calculus-based approach for the verification of UML2 sequence diagrams, in: ICSOFT, the 10th International Joint Conference on Software Technologies, 2015, France.

5. A. Belghiat, A. Chaoui and M. Beldjehem, Capturing and Verifying Dynamic Systems Behavior Using UML and π-Calculus, in: Theoretical Information Reuse and Integration, Springer, 2016, pp. 59-84.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A graph transformation based approach for multi-agent systems reorganization;Multiagent and Grid Systems;2020-02-10