The N-Body Problem in LOTOS

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

People

Professor KEN Turner

Emeritus Professor, Computing Science