|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Unrefereed|
|Authors:||Turner, Kenneth J|
|Title:||The N-Body Problem in LOTOS|
|Citation:||Turner KJ (2001) The N-Body Problem in LOTOS, Electronic Notes in Theoretical Computer Science, 43, FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, pp. 113-135.|
|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.|
|Rights:||Published by Elsevier|
|Affiliation:||Computing Science - CSM Dept|
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 email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.