© University of Kent - Contact | Feedback | Legal | FOI | Cookies
From ODP Viewpoint Consistency to Integrated Formal Methods
Eerke A. Boiten and John Derrick
Computer Standards and Interfaces, pages 182-196, January 2012 [doi].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.
Download publication 249 kbytes (PDF)Bibtex Record
@article{3188, author = {Eerke A. Boiten and John Derrick}, title = {From {ODP} {V}iewpoint {C}onsistency to {I}ntegrated {F}ormal {M}ethods}, month = {January}, year = {2012}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {10.1016/j.csi.2011.10.015}, url = {http://www.cs.kent.ac.uk/pubs/2012/3188}, publication_type = {article}, submission_id = {6126_1323099527}, ISSN = {0920-5489}, journal = {Computer Standards and Interfaces}, publisher = {Elsevier}, }