A framework for the development of graphical mathematical software tools for systems modeling

Author

Dolado, J.J.

Author_Institution

Fac. de Inf., Univ. of the Basque Country, San Sebastian, Spain

fYear

1989

fDate

14-17 Nov 1989

Firstpage

872

Abstract

A methodology is proposed for the development of computer-assisted tools for graphical mathematical modeling using a structured procedure. The goal is to define the steps for constructing software for graphical symbol manipulation in mathematical modeling in such a way that every step can be formally supervised. This method has already been applied to the definition of a technique, a mixed form of system dynamics and qualitative simulation, in a way that diminishes to a minimum the knowledge required for computer programming. Several areas of knowledge are involved: system modeling using various modeling techniques; a mathematical theory for testing the correctness of mathematical models; and software engineering and graph grammars which support the steps for constructing the software tool

Keywords

computer graphics; digital simulation; software tools; structured programming; symbol manipulation; user interfaces; graph grammars; graphical mathematical software tools; graphical symbol manipulation; qualitative simulation; software engineering; software tool development frameworks; structured procedure; system dynamics; systems modeling; Computational modeling; Computer simulation; Constraint theory; Difference equations; Dynamic programming; Mathematical model; Software engineering; Software testing; Software tools; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on

Conference_Location

Cambridge, MA

Type

conf

DOI

10.1109/ICSMC.1989.71419

Filename

71419