Please use this identifier to cite or link to this item: https://hdl.handle.net/1959.11/54888
Title: Formal specification at model-level of model-driven engineering using modelling techniques
Contributor(s): Jnanamurthy, H K (author); Henskens, Frans (author); Paul, David  (author)orcid ; Wallis, Mark (author)
Publication Date: 2021-01-01
DOI: 10.1504/IJCAT.2021.122345
Handle Link: https://hdl.handle.net/1959.11/54888
Abstract: Nowadays Model-Driven Engineering (MDE) is gaining more popularity due to high-level development leading to a faster generation of executable code, which reduces manual intervention. Verification is crucial at different levels of model-based development. Model-based development, along with formal verification process, assures the developed model satisfies software requirements described in formal specifications. Owing the inadequate knowledge of formal methods (complex mathematical theory), software developers are not adopting formal methods during software development. There are several approaches in the literature available to transform MDE models into formal models directly for formal verification, and these approaches require an additional input of formal specifications to verification tools for formal verification. But these methods have not addressed the problem of formal specifications at the model level. In this paper, we design a modelling framework using modelling techniques, which allows specifying formal properties at the model level, automatically extracting formal specifications and formal models from developed application models, which are used for formal verification. The proposed method allows full automation and reduces the time for formal verification process during the development life-cycle. Furthermore, the method reduces the complexity of learning formal specification notations (specifications specified at the model level are automatically converted into formal specifications), which are required to input verification tools for formal verification.
Publication Type: Journal Article
Source of Publication: International Journal of Computer Applications in Technology, 67(4), p. 340-350
Publisher: Inderscience Publishers
Place of Publication: Switzerland
ISSN: 1741-5047
0952-8091
Fields of Research (FoR) 2020: 460207 Modelling and simulation
461203 Formal methods for software
Socio-Economic Objective (SEO) 2020: 280115 Expanding knowledge in the information and computing sciences
Peer Reviewed: Yes
HERDC Category Description: C1 Refereed Article in a Scholarly Journal
Appears in Collections:Journal Article
School of Science and Technology

Show full item record

SCOPUSTM   
Citations

1
checked on Aug 17, 2024
Google Media

Google ScholarTM

Check

Altmetric


Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.