References

Aaroud, A., S.E. Labhalla and B. Bounabat, 2005. Modelling the handover function of global system for mobile communication. Int. J. Modell. Simul., 25: 99-105.
CrossRef  |  Direct Link  |  

Adadi, N., M. Berrada and D. Chenouni, 2016. Formal specification of web services composition using LOTOS. Int. J. Comput. Technol. Appl., 7: 636-642.
Direct Link  |  

Adadi, N., M. Berrada, D. Chenouni and B. Bounabat, 2017. Proposition of web services composition approach basing of model-driven approach and multi-agent systems. Comput. Modell. New Technol., 21: 12-19.
Direct Link  |  

Adadi, N., M. Berreda, D. Chenouni and B. Bounabat, 2014. Multi-agent architecture for business modeling of web services composition based on WS2JADE framework. Int. Rev. Comput. Software, 9: 1667-1674.
CrossRef  |  Direct Link  |  

Adadi, N., M. Berreda, D. Chenouni and B. Bounabat, 2015. Modeling and simulation of Web Services composition based on MARDS model. Proceedings of the 2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA’15), October 20-21, 2015, IEEE, Rabat, Morocco, pp: 1-6.

Berrada, M., B. Bounabat and M. Harti, 2007. Modeling and simulation of multi-agent reactif decisionnal systems using business process management concepts. Int. Rev. Comput. Software, 2: 159-169.

Chand, D.R. and A.M. Chircu, 2012. Business Process Modeling. In: Business Enterprise, Process and Technology Management: Models and Applications, Shankararaman, V., J.L., Zhao and J.K. Lee (Eds.)., IGI Global, Pennsylvania, USA., pp: 32-50.

Garavel, H., F. Lang, R. Mateescu and W. Serwe, 2013. CADP 2011: A toolbox for the construction and analysis of distributed processes. Int. J. Software Tools Technol. Transf., 15: 89-107.
CrossRef  |  Direct Link  |  

OASIS., 2007. Web services business process execution language version 2.0. Advancing open standards for the information society, ‎Burlington, Massachusetts, USA. https://scholar.googleusercontent.com/scholar?q=cache:izRh9S01M2EJ:scholar.google.com/+OASIS+Standard.+Web+services+business+process+execution+language+version+2.0&hl

Richard, L. and A. Jirachiefpattana, 1998. Communication Protocol Specification and Verification. Vol. 464, Springer, Boston, Massachusetts, USA., ISBN-13: 978-0792382843, Pages: 304.