Formally modeling and verifying a software component retrieval system using mCRL2

Nisha Pal () and Dharmendra Kumar Yadav ()
Additional contact information
Nisha Pal: Motilal Nehru National Institute of Technology Allahabad
Dharmendra Kumar Yadav: Motilal Nehru National Institute of Technology Allahabad

International Journal of System Assurance Engineering and Management, 2023, vol. 14, issue 6, No 35, 2485-2496

Abstract: Abstract Software reuse is the process of building a new software application by using existing software components. Component-based software engineering is one of the approaches that is based on reusability concepts. It helps to improve the software quality and performance. Effective storage and retrieval scheme are two of the essential factors in the software reuse process. It reduces maintenance costs and easily upgrades a large and complex software system. The selection of appropriate components becomes more complex due to unexpected requirements. To overcome these problems, many researchers have developed different types of software component storage and retrieval techniques. However, all the techniques do not give the proper satisfaction of the developer requirements. In this paper, we proposed a software component retrieval schema which is built on different group of repositories namely metadata repository, description repository, component repository, and ontology repository. These repositories give semantic information related to the component. For the correctness of the proposed system, we proposed a formal model of that system which verifies the correct flow of a sequence of these repositories for finding the desired component. Formal specification and verification technique helps to determine the correct matching component from the repository. This new system improves searching results for the developer to develop the software project. We used mCRL2 process algebra for describing the behavior of storing and retrieving system. The requirement of the proposed system has written in a modal mu-calculus. It has been verified by using the mCRL2 toolset.

Keywords: CBSE; Metadata repository; mCRL2 tool; Formal verification; Ontology repository; Formal methods (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s13198-023-02098-6 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ijsaem:v:14:y:2023:i:6:d:10.1007_s13198-023-02098-6

Ordering information: This journal article can be ordered from
http://www.springer.com/engineering/journal/13198

DOI: 10.1007/s13198-023-02098-6

Access Statistics for this article

International Journal of System Assurance Engineering and Management is currently edited by P.K. Kapur, A.K. Verma and U. Kumar

More articles in International Journal of System Assurance Engineering and Management from Springer, The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().