zbMATH — the first resource for mathematics

Refiner: A problem-solving environment for scientific simulator creation. (English) Zbl 1060.68137
Summary: 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 single-solution strategy.
68U20 Simulation (MSC2010)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Full Text: DOI
[1] Gallopoulos, E., ACM Computing Surveys 27 (2) pp 277– (1995) · doi:10.1145/210376.210396
[2] Houstis, E. N., Enabling technologies for computational science: Frameworks, middleware, and environments (2000) · Zbl 0943.00027 · doi:10.1007/978-1-4615-4541-5
[3] Cook, G. O., Jr., ALPAL, a tool for the development of large-scale simulation codes (1988)
[4] Sharma, N., Proceedings of the 13th Annual ASME International Computers in Engineering Conference
[5] Akers, R., IEEE Computational Science and Engineering 4 pp 32– (1997) · Zbl 05092173 · doi:10.1109/99.615429
[6] Kant, E., Proceeding of the 15th IMACS World Congress on Scientific Computation, Modeling and Applied Mathematics
[7] Palmer, R. S., Proceedings of the Automated Modeling Workshop of the 1992 ASME Winter Annual Meeting pp 67–
[8] Hunt, K., Proceedings of the Fourth Annual Iowa Space Grant Conference pp 183–
[9] Berkooz, G., Generating spectral method solvers for partial differential equations (1992)
[10] Palmer, R. S., Research in Engineering Design 5 (3) (1994)
[11] Barzel, R., Physically-based modeling for computer graphics (1992) · Zbl 0814.68126
[12] Bernardin, L., Proceedings of 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC 99) pp 237–
[13] Mitchell and Gauthier Associates, Advanced continuous simulation language (ACSL) (1975)
[14] Elmqvist, H., Proceedings SIMS’93
[15] Cellier, F. E., Continuous system modeling (1991) · Zbl 0725.93006 · doi:10.1007/978-1-4757-3922-0
[16] Karayanakis, N. M., Advanced system modelling and simulation with block diagram languages (1995) · Zbl 0925.68046
[17] Fourer, R., The AMPL book (1993)
[18] Gay, David M., Hooking your solver to AMPL (1993)
[19] Falkenhainer, B., CML: A compositional modeling language (1994)
[20] Kuipers, B., Artificial Intelligence 29 pp 289– (1986) · Zbl 0624.68098 · doi:10.1016/0004-3702(86)90073-1
[21] Wolfram, S., The Mathematica book, 4. ed. (1999) · Zbl 0924.65002
[22] Heal, K., Maple V learning guide (1998) · Zbl 0891.68051
[23] Jenks, R., Axiom: The scientific computing language (1992) · Zbl 0758.68010
[24] Fateman, R. J., IEEE Transactions on Knowledge and Data Engineering 1 (1) pp 133– (1989) · Zbl 05108676 · doi:10.1109/69.43409
[25] Gries, D., Structured Programming 11 pp 1– (1990)
[26] Wirth, N., Communications of the ACM pp 221– (1971) · Zbl 0214.43005 · doi:10.1145/362575.362577
[27] Fishwick, P., Extending object-oriented design for physical modeling (1996)
[28] Cremer, J., Transactions of the Society for Computer Simulation 14 (1) pp 17– (1997)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.