Conference Paper

The N-Body Problem in LOTOS

Details

Citation

Turner KJ (2001) The N-Body Problem in LOTOS. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy, 10.10.2000. Electronic Notes in Theoretical Computer Science, 43 (May), pp. 113-135. https://doi.org/10.1016/S1571-0661%2804%2980897-1

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.

Journal
Electronic Notes in Theoretical Computer Science: Volume 43, Issue May

StatusPublished
Publication date31/05/2001
Publication date online28/09/2004
URLhttp://hdl.handle.net/1893/611
Related URLshttps://www.cs.kent.ac.uk/people/staff/hb5/Elsewhere/
PublisherElsevier
ISSN1571-0661
ConferenceFM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000
Conference locationPisa, Italy
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science