From ODP Viewpoint Consistency to Integrated Formal Methods

Boiten, Eerke Albert and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi: (Full text available)

PDF (NOTICE: this is the author’s version of a work that was accepted for publication in Computer Standards and Interfaces. Changes resulting from the publishing process may not be reflected in this document. - Author's Accepted Manuscript
Download (240kB) Preview
Official URL


Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple viewpoints, and subsequent work on generalised notions of refinement, which in turn led to work on integrations of state-based and behavioural formal methods.

Item Type: Article
Uncontrolled keywords: ODP viewpoints; Consistency; Behavioural and state based specification; Refinement
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: E.A. Boiten
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 07 Aug 2018 09:32 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year