liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Abstract Syntax Can Make the Definition of Modelica Less Abstract
Linköpings universitet, Institutionen för datavetenskap. (PELAB)
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID-id: 0000-0002-3435-4996
2007 (engelsk)Inngår i: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2007, s. 111-126Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2007. s. 111-126
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-12700ISBN: 978-91-7519-822-4 (tryckt)OAI: oai:DiVA.org:liu-12700DiVA, id: diva2:16879
Konferanse
1st International Workshop on Equation-Based Object-Oriented Languages and Tools
Tilgjengelig fra: 2007-11-16 Laget: 2007-11-16 Sist oppdatert: 2018-01-13
Inngår i avhandling
1. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
Åpne denne publikasjonen i ny fane eller vindu >>Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
2007 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
Abstract [en]

During the last two decades, the interest for computer aided modeling and simulation of complex physical systems has witnessed a significant growth. The recent possibility to create acausal models, using components from different domains (e.g., electrical, mechanical, and hydraulic) enables new opportunities. Modelica is one of the most prominent equation-based object-oriented (EOO) languages that support such capabilities, including the ability to simulate both continuous- and discrete-time models, as well as mixed hybrid models. However, there are still many remaining challenges when it comes to language safety and simulation security. The problem area concerns detecting modeling errors at an early stage, so that faults can be isolated and resolved. Furthermore, to give guarantees for the absence of faults in models, the need for precise language specifications is vital, both regarding type systems and dynamic semantics.

This thesis includes five papers related to these topics. The first paper describes the informal concept of types in the Modelica language, and proposes a new concrete syntax for more precise type definitions. The second paper provides a new approach for detecting over- and under-constrained systems of equations in EOO languages, based on a concept called structural constraint delta. That approach makes use of type checking and a type inference algorithm. The third paper outlines a strategy for using abstract syntax as a middle-way between a formal and informal language specification. The fourth paper suggests and evaluates an approach for secure distributed co-simulation over wide area networks. The final paper outlines a new formal operational semantics for describing physical connections, which is based on the untyped lambda calculus. A kernel language is defined, in which real physical models are constructed and simulated.

sted, utgiver, år, opplag, sider
Institutionen för datavetenskap, 2007. s. 26
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1337
Emneord
Modeling, Simulation, Equation-Based, Object-Oriented, Modelica, Type System, Semantics, Language Safety, Secure Simulation
HSV kategori
Identifikatorer
urn:nbn:se:liu:diva-10134 (URN)978-91-85895-24-3 (ISBN)
Presentation
2007-12-07, Visionen, B, Linköpings universistet, Linköping, 13:15 (engelsk)
Opponent
Veileder
Merknad
Report code: LIU-TEK-LIC-2007:46. On the day of the defence date the status of article IV was: In Progress; The status of article V was: Manuscript.Tilgjengelig fra: 2007-11-16 Laget: 2007-11-16 Sist oppdatert: 2018-01-13

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Link to articleLink to Licentiate Thesis

Personposter BETA

Broman, DavidFritzson, Peter

Søk i DiVA

Av forfatter/redaktør
Broman, DavidFritzson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 176 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf