Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/611
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Unrefereed
Authors: Turner, Kenneth J
Contact Email: kjt@cs.stir.ac.uk
Title: The N-Body Problem in LOTOS
Editors: Bowman, Howard
Citation: Turner KJ (2001) The N-Body Problem in LOTOS In: Bowman Howard (ed.), Elsevier Science. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Electronic Notes in Theoretical Computer Science, 43, pp. 113-135.
Issue Date: May-2001
Conference Name: FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000
Abstract: It is shown how the classical n-body problem in mechanics can be generalised and formalised in LOTOS. A number of variants are produced by instantiation of the specification framework. These include Newton’s cradle, gas motion, the ‘game of life’, an orrery, a space game, an air traffic simulation and a sailing race. It is shown how these are derived from the generic framework using a configuration tool. The resulting LOTOS specifications are simulated automatically to graphically animate the system behaviour.
Type: Conference Paper
Status: Pre-print (pre-refereeing)
Rights: Published by Elsevier
URI: http://hdl.handle.net/1893/611
Affiliation: Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
nbody-lot.pdf104.74 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.