nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

CHRAnimation: An Animation Tool for Constraint Handling Rules

verfasst von : Nada Sharaf, Slim Abdennadher, Thom Frühwirth

Erschienen in: Logic-Based Program Synthesis and Transformation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating CHR programs through animation tools demonstrates the power of the language. Such tools are useful for beginners to the language as well as programmers of sophisticated algorithms. This paper continues upon the efforts made to have a generic visualization platform for CHR using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a CHR program instead of the don’t care nondeterminism used in most CHR implementations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Formal Semantics for the Cognitive Architecture ACT-R

Nächstes Kapitel Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

Nur mit Berechtigung zugänglich

The tracer is able to handle the problem of having multiple Jawaa objects with the same name by removing the old object having the same name before adding the new one. This is possible even if the removed head constraint was not communicated.

Frühwirth, T.: Theory and practice of constraint handling rules, special issue on constraint logic programming. J. Logic Program. 37, 95–138 (1998)CrossRefMATH

Abdennadher, S., Sharaf, N.: Visualization of CHR through source-to-source transformation. In: Dovier, A., Costa, V.S. (eds.) ICLP (Technical Communications). LIPIcs, vol. 17, pp. 109–118. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)

Rodger, S.H.: Introducing computer science through animation and virtual worlds. In: Gersting, J.L., Walker, H.M., Grissom, S. (eds.) SIGCSE, pp. 186–190. ACM (2002)

Duck, G.J., Stuckey, P.J., García de la Banda, M., Holzbaur, C.: The refined operational semantics of constraint handling rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 90–104. Springer, Heidelberg (2004) CrossRef

Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009) CrossRefMATH

Abdennadher, S., Saft, M.: A visualization tool for constraint handling rules. In: Kusalik, A.J. (ed.) WLPE (2001)

Schmauss, M.: An Implementation of CHR in Java, Master Thesis, Institute of Computer Science, LMU, Munich, Germany (1999)

Ismail, A.: Visualization of Grid-based and Fundamental CHR Algorithms, bachelor thesis, the Institute of Software Engineering and Compiler Construction, Ulm University, Germany (2012)

Said, M.A.: Animation of Mathematical and Graph-based Algorithms expressed in CHR, bachelor thesis, the Institute of Software Engineering and Compiler Construction, Ulm University, Germany (2012)

10.

Stasko, J.: Animating algorithms with xtango. SIGACT News 23, 67–71 (1992)CrossRef

11.

Brown, M.H., Sedgewick, R.: A system for algorithm animation. In: Proceedings of the 11th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1984, pp. 177–186. ACM, New York (1984)

12.

Brown, M.: Zeus: a system for algorithm animation and multi-view editing. In: Proceedings of the 1991 IEEE Workshop on Visual Languages, pp. 4–9 (1991)

13.

Baecker, R.M.: Sorting Out Sorting: A Case Study of Software Visualization for Teaching Computer Science, chap. 24, pp. 369–381. MIT Press, Cambridge (1998)

14.

Smolka, G.: The definition of kernel oz. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910. Springer, Heidelberg (1995)

15.

Meier, M.: Debugging constraint programs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976. Springer, Heidelberg (1995)

16.

Frühwirth, T., Holzbaur, C.: Source-to-source transformation for a class of expressive rules. In: Buccafurri, F. (ed.) APPIA-GULP-PRODE, pp. 386–397 (2003)

17.

Kerren, A., Stasko, J.T.: Algorithm animation. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 1–17. Springer, Heidelberg (2002) CrossRef

18.

Sharaf, N., Abdennadher, S., Frühwirth, T. W.: Visualization of Constraint Handling Rules, CoRR, vol. abs/1405.3793 (2014)

19.

Abdennadher, S., Frühwirth, T., Meuss, H.: On confluence of constraint handling rules. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol. 1118. Springer, Heidelberg (1996)

20.

Zaki, A., Frühwirth, T.W., Abdennadher, S.: Towards inverse execution of constraint handling rules. TPLP 13(4-5) (2013) Online-Supplement

21.

Abdennadher, S., Fakhry, G., Sharaf, N.: Implementation of the operational semantics for CHR with user-defined rule priorities. In: Christiansen, H., Sneyers, J. (eds.) Proceedings of the 10th Workshop on Constraint Handling Rules, pp. 1–12, Technical report CW 641, (2013)

22.

Fakhry, G., Sharaf, N., Abdennadher, S.: Towards the implementation of a source-to-source transformation tool for CHR operational semantics. In: Gupta, G., Peña, R. (eds.) LOPSTR 2013, LNCS 8901. LNCS, vol. 8901, pp. 145–163. Springer, Heidelberg (2014) CrossRef

23.

Abdennadher, S., Schütz, H.: CHRv: a flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol. 1495, pp. 1–14. Springer, Heidelberg (1998) CrossRef

24.

Hundhausen, C., Douglas, S., Stasko, J.: A meta-study of algorithm visualization effectiveness. J. Vis. Lang. Comput. 13(3), 259–290 (2002)CrossRef

25.

Bistarelli, S., Frühwirth, T., Marte, M.: Soft constraint propagation and solving in chrs. In: Proceedings of the 2002 ACM Symposium on Applied Computing, pp. 1–5. ACM (2002)

Titel: CHRAnimation: An Animation Tool for Constraint Handling Rules
verfasst von: Nada Sharaf
Slim Abdennadher
Thom Frühwirth
Verlag: Springer International Publishing
Buch: Logic-Based Program Synthesis and Transformation
Print ISBN: 978-3-319-17821-9

Electronic ISBN: 978-3-319-17822-6

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-17822-6_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"