liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Meta-Languages and Semantics for Equation-Based Modeling and Simulation
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology. (PELAB)
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:liu:diva-58743ISBN: 978-91-7393-335-3OAI: diva2:349315
Public defence
2010-10-01, Visionen, Hus B, Campus Valla, Linköping University, Linköping, 10:15 (English)
Available from: 2010-09-07 Created: 2010-08-25 Last updated: 2014-10-08Bibliographically approved

Open Access in DiVA

Meta-Languages and Semantics for Equation-Based Modeling and Simulation(2013 kB)816 downloads
File information
File name FULLTEXT01.pdfFile size 2013 kBChecksum SHA-512
Type fulltextMimetype application/pdf
Errata(26 kB)81 downloads
File information
File name ERRATA01.pdfFile size 26 kBChecksum SHA-512
Type errataMimetype application/pdf
Cover(289 kB)134 downloads
File information
File name COVER01.pdfFile size 289 kBChecksum SHA-512
Type coverMimetype application/pdf

Other links

Search in DiVA

By author/editor
Broman, David
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 816 downloads
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: 3045 hits
ReferencesLink to record
Permanent link

Direct link