Formal basis for the refinement of rule based transition systems.

Clark, Tony (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2). pp. 329-354. ISSN 0956-7968

Full text is not in this repository.

Official URL: http://ezproxy.mdx.ac.uk/login?url=http://journals...

This item is available in the Library Catalogue

Abstract

This paper makes a contribution to the refinement of systems which involve search by proposing a simple non-deterministic model for rule based transition systems and using this to define a meaning for rule based refinement which allows each stage of the software development path to be verified with respect to the previous stage. The proposal allows a system which involves search to be specified in terms of all the possible outcomes. Each stage of refinement will introduce complexity to the rules and therefore develop the search space in ever more sophisticated ways. At each stage of the refinement it will be possible to be precise about which collections of outcomes have been deleted, thereby achieving a verified (prototype) implementation.

Item Type:Article
Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Computer Science
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
ID Code:6357
Useful Links:
Deposited On:05 Aug 2010 07:15
Last Modified:10 Dec 2014 20:25

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year