Work place: Department of Computer Application, Maharaja Sriram Chandra Bhanja Deo University, 757003, India
E-mail: rajiv.s.bal@gmail.com
Website:
Research Interests: Soft Computing
Biography
Rajeeb S. Bal is a PhD Research scholar in the Department of Computer Applications, The Maharaja Sriram Chandra Bhanja Deo University, Baripada, Odisha, India. He was working as Assistance Professor in the Department of Computer Science and Engineering of Ajay Binay institute of Technology at Cuttack, Odisha, India. He received his MCA degree from F. M. University and M.Tech(CSE) from Biju Patnaik University of Technology, Odisha. His research interests include Software Engineering, Wireless Sensor Network, Soft Computing.
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.Subscribe to receive issue release notifications and newsletters from MECS Press journals