Formalizing the semantics of ASCEND

Author

Bhargava, Hemant K. ; Krishnan, Ramayya ; Piela, Peter

Author_Institution

Naval Postgraduate Sch., Monterey, CA, USA

Volume

3

fYear

1994

fDate

4-7 Jan. 1994

Firstpage

505

Lastpage

516

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/HICSS.1994.323312

Filename

323312