Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)
PDF
Language: English |
||
Download (693kB)
Preview
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
Postscript
Language: English |
||
Download (395kB)
Preview
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
Official URL http://dx.doi.org/10.1016/S0167-6423(99)00006-4 |
Abstract
Partial specification is a method of specifying complex systems in which the system is described by a collection of specifications, each approaching the system from a different viewpoint. The specification notation Z is often advocated as a suitable language for this style of specification. For collections of partial specifications to be meaningful, they need to be consistent, i.e. they should not impose contradictory requirements. This paper addresses how the consistency between partial specifications in Z can be checked, by constructing unifications, i.e. least common refinements, of viewpoint specifications.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1016/S0167-6423(99)00006-4 |
Additional information: | This paper is a significantly extended and slightly improved version of "Consistency and refinement for partial specification in Z" which was presented at FME'96. It has been accepted for publication in Science of Computer Programming. |
Uncontrolled keywords: | viewpoints; refinement; Z; partial specification; consistency |
Subjects: |
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Faculties > Sciences > School of Computing |
Depositing User: | Eerke Boiten |
Date Deposited: | 11 Jul 2009 09:19 UTC |
Last Modified: | 09 Feb 2020 04:02 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/17100 (The current URI for this page, for reference purposes) |
Boiten, Eerke Albert: | ![]() |
Bowman, Howard: | ![]() |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):