Title :
Formalizing the semantics of ASCEND
Author :
Bhargava, Hemant K. ; Krishnan, Ramayya ; Piela, Peter
Author_Institution :
Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
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.<>
Keywords :
formal logic; formal specification; modelling; object-oriented languages; real-time systems; simulation languages; type theory; ASCEND; algebraic modeling; compiler; data modeling; declarative language; declarative semantics; embedded languages technique; engineering design; equational modeling language; formal logic; language modifications; model reuse; model structuring operators; object oriented language; operational semantics; strongly-typed executable language;
Conference_Titel :
System Sciences, 1994. Proceedings of the Twenty-Seventh Hawaii International Conference on
Conference_Location :
Wailea, HI, USA
Print_ISBN :
0-8186-5090-7
DOI :
10.1109/HICSS.1994.323312
