Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages
University of California, Berkeley, USA.ORCID iD: 0000-0001-8457-4105
University of Colorado at Boulder, USA.
2012 (English)Report (Other academic)
Abstract [en]

Equation-based modeling languages provide an effective means to simulate the physical part of a cyber-physical system. Such languages are complex domain-specific languages that enable model engineers, such as mechanical engineers, to declaratively model the dynamics of systems. However, these modeling languages do not support all modeling needs, which has lead to frequent revisions of state-of-the-art languages. In this article we explore a solution to this extensibility problem based on domain-specific embedded languages. We introduce a host language, named Modelyze, in which modeling languages may be easily embedded. The key features of Modelyze are first-class functions, which provide a mechanism to abstract components of a model, and symbolic expressions, to represent and manipulate equations. The type system for symbolic expressions supports model-level static error checking and provides an automatic lifting translation to provide seamless integration between the host language and the equations represented by symbolic expressions. The type system is based on gradual typing, enabling early static checking for model engineers while providing expressiveness for domain experts. We evaluate this approach by embedding a series of equation-based modeling languages in Modelyze and using them to develop models.

Place, publisher, year, edition, pages
2012.
Series
Technical report UCB/EECS, 2012-173
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-164156OAI: oai:DiVA.org:kth-164156DiVA: diva2:803893
Note

QC 20150415

Available from: 2015-04-14 Created: 2015-04-14 Last updated: 2015-04-15Bibliographically approved

Open Access in DiVA

No full text

Other links

UC Berkeley, EECS Technical Report

Authority records BETA

Broman, David

Search in DiVA

By author/editor
Broman, David
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf