Conference Paper (published)
Details
Citation
Turner KJ (2001) The N-Body Problem in LOTOS. In: volume 43. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy, 10.10.2000. Elsevier, 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
Status | Published |
---|---|
Publication date | 31/05/2001 |
Publication date online | 28/09/2004 |
URL | http://hdl.handle.net/1893/611 |
Related URLs | https://www.cs.kent.ac.uk/people/staff/hb5/Elsewhere/ |
Publisher | Elsevier |
ISSN | 1571-0661 |
Conference | FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000 |
Conference location | Pisa, Italy |
Dates |
People (1)
Emeritus Professor, Computing Science