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
An Interactive Environment for Debugging Declarative Equation-based Languages
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology. (PELAB)ORCID iD: 0000-0002-3435-4996
2001 (English)Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present a general framework for debugging declarative equation based languages. This paper uses certain existing bipartite graph based techniques to derive debugging algorithms for the structural diagnosis of simulation models specified in declarative equation based modeling languages. An efficient way of annotating the underlying equations of a simulation model in order to help the user to take error-fixing decisions is also presented. This also provides means to report the location of the error caught bythe extended static analyzer or by the numeric solver, consistent with the user’s perception of the source code and the simulation model. We also present a unified reasoning process in order to relax over-constrained systems and obtain a consistent simulation model that supports an enhanced user interaction. The interactive debugging environment provides to the user a greater confidence in the correctness of the simulation model and helps them to resolve conflicting situations when multiple elimination choices are possible. A prototype debugger is implemented.

Place, publisher, year, edition, pages
2001.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-110187OAI: oai:DiVA.org:liu-110187DiVA: diva2:743408
Conference
Workshop on User-Interaction in Constraint Satisfaction, Paphos, Cyprus, December 1, 2001
Available from: 2014-09-04 Created: 2014-09-04 Last updated: 2015-05-06Bibliographically approved

Open Access in DiVA

fulltext(100 kB)68 downloads
File information
File name FULLTEXT01.pdfFile size 100 kBChecksum SHA-512
9e7420e65112c8a7a850a489b77a2e5d15c2352b7112d8827c3d25059f323911bf8e5e0cd7396ef8183a531ba2c17fd6ac5b5a34d4f9ce0dbe101918b841093e
Type fulltextMimetype application/pdf

Authority records BETA

Fritzson, Peter

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 68 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

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