Abstract
The use of strong typing, exemplified in the Ascend modeling language, is a recent phenomenon in executable modeling languages for mathematical modeling. It is also one that has significant potential for improving the functionality of computer-based modeling environments. Besides being a strongly typed language, Ascend is unique in providing operators that allow dynamic type inference, a feature that has been shown to be useful in assisting model evolution and reuse. We develop formal semantics for the type system in Ascend—focusing on these operators—and analyze its mathematical and computational properties. We show that despite the strong interactions between various statements involving the operators, the language does possess certain desirable mathematical and computational properties. Further, our analysis identifies general issues in the design and implementation of type systems in mathematical modeling languages. The methods used in the article are applicable beyond Ascend to a class of typed modeling languages that may be developed in the future.
Keywords
Computer scienceProgramming languageExecutableModeling languageSemantics (computer science)Formal languageOperational semanticsTheoretical computer science
Affiliated Institutions
Related Publications
Chemical Markup, XML, and the World Wide Web. 6. CMLReact, an XML Vocabulary for Chemical Reactions
A set of components (CMLReact) for managing chemical and biochemical reactions has been added to CML. These can be combined to support most of the strategies for the formal repr...
Structure and Interpretation of Computer Programs
"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all studen...
Development of chemical markup language (CML) as a system for handling complex chemical content
We report the first fully operational system for managing complex chemical content entirely in interoperating XML-based markup languages. This involves the application of versio...
Towards Learning Terminological Concept Systems from Multilingual Natural Language Text
Terminological Concept Systems (TCS) provide a means of organizing, structuring and representing domain-specific multilingual information and are important to ensure terminologi...
Petri nets: Properties, analysis and applications
Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and st...
Publication Info
- Year
- 1998
- Type
- article
- Volume
- 10
- Issue
- 2
- Pages
- 189-208
- Citations
- 6
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
6
OpenAlex
Cite This
Hemant K. Bhargava,
Ramayya Krishnan,
Peter Piela
(1998).
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend.
INFORMS journal on computing
, 10
(2)
, 189-208.
https://doi.org/10.1287/ijoc.10.2.189
Identifiers
- DOI
- 10.1287/ijoc.10.2.189