Types in the Modelica Language
2006 (English)In: Proceedings of the Fifth International Modelica Conference, 2006, 303-315 p.Conference paper (Refereed)
Modelica is an object-oriented language designed for modeling and simulation of complex physical systems. To enable the possibility for an engineer to discover errors in a model, languages and compilers are making use of the concept of types and type checking. This paper gives an overview of the concept of types in the context of the Modelica language. Furthermore, a new concrete syntax for describing Modelica types is given as a starting point to formalize types in Modelica. Finally, it is concluded that the current state of the Modelica language specification is too informal and should in the long term be augmented by a formal definition.
Place, publisher, year, edition, pages
2006. 303-315 p.
type system; types; Modelica; simulation; modeling; type safety
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-163769OAI: oai:DiVA.org:kth-163769DiVA: diva2:803880
Modelica Conference, Vienna 2006
QC 201504152007-11-162015-04-122015-04-15Bibliographically approved