From: fraz@vnet.ibm.com (Frazer Middleton)
Newsgroups: comp.specification.z
Subject: Z Animation in Prolog
Date: 5 Jan 93 16:28:30 GMT
X-Mailer: mail-news 2.0.3

Firstly, may I introduce myself to the Z forum....
My name is Frazer Middleton and I am working for IBM UK Research Laboratories,
Hursley Park, Hampshire. As you probably know by now, we are redesigning our
main product (CICS) using Z. However, I am not involved with this area, but I
have a personal interest in Z and use it for my own code. I am also interested
in the animation of Z specs in Prolog. Late last year, I asked one of my
colleagues (Mr John Wordsworth) if he had any information on animating Z specs
using Prolog, and he placed an append on the forum on my behalf, and received
references from many people about the subject, some of whom asked for a precis
to be appended to the net..... here it is!

My thanks go to all who supplied any information on the subject.....

Title  : Software Development: Two approaches to animation of Z specifications
         using Prolog
Authors: Margaret M West, Barry M Eaglestone
Journal: Software Engineering Journal
Pages  : 264 - 276
Date   : July 1992


Title  : The Implementation of Z Specifications using Program Transformation
         Systems: The SuZan Project
Authors: C Rattray, R G Clark (Editors)
Journal: "The Unified Computation Laboratory" IMA Conference Series No35
Pubs.  : Clarendon Press, Oxford
Pages  : 207 - 220
Date   : 1992
ISBN   : 0-19-853684-4


Title  : Using Prolog to Animate Mathematics
Authors: D R Brough (Editor)
Journal: Proceeding of the Association for Logic Programming UK-90 Conference            (Logic Programming)
Pubs.  : Intellect Books
Pages  : 173 - 188
Date   : 1992
ISBN   : 0-7923-1546-4


Title  : Making Discrete Maths Executable on a Computer
Authors: ????
Journal: "The Mathematical Revolution Inspired by Computing" IMA Conference
         Series No30
Pubs.  : Clarendon Press, Oxford
Pages  : 127 - 144
Date   : 1991
ISBN   : 0-19-853658-5


Title  : A guide to using the Mathias Prolog library for Discrete Mathematics
         (Second Edition)
Authors: ????
Journal: University of Surrey Computing Science Technical Report CS-92-01
Date   : September 1992


Title  : Declarative Programming for Mathematical Exploration
(Invited presentation at the IMA conference on Artificial Intelligence in
 Mathematics 3-5 April 1991, University of Strathclyde. Proceedings to appear)


Title  : Animating Set-Theoretic Specifications using Prolog (Collected Papers)
Authors: R.D.Knott, P.J.Krause, P.J.Byers
Journal: Technical Report, Department of Mathematical and Computing Science,
         University of Surrey
Date   : 1989


Title  : Alvey Project SE/090:"Implementation of Z specifications using Program
         Transformation systems" locally known as "SuZan" (Surrey University Z
         ANimator) with D H Pitt;
Date   : 10/86 to 12/89


Title  : Formal Specification of an Access Control System
Authors: Susan Stepney, Stephen P Lord
Journal: Software Practice and Experience
Pages  : 575 - 593
Volume : 17
Number : 9
Date   : September 1987


Title  : Z: An introduction to Formal Methods
Authors: Antoni Diller
Pubs.  : John Wiley
Date   : 1990

--------

That just about sums up the list that I have. Mark Hewitt has also done some
interesting work for his BSc and MSc in this area, and he has a couple of
reports on the subject.I can supply his NetID if anyone is interested.
I also have the names of a few people who are also interested in this area, if
you would like their names or NetIDs, then please don't hesitate to contact me
(Fraz@vnet.ibm.com). Many thanks!
                                                                       -Fraz-
PS Happy New Year!