Skip to main content

Maintaining Cross Viewpoint Consistency using Z

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_32) (KAR id:21280)

Abstract

This paper discusses the use and integration of formal techniques, in particular Z, into the Open Distributed Processing (ODP) standardization initiative. One of the cornerstones of the ODP framework is a model of multiple viewpoints. During the development process it is important to maintain the consistency of different viewpoints of the same ODP specification. In addition, there must be some way to combine specifications from different viewpoints into a single implementation specification. The process of combining two specifications is known as unification. Unification can be used as a method by which to check consistency. This paper describes a mechanism to unify two Z specifications, and hence provide a consistency checking strategy for viewpoints written in Z.

Item Type: Conference or workshop item (UNSPECIFIED)
DOI/Identification number: 10.1007/978-0-387-34882-7_32
Uncontrolled keywords: ODP, Z, consistency, viewpoints
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:53 UTC
Last Modified: 09 Mar 2023 11:29 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21280 (The current URI for this page, for reference purposes)

University of Kent Author Information

Derrick, John.

Creator's ORCID:
CReDIT Contributor Roles:

Bowman, Howard.

Creator's ORCID: https://orcid.org/0000-0003-4736-1869
CReDIT Contributor Roles:

Steen, Maarten.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.