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 |
|
Click to download this file (287kB)
Preview
|
Preview |
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
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: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Eerke Boiten |
Date Deposited: | 24 Nov 2008 18:00 UTC |
Last Modified: | 16 Nov 2021 09:52 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/13927 (The current URI for this page, for reference purposes) |
Boiten, Eerke Albert: |
![]() |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):