Formalizing the semantics of ASCEND

ASCEND is a declarative and strongly-typed executable equational modeling language. Originally developed to support engineering design, it has since been applied in various other domains. ASCEND is distinctive in its use of strong typing for integrating data and algebraic modeling, and in providing model structuring operators which facilitate model reuse. In this paper, we develop a declarative semantics for the type system in ASCEND. Our purpose is to clarify the meaning of ASCEND constructs (thereby also explaining the operational semantics embodied in the ASCEND compiler), and to enable a systematic and principled investigation of modifications to the language. Our approach is based on formal logic, in particular, the embedded languages technique.<<ETX>>

[1]  A. Hindmarsh.  LSODE and LSODI, two new initial value ordinary differential equation solvers , 1980, SGNM.

[2]  Arthur M. Geoffrion,et al.  The SML Language for Structured Modeling: Levels 1 and 2 , 1992, Oper. Res..

[3]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[4]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[5]  Waleed A. Muhanna,et al.  On the organization of large shared Model bases , 1992, Ann. Oper. Res..

[6]  Ramayya Krishnan,et al.  Reusing Mathematical Models in ASCEND , 1993 .

[7]  Arthur M. Geoffrion.  Reusing structured models via model integration , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[8]  Joobin Choobineh.  SQLMP: A Data Sublanguage for Representation and Formulation of Linear Mathematical Models , 1991, INFORMS J. Comput..

[9]  Jeffrey E. Kottemann,et al.  Model integration and a theory of models , 1993, Decis. Support Syst..

[10]  Christopher V. Jones,et al.  An Introduction to Graph-Based Modeling Systems, Part I: Overview , 1990, INFORMS J. Comput..

[11]  Arthur M. Geoffrion,et al.  FW/SM: A Prototype Structured Modeling Environment , 1991 .

[12]  Christopher V. Jones.  An Introduction to Graph-Based Modeling Systems, Part II: Graph-Grammars and the Implementation , 1991, INFORMS J. Comput..

[13]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[14]  Peter Piela.  Ascend: an object-oriented computer environment for modeling and analysis , 1989 .

[15]  Arthur M. Geoffrion,et al.  Semantic formalization in mathematical modeling languages , 1990 .

[16]  Arthur M. Geoffrion,et al.  The SML Language for Structured Modeling: Levels 3 and 4 , 1992, Oper. Res..

[17]  Hemant K. Bhargava,et al.  On Embedded Languages, Meta-Level Reasoning, and Computer-Aided Modeling , 1995 .

[18]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[19]  Arthur W. Westerberg,et al.  An introduction to ASCEND: its language and interactive environment , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[20]  Paul Pinsky.  MATHEMATICAL PROGRAMMING LANGUAGE. , 1967 .

[21]  Ramayya Krishnan.  A logic modeling language for automated model construction , 1990, Decis. Support Syst..

[22]  Ivan E. Sutherland,et al.  Sketchpad: a man-machine graphical communication system , 1899, AFIPS '63 (Spring).

[23]  Peter Jackson,et al.  Logic-based knowledge representation , 1989 .

[24]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[25]  Peter Piela,et al.  Integrating the user into research on engineering design systems , 1992 .

[26]  Brian W. Kernighan,et al.  AMPL: a mathematical programming language , 1989 .