Change search
ReferencesLink to record
Permanent link

Direct link
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
, Technical report UCB/EECS, 2012-173
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-164156OAI: diva2:803893

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

Search in DiVA

By author/editor
Broman, David
Computer and Information 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: 16 hits
ReferencesLink to record
Permanent link

Direct link