Some Results on Cross Viewpoint Consistency Checking

Bowman, H. and Derrick, J. and Steen, M. (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available)

PDF
Download (178kB)
[img]
Preview
Postscript
Download (207kB)
[img]
Preview

Abstract

The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers definitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the relationship between the different definitions of consistency and on the requirements for realistic consistency checking.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: formal methods, LOTOS, viewpoints, consistency, ODP
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 21 Aug 2009 19:34
Last Modified: 06 Sep 2011 03:48
Resource URI: http://kar.kent.ac.uk/id/eprint/21276 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year