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
Contributions to Meta-Modeling Tools and Methods
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
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: urn:nbn:se:liu:diva-30335Lokalt ID: 15872ISBN: 91-85299-41-3 (tryckt)OAI: oai:DiVA.org:liu-30335DiVA, id: diva2:251157
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
Delarbeten
1. ModelicaXML: A Modelica XML Representation with Applications
Öppna denna publikation i ny flik eller fönster >>ModelicaXML: A Modelica XML Representation with Applications
2003 (Engelska)Ingår i: Proceedings of the 3rd International Modelica Conference (Modelica 2003) / [ed] Peter Fritzson, 2003, s. 419-430Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Abstract [en]

This paper presents the Modelica XML representation with some applications. ModelicaXML provides an Extensible Markup Language (XML) alternative representation of Modelica source code. The language was designed as a standard format for storage, analysis and exchange of models. ModelicaXML represents the structure of the Modelica language as XML trees, similar to Abstract Syntax Trees (AST) generated by a compiler when parsing Modelica source code. The ModelicaXML (DTD/XML-Schema) grammar that validates ModelicaXML documents is introduced. We reflect on the software-engineering analyses one can perform over ModelicaXML documents using standard and general XML tools and techniques. Furthermore we investigate how we can use more powerful markup languages, like the Resource Description Framework (RDF) and the Web Ontology Language (OWL), to express some of the Modelica language semantics.

Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
urn:nbn:se:liu:diva-30333 (URN)15870 (Lokalt ID)15870 (Arkivnummer)15870 (OAI)
Konferens
3rd International Modelica Conference (Modelica 2003), November 3-4, 2003, Linköping, Sweden
Tillgänglig från: 2009-10-09 Skapad: 2009-10-09 Senast uppdaterad: 2018-01-13
2. Composition of XML Dialects: A ModelicaXML Case Study
Öppna denna publikation i ny flik eller fönster >>Composition of XML Dialects: A ModelicaXML Case Study
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.

Nyckelord
Composition of XML dialects, COMPOST, Domain Specific Languages, Modelica, ModelicaXML, XML
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
urn:nbn:se:liu:diva-45526 (URN)10.1016/j.entcs.2004.02.071 (DOI)
Tillgänglig från: 2009-10-11 Skapad: 2009-10-11 Senast uppdaterad: 2017-12-13
3. An integrated framework for model-driven design and development using Modelica
Öppna denna publikation i ny flik eller fönster >>An integrated framework for model-driven design and development using Modelica
2004 (Engelska)Ingår i: Proceedings of SIMS 2004 the 45th International Conference of Scandinavian Simulation Society / [ed] Brian Elmegaard, Jon Sporring, Kenny Erleben, Kim Sørensen, 2004, s. 405-412Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

This paper presents recent work in the area of model-driven product development processes. The focus is on the integration of product design tools with modeling and simulation tools. The goal is to provide automatic generation of models from product specifications using a highly integrated set of tools. Also, we provide the designer with the possibility of selecting the best design choice, verified through (automatic) simulation of different implementation alternatives of the same product model. To have a flexible interaction among various tools of the framework an XML representation of the Modelica modeling language called ModelicaXML is used. For efficient search in a large base of simulation models the Modelica Database was designed.

Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
urn:nbn:se:liu:diva-22648 (URN)1934 (Lokalt ID)87-7475-316-9 (ISBN)1934 (Arkivnummer)1934 (OAI)
Konferens
SIMS 2004, the 45th International Conference of Scandinavian Simulation Society Copenhagen, Denmark. September 23–24, 2004
Tillgänglig från: 2009-10-07 Skapad: 2009-10-07 Senast uppdaterad: 2018-01-13
4. The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems
Öppna denna publikation i ny flik eller fönster >>The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems
2004 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

This paper presents the Modelica Standard Library, an ontology used in modeling and simulation of physical systems. The Modelica Standard Library is continuously developed in the Modelica community. We present parts of the Modelica Standard Library and show an example of its usage. Also, in this paper we focus on the comparison of Modelica, the language used to specify the Modelica Standard Library with other ontology languages developed in the Semantic Web community.

Serie
Internal Report
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
urn:nbn:se:liu:diva-100402 (URN)
Tillgänglig från: 2013-11-06 Skapad: 2013-11-06 Senast uppdaterad: 2014-10-08
5. Debuging Natural Semantics Specifications
Öppna denna publikation i ny flik eller fönster >>Debuging Natural Semantics Specifications
2005 (Engelska)Ingår i: Proceedings of the sixth international symposium on Automated analysis-driven debugging. AADEBUG'05, New York, NY, USA: ACM , 2005, s. 77-82Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML.

Ort, förlag, år, upplaga, sidor
New York, NY, USA: ACM, 2005
Nyckelord
debugging, logical functional languages, proof-trees, rule-based
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
urn:nbn:se:liu:diva-30334 (URN)10.1145/1085130.1085140 (DOI)15871 (Lokalt ID)1-59593-050-7 (ISBN)15871 (Arkivnummer)15871 (OAI)
Konferens
AADEBUG2005, Sixth International Symposium On Automated And Analysis-Driven Debugging, Monterey, California, September 19-21, 2005
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

http://www.ida.liu.se/~adrpo/lic/adrpo-LicentiateThesis-Bookmarks.pdf

Personposter BETA

Pop, Adrian

Sök vidare i DiVA

Av författaren/redaktören
Pop, Adrian
Av organisationen
PELAB - Laboratoriet för programmeringsomgivningarTekniska högskolan
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 89 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