M ATHEMATICAL models are an important foundation
for the practice of science and engineering. Much effort
is spent on model creation, design, analysis, simulation, and
verification. This part of professional practice sets the content
of much of the educational material taught engineers and
scientists. High-level mathematical programming languages
(HLMPL’s) are heavily used in this activity by many professionals.
They make possible the performing of important
aspects of model creation, design, analysis, simulation, and
verification-and also the reporting of such activity-in a
highly efficient manner. Indeed, one may argue that model
and simulation are becoming synonymous [I].