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
Abstract Syntax Can Make the Definition of Modelica Less Abstract
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0001-8457-4105
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0002-3435-4996
2007 (English)In: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2007, 111-126 p.Conference paper, Published paper (Refereed)
Abstract [en]

Modelica is an open standardized language used for modeling and simulation of complex physical systems. The language specification defines a formal concrete syntax, but the semantics is informally described using natural language. The latter makes the language hard to interpret, maintain and reason about, which affect both tool development and language evolution. Even if a completely formal semantics of the Modelica language can be seen as a natural goal, it is a well-known fact that defining understandable and concise formal semantics specifications for large and complex languages is a very hard problem. In this paper, we will discuss different aspects of formulating a Modelica specification; both in terms of what should be specified and how it can be done. Moreover, we will further argue that a “middle-way” strategy can make the specification both clearer and easier to reason about. A proposal is outlined, where the current informally specified semantics is complemented with several grammars, specifying intermediate representations of abstract syntax. We believe that this kind of evolutionary strategy is easier to gain acceptance for, and is more realistic in the short-term, than a revolutionary approach of using a fully formal semantics definition of the language.

Place, publisher, year, edition, pages
2007. 111-126 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-163764ISBN: 978-91-7519-822-4 (print)OAI: oai:DiVA.org:kth-163764DiVA: diva2:803881
Conference
1st International Workshop on Equation-Based Object-Oriented Languages and Tools
Note

QC 20150415

Available from: 2007-11-16 Created: 2015-04-12 Last updated: 2015-04-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Link to articleLink to Licentiate Thesis

Authority records BETA

Broman, DavidFritzson, Peter

Search in DiVA

By author/editor
Broman, DavidFritzson, Peter
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 19 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