Integration of Specifications through Development Relations

Boiten, E.A. and Derrick, J. (2002) Integration of Specifications through Development Relations. In: Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, 23-28th June 2002, Passadena, California. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

We sketch a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated (''unified''). This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptablelinebreak ''developments'' (e.g. refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: viewpoint specification, partial specification, consistency, formal methods
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: 24 Nov 2008 18:00
Last Modified: 12 Jun 2012 12:56
Resource URI: http://kar.kent.ac.uk/id/eprint/13787 (The current URI for this page, for reference purposes)
  • Depositors only (login required):