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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Debuging Natural Semantics Specifications
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
2005 (English)In: Proceedings of the sixth international symposium on Automated analysis-driven debugging. AADEBUG'05, New York, NY, USA: ACM , 2005, 77-82 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
New York, NY, USA: ACM , 2005. 77-82 p.
Keyword [en]
debugging, logical functional languages, proof-trees, rule-based
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-30334DOI: 10.1145/1085130.1085140Local ID: 15871ISBN: 1-59593-050-7 (print)OAI: oai:DiVA.org:liu-30334DiVA: diva2:251156
Conference
AADEBUG2005, Sixth International Symposium On Automated And Analysis-Driven Debugging, Monterey, California, September 19-21, 2005
Available from: 2009-10-09 Created: 2009-10-09 Last updated: 2014-10-02
In thesis
1. Contributions to Meta-Modeling Tools and Methods
Open this publication in new window or tab >>Contributions to Meta-Modeling Tools and Methods
2005 (English)Licentiate thesis, comprehensive summary (Other academic)
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.

Place, publisher, year, edition, pages
Linköping: Linköping University, 2005. 25 p.
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1162
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-30335 (URN)15872 (Local ID)91-85299-41-3 (ISBN)15872 (Archive number)15872 (OAI)
Presentation
2005-06-03, Alan Turing (fd. Estraden), Hus E, Linköpings universitet, Linköping, 13:15 (Swedish)
Available from: 2009-10-09 Created: 2009-10-09 Last updated: 2013-11-06

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Pop, AdrianFritzson, Peter

Search in DiVA

By author/editor
Pop, AdrianFritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 62 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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