Change search
ReferencesLink to record
Permanent link

Direct link
Meta-Languages and Semantics for Equation-Based Modeling and Simulation
Linköpings universitet, PELAB - Laboratoriet för programmeringsomgivningar.ORCID iD: 0000-0001-8457-4105
2010 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models.  However, the modeling languages within this category have grown to be large and complex, where the specifications of the language's semantics are informally defined, typically described in natural languages. The lack of a formal semantics makes these languages hard to interpret unambiguously and to reason about. This thesis concerns the problem of designing the semantics of such equation-based modeling languages in a way that allows formal reasoning and increased correctness. The work is presented in two parts.

In the first part we study the state-of-the-art modeling language Modelica.  We analyze the concepts of types in Modelica and conclude that there are two kinds of type concepts: class types and object types. Moreover, a concept called structural constraint delta is proposed, which is used for isolating the faults of an over- or under-determined model.

In the second part, we introduce a new research language called the Modeling Kernel Language (MKL). By introducing the concept of higher-order acausal models (HOAMs), we show that it is possible to create expressive modeling libraries in a manner analogous to Modelica, but using a small and simple language concept. In contrast to the current state-of-the-art modeling languages, the semantics of how to use the models, including meta operations on models, are also specified in MKL libraries. This enables extensible formal executable specifications where important language features are expressed through libraries rather than by adding completely new language constructs. MKL is a statically typed language based on a typed lambda calculus. We define the core of the language formally using operational semantics and prove type safety.  An MKL interpreter is implemented and verified in comparison with a Modelica environment.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press , 2010. , 263 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1333
Keyword [en]
Meta-language, semantics, EOO, Modelica, equations, modeling, simulation, MKL
National Category
Computer Science
URN: urn:nbn:se:kth:diva-163760ISBN: 978-91-7393-335-3OAI: diva2:803886
Public defence
2010-10-01, Visionen, Hus B, Campus Valla, 10:15 (English)

QC 20150616

Available from: 2015-06-16 Created: 2015-04-12 Last updated: 2015-06-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Linköping University

Search in DiVA

By author/editor
Broman, David
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link