Interpreting ODP Viewpoint Specification: Observations from a Case Study

Taylor, C. and Boiten, E. and Derrick, J. (2001) Interpreting ODP Viewpoint Specification: Observations from a Case Study. Technical report. UKC, University of Kent at Canterbury, UK (Full text available)

PDF
Download (247kB)
[img]
Preview
Postscript
Download (254kB)
[img]
Preview

Abstract

Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under development by the International Standards Organisation (ISO). It is based on the general idea of viewpoints - i.e. partial specifications of an overall system, from different perspectives - but assumes five specific, named viewpoints, which are described informally in the ODP Reference Model (RM-ODP). This paper summarises some observations regarding an attempt to use ODP to specify a complex air traffic control system. Some of the key issues that arise are discussed further in the context of the formal specification of a simpler, idealised model, involving two formalised viewpoints - the Information Viewpoint (a high-level, abstract specification, in Z), and the Computational Viewpoint (a specification of distributed components and objects, in Object-Z).

Item Type: Monograph (Technical report)
Additional information: Technical Report 9-01
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
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 06 Sep 2011 01:09
Resource URI: http://kar.kent.ac.uk/id/eprint/13546 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year