Jibendu K. Mantri

Work place: Department of Computer Application, Maharaja Sriram Chandra Bhanja Deo University, 757003, India

E-mail: jkmantri@gmail.com

Website:

Research Interests: Computer Security

Biography

Prof. Jibendu K. Mantri, M.Sc, M.Phil, M.Tech, Ph.D, Former Professor, Deptt.Computer Application, MSCB University, is working as a Professor, School of Information System ASBM University, India, now. He has more than 33years of experience of teaching and research. His area of specialization includes: AI, Business Process Re-Engineering and Computer Security. He has authored 6 books in total. He has also authored more than 117 papers published in refereed International / National Journals and Conferences. He is an active reviewer for peer-reviewed journals and has delivered invited talks pertaining to his research field.

Author Articles
Representation of Dynamic Basic Block in Software Evolution Using Incidence Matrix

By Rajeeb S. Bal Jibendu K. Mantri

DOI: https://doi.org/10.5815/ijitcs.2026.02.05, Pub. Date: 8 Apr. 2026

Software evolution is a continuous process that transforms changing user requirements into improved software systems. Establishing a clear and well-structured development process is widely recognized as an effective means to enhance software maintainability, quality, and productivity. Tailoring software processes from existing process patterns and standards is essential for improving process performance, ensuring product quality, reducing development risks, and minimizing rework. Despite its importance, current research lacks a systematic and formally grounded method for tailoring software evolution processes. In this paper, we propose a structured approach based on Petri Net (PN) theory to address this limitation. There are four fundamental process constructs: sequence, concurrency, selection, and iteration are identified as basic building blocks for modeling software evolution processes. Using these constructs, four tailoring operations, namely adding, deleting, splitting, and merging, are formally defined. We study on the scalable process composition, matrix-based representations of Petri Nets (PNs) are employed. Incidence and related matrices provide a concise and mathematically tractable representation of both place/transition nets and restricted PNs, enabling the identification of essential structural properties of software processes. Also, we prove the reachability analysis and firing rules are utilized to derive a mathematical behavioral notation that captures binary relationships between input and output variables. This notation facilitates precise analysis of dynamic behavior for systematic software process tailoring.

[...] Read more.
Other Articles