Toggle Main Menu Toggle Search

Open Access padlockePrints

Refinement-based Approach to Co-engineering Requirements and Formal Models

Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, David Ebo Adjepon-Yamoah, Professor Alexander RomanovskyORCiD



Formal modelling is widely recognised to contribute to the rigour and comprehensiveness of requirements. At the same time, a formal specification does not offer the flexibility and legibility of informal requirements, expected by system designers and software engineers. In this paper we propose a method and a supporting platform for tightly integrated co-engineering of a requirements document and the corresponding formal specification. We show that bi-directional transformation between requirements and models affects the practice of requirements construction by, arguably, bringing additional rigour and discipline while retaining the flexibility of informal requirements. We report on the experience of applying the OSLC framework to integrate a requirements engineering tool with the Rodin modelling and verification environment. A prototype implementation illustrates the main steps of the proposed approach.

Publication metadata

Author(s): Iliasov A, Laibinis L, Troubitsyna E, Adjepon-Yamoah D, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 13

Print publication date: 01/03/2015

Report Number: 1456

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne