UPM Institutional Repository

A survey on refinement in formal methods and software engineering


Said, Mar Yah @ Mek Yah and Jasser, Muhammed Basheer and Abd Ghani, Abdul Azim and Din, Jamilah (2019) A survey on refinement in formal methods and software engineering. International Journal of Advanced Trends in Computer Science and Engineering, 8 (1.4). pp. 105-112. ISSN 2278-3091


In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to manage the formal models and handle their complexity. Refinement has been carried out for system artefacts ranging from modelling and design levels like architectures, and state machines to implementation and programming levels like source code. Refinement is a significant way for building complicated systems starting from simple ones by adding features gradually. Refinement has to be understood carefully in the context of formal specification and verification. This article provides a survey on some refinement techniques and methods and in the context of formal methods and software engineering. We believe that this survey sheds a light on the research direction in regards to the refinement of formal methods. This survey also helps formal methods practitioners and users in observing and understanding the advantages and limitations of refinements methods and techniques of various studied formal methods. Accordingly, they can decide which formal method is to be used in modelling systems via refinement or which formal method is to be extended with new concepts and notions to support refinement.

Download File

[img] Text (Abstract)

Download (6kB)

Additional Metadata

Item Type: Article
Divisions: Faculty of Computer Science and Information Technology
DOI Number: https://doi.org/10.30534/ijatcse/2019/1681.42019
Publisher: The World Academy of Research in Science and Engineering
Keywords: Refinement; Formal methods; Object-oriented formal methods
Depositing User: Ms. Nuraida Ibrahim
Date Deposited: 09 Nov 2020 15:28
Last Modified: 09 Nov 2020 15:28
Altmetrics: http://www.altmetric.com/details.php?domain=psasir.upm.edu.my&doi=10.30534/ijatcse/2019/1681.42019
URI: http://psasir.upm.edu.my/id/eprint/80509
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item