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
An Interactive Environment for Debugging Declarative Equation-based Languages
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan. (PELAB)ORCID-id: 0000-0002-3435-4996
2001 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2001.
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-110187OAI: oai:DiVA.org:liu-110187DiVA, id: diva2:743408
Konferanse
Workshop on User-Interaction in Constraint Satisfaction, Paphos, Cyprus, December 1, 2001
Tilgjengelig fra: 2014-09-04 Laget: 2014-09-04 Sist oppdatert: 2015-05-06bibliografisk kontrollert

Open Access i DiVA

fulltext(100 kB)81 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 100 kBChecksum SHA-512
9e7420e65112c8a7a850a489b77a2e5d15c2352b7112d8827c3d25059f323911bf8e5e0cd7396ef8183a531ba2c17fd6ac5b5a34d4f9ce0dbe101918b841093e
Type fulltextMimetype application/pdf

Personposter BETA

Fritzson, Peter

Søk i DiVA

Av forfatter/redaktør
Fritzson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 81 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

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