liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Composition of XML Dialects: A ModelicaXML Case Study
Linköpings universitet, Institutionen för datavetenskap. (PELAB)
Linköpings universitet, Institutionen för datavetenskap. (PELAB)
Linköpings universitet, Institutionen för datavetenskap. (PELAB)
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID-id: 0000-0002-3435-4996
2005 (Engelska)Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 114, nr SPEC. ISS., s. 137-152Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

This paper investigates how software composition and transformation can be applied to domain specific languages used today in modeling and simulation of physical systems. More specifically, we address the composition and transformation of the Modelica language. The composition targets the ModelicaXML dialect which is the XML representation of the Modelica language. By extending the COMPOST concrete composition layer with a component model for Modelica, we provide composition and transformation of Modelica. The design of our COMPOST extension is presented togheter with examples of composition programs for Modelica.

Ort, förlag, år, upplaga, sidor
2005. Vol. 114, nr SPEC. ISS., s. 137-152
Nyckelord [en]
Composition of XML dialects, COMPOST, Domain Specific Languages, Modelica, ModelicaXML, XML
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-45526DOI: 10.1016/j.entcs.2004.02.071OAI: oai:DiVA.org:liu-45526DiVA, id: diva2:266422
Tillgänglig från: 2009-10-11 Skapad: 2009-10-11 Senast uppdaterad: 2017-12-13
Ingår i avhandling
1. Contributions to Meta-Modeling Tools and Methods
Öppna denna publikation i ny flik eller fönster >>Contributions to Meta-Modeling Tools and Methods
2005 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments.

The ultimate goal of our research is the development of a meta-modeling approach and its associated meta-prograrnming methods for the synthesis of model-driven product design environments that support modeling and simulation. Such environments include model-editors, compilers. debuggers and simulators. This thesis presents several contributions towards this vision, in the context of the Modelica framework.

Thus, we have first designed a meta-model for the object-oriented declarative modeling language Modelica, which faci litates the development of tools for analysis. checking, querying, documentation, transformation and management of Modelica models. We have used XML Schema for the representation of the meta-model. namely, ModelicaXML. Next, we have focused on the automatic composition. refactoring and transformation of Modelica models. We have extended the invasive composition environment COMPOST to handle Modelica models described using ModelicaXML.

The Modelica language semantics has already been specified in the Relational Meta-Language (RML). which is an executable meta-programming system based on the Natural Semantics formalism. Using such a meta-programming approach to manipulate ModelicaXML, it is possible to automatically synthesize a Modelica compiler. However. such a task is difficult without the support for debugging. To address this issue we have developed a debugging framework for RML, based on abstract syntax tree instrumentation in the RML compiler and support of efficient tools for complex data structures and proof-trees visualization.

Our contributions have been implemented within OpenModelica, an open-source Modelica framework. The evaluations performed using several case studies show the efficiency of our metamodeling tools and methods.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University, 2005. s. 25
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1162
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
urn:nbn:se:liu:diva-30335 (URN)15872 (Lokalt ID)91-85299-41-3 (ISBN)15872 (Arkivnummer)15872 (OAI)
Presentation
2005-06-03, Alan Turing (fd. Estraden), Hus E, Linköpings universitet, Linköping, 13:15 (Svenska)
Tillgänglig från: 2009-10-09 Skapad: 2009-10-09 Senast uppdaterad: 2018-01-13

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Pop, Adrian Dan IosifSavga, IlieAssmann, UweFritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Pop, Adrian Dan IosifSavga, IlieAssmann, UweFritzson, Peter
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
Electronical Notes in Theoretical Computer Science
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 72 träffar
RefereraExporteraLänk till posten
Permanent länk

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