STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/611| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Peer Review Status: | Unrefereed |
| Author(s): | Turner, Kenneth J |
| Contact Email: | kjt@cs.stir.ac.uk |
| Title: | 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 |
| Issue Date: | May-2001 |
| Date Deposited: | 14-Dec-2008 |
| Conference Name: | FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000 |
| Conference Dates: | 2000-10-10 |
| Conference Location: | Pisa, Italy |
| 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. |
| Status: | VoR - Version of Record |
| Rights: | Copyright 2001. Published by Elsevier Science B. V. Open access under CC BY-NC-ND license |
| Licence URL(s): | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 1-s2.0-S1571066104808971-main.pdf | Fulltext - Published Version | 141.39 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
A file in this item is licensed under a Creative Commons License
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.