Evaluation of Parallel System using Process Algebra
Ankur Mittal1, Abhilash2, R. P. Mahapatra3
1Ankur Mittal, Computer Science And Engineering, Meerut Institute Of Technology, Meerut, Uttar Pradesh, India.
2Abhilash, Computer Science And Engineering, Meerut Institute Of Technology, Meerut, Uttarpradesh, India.
3R.P. Mahapatra, Computer Science And Engineering , Depatmant of SRM, Institute of Science and Technology, NCR, Ghaziabad, Uttar Pradesh, India
Manuscript received on 09 August 2019 | Revised Manuscript received on 16 August 2019 | Manuscript Published on 31 August 2019 | PP: 177-182 | Volume-8 Issue-9S2 August 2019 | Retrieval Number: I10340789S219/19©BEIESP DOI: 10.35940/ijitee.I1034.0789S219
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open-access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: In this paper we discuss method for efficiency testing of a concurrent processes execution system. We use the concept of process algebra, it is an algebraic technique for the study of execution of parallel processes. Mathematical language is use for building models of computing system which make records about the execution of the procedure. We use PEPA tool, TAPA tool for making model. These tools provide formal explanation of computing system models. The execution related data about the system will be use to check the execution efficiency of the procedure. Here we use concept of markov chain analysis for execution of the concurrent processes
Keywords: Process Algebra, PEPA, TAPA, Parallel System
Scope of the Article: Multi-Agent Systems