From ODP Viewpoint Consistency to Integrated Formal Methods

Boiten, Eerke Albert, Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi:10.1016/j.csi.2011.10.015) (KAR id:30829)

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. http://dx.doi.org/10.1016/j.csi.2011.10.015) Author's Accepted Manuscript Language: English
Download this file (PDF/255kB)
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL: http://dx.doi.org/10.1016/j.csi.2011.10.015

Abstract

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
DOI/Identification number:	10.1016/j.csi.2011.10.015
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:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Eerke Boiten
Date Deposited:	21 Sep 2012 09:49 UTC
Last Modified:	05 Nov 2024 10:12 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/30829 (The current URI for this page, for reference purposes)

University of Kent Author Information

Boiten, Eerke Albert.

Creator's ORCID:	https://orcid.org/0000-0002-9184-8968
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.