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

Direct link
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language
Linköping University, Department of Computer and Information Science. (PELAB)
Linköping University, Department of Computer and Information Science. (PELAB)ORCID iD: 0000-0002-3435-4996
2006 (English)Conference paper (Refereed)
Abstract [en]

For a long time, one of the major research goals in the computer science research community has been to raise the level of abstraction power of specification languages/programming languages. Many specification languages and formalisms have been invented, but unfortunately very few of those are practically useful, due to limited computer support of these languages and/or inefficient implementations. Thus, one important goal is executable specification languages of high abstraction power and with high performance, good enough for practical usage and comparable in execution speed to hand implementations of applications in low-level languages such as C or C++. In this paper we briefly describe our work in creating efficient executable specification languages for two application domains. The first area is formal specification of programming language semantics, whereas the second is formal specification of complex systems for which we have developed an object-oriented mathematical modeling language called Modelica, including architectural support for components and connectors. Based on these efforts, we are currently working on a unified equation-based mathematical modeling language that can handle modeling of items as diverse as programming languages, computer algebra, event-driven systems, and continuous-time physical systems. The key unifying feature is the notion of equation. In this paper we describe the design and implementation of the unified language. A compiler implementation is already up and running, and used for substantial applications. This work was supported by the SSF RISE project, the Vinnova SWEBPROD project, and by the CUGS graduate school.

Place, publisher, year, edition, pages
Oxford, England: Springer Verlag , 2006. 211- p.
National Category
Computer Science
URN: urn:nbn:se:liu:diva-35792DOI: 10.1007/11860990_14Local ID: 28592OAI: diva2:256640
Joint Modular Languages Conference 2006.
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2014-10-08

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Pop, Adrian Dan IosifFritzson, Peter
By organisation
Department of Computer and Information Science
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

Altmetric score

Total: 45 hits
ReferencesLink to record
Permanent link

Direct link