A survey on refinement in formal methods and software engineering
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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
The World Academy of Research in Science and Engineering
2019
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/80509/ http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf |
| _version_ | 1848858912835502080 |
|---|---|
| author | Said, Mar Yah @ Mek Yah Jasser, Muhammed Basheer Abd Ghani, Abdul Azim Din, Jamilah |
| author_facet | Said, Mar Yah @ Mek Yah Jasser, Muhammed Basheer Abd Ghani, Abdul Azim Din, Jamilah |
| author_sort | Said, Mar Yah @ Mek Yah |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T12:20:59Z |
| format | Article |
| id | upm-80509 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T12:20:59Z |
| publishDate | 2019 |
| publisher | The World Academy of Research in Science and Engineering |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-805092020-11-09T15:28:43Z http://psasir.upm.edu.my/id/eprint/80509/ A survey on refinement in formal methods and software engineering Said, Mar Yah @ Mek Yah Jasser, Muhammed Basheer Abd Ghani, Abdul Azim Din, Jamilah 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. The World Academy of Research in Science and Engineering 2019 Article PeerReviewed text en http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf 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 http://www.warse.org/IJATCSE/static/pdf/file/ijatcse16814sl2019.pdf 10.30534/ijatcse/2019/1681.42019 |
| spellingShingle | Said, Mar Yah @ Mek Yah Jasser, Muhammed Basheer Abd Ghani, Abdul Azim Din, Jamilah A survey on refinement in formal methods and software engineering |
| title | A survey on refinement in formal methods and software engineering |
| title_full | A survey on refinement in formal methods and software engineering |
| title_fullStr | A survey on refinement in formal methods and software engineering |
| title_full_unstemmed | A survey on refinement in formal methods and software engineering |
| title_short | A survey on refinement in formal methods and software engineering |
| title_sort | survey on refinement in formal methods and software engineering |
| url | http://psasir.upm.edu.my/id/eprint/80509/ http://psasir.upm.edu.my/id/eprint/80509/ http://psasir.upm.edu.my/id/eprint/80509/ http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf |