Viewpoint consistency in ODP, a general interpretation

Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED. (Full text available)

PDF
Download (218kB)
[img]
Preview
Postscript
Download (258kB)
[img]
Preview

Abstract

Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexity inherent in specifying distributed systems. Multiple viewpoints prompt the issue of consistency between viewpoints. The ODP reference model alludes to three different interpretations of consistency. We show that our interpretation, firstly, satisfies all the basic requirements of a definition of consistency and, secondly, can be specialised to any of the three ODP reference model definitions. The generality of our definition will be illustrated through instantiation in the FDT LOTOS.

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: 03 Sep 2009 20:35
Last Modified: 15 Jul 2014 13:39
Resource URI: http://kar.kent.ac.uk/id/eprint/21386 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year