Boiten, E.A. and Derrick, J. (2003) A relational framework for the integration of specifications. Journal of Integrated Design and Process Science, 7 (3). pp. 39-48. ISSN 1092-0617.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
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.
|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|
|Depositing User:||Mark Wheadon|
|Date Deposited:||24 Nov 2008 18:00|
|Last Modified:||12 Jun 2012 14:03|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/13927 (The current URI for this page, for reference purposes)|
- Depositors only (login required):