Skip to main content

A relational framework for the integration of specifications

Boiten, Eerke Albert, 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. (KAR id:13927)

PDF Author's Accepted Manuscript
Language: English
Download (196kB) Preview
Official URL


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 > Sciences > School of Computing > Systems Architecture Group
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:51 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year