Refiner: A Problem-Solving Environment For Scientific Simulator Creation  

Oleh:

Hunt, Kenny ; Cremer, James

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: Simulation vol. 78 no. 11 (Nov. 2002), page 655-680.
Topik: Code generation; formal specification; program refinement; program transformation; PSE; scientific simulation
Fulltext: 655.pdf (303.79KB)

Isi artikel

The science and engineering disciplines rely heavily on computer simulation as a tool for solving large, complex mathematical problems. The difficulty of creating scientific simulation code presents the need for a programming environment that is able to assist the programmer in the code development process. This paper describes a development methodology and a prototype implementation of a system that provides such assistance. Refiner, a programming environment for creating scientific simulators, provides expert users with online support for the entire development process, from mathematical modeling to low-level implementation details. Refiner is based on Posit, a high-level object-oriented modeling and programming language. Mathematical models are specified, and executable programs are then developed through the successive application of semantics-preserving program transformations. Code development is recorded in the form of a refinement tree structure where each path from root to leaf encodes a series of program transformations representing a singlesolution strategy.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali