Some Results on Cross Viewpoint Consistency Checking

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_31) (KAR id:21276)

PDF Language: English
Click to download this file (178kB)
This file may not be suitable for users of assistive technology. Request an accessible format
Postscript Language: English
Click to download this file (207kB) Preview	Preview
This file may not be suitable for users of assistive technology. Request an accessible format
Official URL: https://doi.org/10.1007/978-0-387-34882-7_31

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)
DOI/Identification number:	10.1007/978-0-387-34882-7_31
Uncontrolled keywords:	formal methods, LOTOS, viewpoints, consistency, ODP
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:	Mark Wheadon
Date Deposited:	21 Aug 2009 19:34 UTC
Last Modified:	09 Mar 2023 11:29 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/21276 (The current URI for this page, for reference purposes)
Bowman, Howard:	https://orcid.org/0000-0003-4736-1869

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.