View in EDS

Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.

Saved in:
Bibliographic Details
Title: Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.
Authors: Aparna, K. S., Kulkarni, R. N.
Source: Engineering, Technology & Applied Science Research; Feb2026, Vol. 16 Issue 1, p30843-30851, 9p
Abstract: Program slicing is widely used in software engineering for code comprehension, debugging, and system migration. It enables developers to extract and analyze relevant code segments based on predefined criteria, improving software maintenance. However, traditional slicing approaches often lack structured formal representations, making it difficult to derive precise software specifications, especially in complex Java-based systems. This paper introduces an Object-Z-based formal approach to program slicing, ensuring precise abstraction and systematic derivation of software specifications and requirements. The proposed model employs a backward slicing technique, where Object-Z schemas provide mathematically sound and verifiable representations of program slices. This approach effectively handles Java-specific challenges, including dynamic method invocations, encapsulated class structures, and inter-procedural dependencies. The proposed Object-Z-based formal representation framework ensures functional correctness while facilitating software migration and re-engineering. Experimental validation on largescale Java programs demonstrates that this method improves precision, reduces computational complexity, and enhances the efficiency of requirement extraction compared to traditional formal techniques. The findings highlight that integrating formal methods with program slicing enables automated specification derivation, thereby improving software reliability, maintainability, and adaptability. [ABSTRACT FROM AUTHOR]
Copyright of Engineering, Technology & Applied Science Research is the property of Engineering, Technology & Applied Science Research and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Complementary Index
Description
Abstract:Program slicing is widely used in software engineering for code comprehension, debugging, and system migration. It enables developers to extract and analyze relevant code segments based on predefined criteria, improving software maintenance. However, traditional slicing approaches often lack structured formal representations, making it difficult to derive precise software specifications, especially in complex Java-based systems. This paper introduces an Object-Z-based formal approach to program slicing, ensuring precise abstraction and systematic derivation of software specifications and requirements. The proposed model employs a backward slicing technique, where Object-Z schemas provide mathematically sound and verifiable representations of program slices. This approach effectively handles Java-specific challenges, including dynamic method invocations, encapsulated class structures, and inter-procedural dependencies. The proposed Object-Z-based formal representation framework ensures functional correctness while facilitating software migration and re-engineering. Experimental validation on largescale Java programs demonstrates that this method improves precision, reduces computational complexity, and enhances the efficiency of requirement extraction compared to traditional formal techniques. The findings highlight that integrating formal methods with program slicing enables automated specification derivation, thereby improving software reliability, maintainability, and adaptability. [ABSTRACT FROM AUTHOR]
ISSN:22414487
DOI:10.48084/etasr.13285