• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

CHRvis: an animation extension for animating constraint handling rules

Thumbnail
Diss_Nada_Sharaf.pdf (1.966Mb)
Erstveröffentlichung
2019-07-16
Authors
Sharaf, Nada
Referee
Frühwirth, Thom
Abdennadher, Slim
Dissertation


Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Abstract
The work in the thesis presents an animation extension (CHRvis) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It can help identify where a problem is or show how something works. It can even illustrate a relation that was not clear otherwise. CHRvis aims at embedding animation and visualization features into CHR programs. It thus enables users, while executing programs, to have such executions animated. Due to the wide range of algorithms implemented through CHR, an algorithm-based animation was needed. Such animation should show at each step in time the changes to the data structure affected by the algorithm. The work aims at providing the operational semantics for CHRvis. The correctness of CHRvis programs is also discussed. Some applications of the new extension are also introduced. In addition, CHRvis was used to build a visual language for CHR. This eliminates the need of learning any syntax constructs before building CHR programs. CHRvis was also found to be effective in enhancing the learning gain of its users.
Date created
2019
Subject headings
[GND]: Visualisierung | CHR (Programmiersprache) | Produktionsregelsystem
[LCSH]: Visualization | Constraint programming (Computer science) | Visual programming (Computer science) | Algorithms
[Free subject headings]: Rule-based system | Regelbasiertes System
[DDC subject group]: DDC 004 / Data processing & computer science | DDC 620 / Engineering & allied operations
License
Standard
https://oparu.uni-ulm.de/xmlui/license_v3

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-16364

Sharaf, Nada (2019): CHRvis: an animation extension for animating constraint handling rules. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. Dissertation. http://dx.doi.org/10.18725/OPARU-16364
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement