A Technique to Support Incremental Construction and Verification in Component-Based Software Development

Abstract: Technological advancements in recent decades have significantly increased the scale and complexity of software systems, which poses challenges to their development and reliability. Component-based software development (CBSD) offers a promising solution by enabling modular and efficient software construction. However, CBSD alone cannot fully address challenges such as ensuring reliability and avoiding errors like deadlocks. Verification techniques, such as model-checking, are necessary to ensure the correctness of CBSD systems. Despite its effectiveness in verifying system properties, model-checking faces a critical issue known as state-space explosion (SSE), which hinders scalability. This study introduces an incremental verification technique for CBSD to address SSE and ensure deadlock freedom. The proposed technique incrementally constructs and verifies component-based systems, eliminating verified portions of components to minimize state-space size during subsequent verification steps. It utilizes a component model that supports encapsulation of computation and control, making incremental verification feasible. Evaluation of the technique using coloured petri nets with non-trivial case studies demonstrates its ability to detect deadlocks early and manage SSE effectively, thereby improving the efficiency of the verification process.

Faranak Nejati, Ng Keng Yap and Abdul Azim Abd Ghani. “A Technique to Support Incremental Construction and Verification in Component-Based Software Development”. International Journal of Advanced Computer Science and Applications (IJACSA) 16.6 (2025). http://dx.doi.org/10.14569/IJACSA.2025.0160680

@article{Nejati2025,
title = {A Technique to Support Incremental Construction and Verification in Component-Based Software Development},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2025.0160680},
url = {http://dx.doi.org/10.14569/IJACSA.2025.0160680},
year = {2025},
publisher = {The Science and Information Organization},
volume = {16},
number = {6},
author = {Faranak Nejati and Ng Keng Yap and Abdul Azim Abd Ghani}
}