Skip to main content

Interpreting ODP viewpoint specifications: Observations from a Case Study

Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) Interpreting ODP viewpoint specifications: Observations from a Case Study. In: Jacobs, Bart and Rensink, Arend, eds. Formal Methods for Open Object-Based Distributed Systems V. IFIP International Federation for Information Processings , 5. pp. 61-76. Kluwer Academic Publishers, Dordrecht ISBN 978-0-7923-7683-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13814)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

Open Distributed Processing (ODP) is a viewpoints based ISO framework for specifying open distributed systems. This paper considers an application of ODP to the specification of an air traffic control (ATC) system. The key issues that arise from this are discussed further in the context of the formal specification of a simpler model - the Information Viewpoint in Z, and the Computational Viewpoint in Object-Z.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Eerke Boiten
Date Deposited: 24 Nov 2008 18:00 UTC
Last Modified: 28 May 2019 13:50 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/13814 (The current URI for this page, for reference purposes)
Boiten, Eerke Albert: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):