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 | |
| Related URLs | |
| 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