IDEAS home Printed from https://ideas.repec.org/a/spr/ijsaem/v14y2023i6d10.1007_s13198-023-02098-6.html
   My bibliography  Save this article

Formally modeling and verifying a software component retrieval system using mCRL2

Author

Listed:
  • Nisha Pal

    (Motilal Nehru National Institute of Technology Allahabad)

  • Dharmendra Kumar Yadav

    (Motilal Nehru National Institute of Technology Allahabad)

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.

Suggested Citation

  • Nisha Pal & Dharmendra Kumar Yadav, 2023. "Formally modeling and verifying a software component retrieval system using mCRL2," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 14(6), pages 2485-2496, December.
    • Handle: RePEc:spr:ijsaem:v:14:y:2023:i:6:d:10.1007_s13198-023-02098-6
    DOI: 10.1007/s13198-023-02098-6
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s13198-023-02098-6
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s13198-023-02098-6?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:ijsaem:v:14:y:2023:i:6:d:10.1007_s13198-023-02098-6. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.