A relational framework for the integration of specifications

Boiten, Eerke Albert and Derrick, John (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617. (Full text available)

PDF - Accepted Version
Download (262kB) Preview
[img]
Preview
Official URL
http://www.cs.kent.ac.uk/pubs/2003/1757

Abstract

We describe 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 acceptable "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: Article
Uncontrolled keywords: viewpoints, consistency, refinement, formal development, heterogeneous specification, partial specification
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Eerke Boiten
Date Deposited: 24 Nov 2008 18:00
Last Modified: 05 Dec 2015 22:48
Resource URI: https://kar.kent.ac.uk/id/eprint/13927 (The current URI for this page, for reference purposes)
ORCiD (Boiten, Eerke Albert): http://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):

Downloads

Downloads per month over past year