Skip to content

atilante/JAAL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

JAAL - JSON-based Algorithm Animation Language

Introduction

What | The JSON-based Algorithm Animation Language (JAAL) is a data format for representing students' solutions to algorithm visualization exercises. In practice, it has been designed to record students' answers to interactive exercises made with the JSAV framework that are included in OpenDSA electronic textbook . JAAL has a formal specification in JSON Schema.

Why | JAAL is intended to support learning analytics for algorithm visualization.

Algorithm visualization (or visual algorithm simulation) exercises are computerized exercises to teach data structures and algorithms at university-level computing education. An algorithm visualization exercise displays the student a data structure, like an array containing integers. The student interacts with the visualization by changing the state of the data structure, e.g. clicking array elements to swap their values. This way the student simulates the steps of an algorithm, e.g. insertion sort.

Learning analytics means collecting data on students' actions in an electronic learning environment for students and instructors to understand learning. JAAL has two use cases. First, after a student has attempted to solve an algorithm visualization exercise, they could compare their solution steps to the model answer to verify in which steps they succeeded. Second, a course instructor or a researcher may study students' incorrect solutions to an exercise to understand the mistakes that students often make. This analysis supports improving the learning material and finding misconceptions related to a particular topic.

A formal specification of JSON Schema has several benefits. The software developer of an algorithm visualization exercise recorder can rely on a clearly defined specification on how to represent certain data structures and events. Thus, the specification facilitates adding recording support for many different kinds of algorithm visualization exercises. Correspondingly, the software developer of an algorithm visualization exercise player can refer to the specification for reading JAAL data; this is very explicit compared to a situation of having just a reference program code for writing the data. Similarly, the specification helps a researcher who writes their own software to analyze a large quantity of students' solutions. Finally, data following a JSON Schema can be automatically validated to support data exchange between different software systems.

For more information, see the section Scientific literature.

This git repository

This repository contains technical documentation, specification and examples for JAAL. See the section Software for software which reads and writes JAAL.

Features

  • Specification in JSON Schema
  • Semantic data
    • Data structures: arrays (1D, 2D), lists, trees, graphs
    • Exercise instance (input to algorithm to be simulated)
    • Student's solution and Model solution events
      • click a data structure
      • undo
      • event timing
  • Graphical data
    • Embedded SVG images: exercise instance, student's solution steps, model solution steps
  • Extendable
  • Flexible
    • Custom fields can be added (e.g. priority queue operations)
    • Recursive nesting of data structures
    • Format design is independent of JSAV

Overview of schema

This section gives an overview of JAAL 2.0 JSON Schema structure along with basic design principles of JAAL. The text aims to be understandable without an extensive understanding of JSON Schema.

SVG image of schema

The figure above is a top-level map of JAAL 2.0 JSON Schema. Each yellow box with titles such as initialState, animation, e.g. are subschemas. The box with title JAAL is the top level schema. Each subschema has properties (key-value pairs). The JAAL schema has the property metadata which has a JSON Schema reference to subschema metadata. In other words, it means that a JSON object of type JAAL has a key metadata whose value is a JSON object of type metadata.

The subschema metadata itself has properties such as jaalVersion and browser. These may be numbers or string values. The exercise property of the metadata subschema is a dictionary itself with keys name, collection, and runningLocation. This is called a nested property in JSON Schema.

The initialState subschema contains data structures represented in algorithm visualization exercises. A detail omitted in the figure above is that the only property of initialState, dataStructures, is actually a list of data structures. Each data structure must have the format of one of the subschemas node, graph, or matrix.

The animation property of JAAL schema is a list of event-type objects. The event subschema represents student's actions: clicking an object in a visualized data structure, or clicking an Undo button in an exercise GUI. The property object describes which part of the visualization was related to the event; it is one of the data structure schemas node, edge, graph, keyvalue, or matrix.

Note that the arrow line from the object property of event is dashed. This means it is a JAAL id reference. Each JAAL data structure schema has an id property which is a string. The value of the object property is the same as the id property of an instance of node, edge, graph, keyvalue, or matrix. This way the instances of subschemas can refer to each other without having to nest them, as this would produce redundant data. Thus, a JAAL initialState property contains data structures, but a JAAL animation events refer to the data structures in the aforementioned initialState.

The JAAL 2.0 JSON Schema has five data structure schemas. The most atomic data structure subschema is node which may either a graph node or a cell in an array or matrix. Subschema matrix represents both one- and two-dimensional arrays.

The subschema graph represents all kinds of linked, expandable data structures: lists, trees, and graphs. Each graph contains a set of nodes and a set of edges. Each edge is a pair of nodes. Because directed graphs may have some bidirectional edges, it is conventional to define separately the set of nodes and then refer to them by their id properties in edges; this is why the node property of the edge subschema is a JAAL ID reference and not a JSON Schema reference.

Data Examples

See the subdirectory spec/test/valid/ for examples of data for each JAAL subschema, and for combinations of subschemas. The examples contain different data structures typically occurring in algorithm visualization, for example:

See examples/README.md for a real example on JAAL data recorded from a JSAV exercise using JSAV Exercise Recorder.

Specification

The current version for JAAL is 2.0.

JAAL 2.0 has a formal specification in JSON Schema. The JSON Schema for JAAL is in the subdirectory spec. See the README there.

JAAL 1.0 has no formal specification; it is implicitly specified by its model implementation.

Demonstrations

JAAL 2.0 can be tested with the testbench of JSAV Exercise Recorder.

A demo of JAAL 1.0 features the following exercises: Insertion Sort, Heap Build, Dijkstra's algorithm, Evaluating Postfix Expression, and search in a Binary Search Tree.

Software {#software}

JAAL 2.0

JAAL 1.0

Scientific literature {#references}

Algorithm visualization

The following publication is comprehensive literature review on the topic.

  • Clifford A. Shaffer, Matthew L. Cooper, Alexander Joel D. Alon, Monika Akbar, Michael Stewart, Sean Ponce, and Stephen H. Edwards. 2010. Algorithm Visualization: The State of the Field. ACM Trans. Comput. Educ. 10, 3, Article 9 (August 2010), 22 pages. https://doi.org/10.1145/1821996.1821997

JSAV and OpenDSA

JSAV is a JavaScript library to create algorithm visualization exercises. OpenDSA is an open source interactive textbook for data structures and algorithms which has a large collection of exercises made with JSAV.

  • Ville Karavirta and Clifford. A. Shaffer. 2016. Creating Engaging Online Learning Material with the JSAV JavaScript Algorithm Visualization Library. In IEEE Transactions on Learning Technologies, vol. 9, no. 2, pp. 171-183, 1 April-June 2016. https://doi.org/10.1109/TLT.2015.2490673

  • Ville Karavirta and Clifford A. Shaffer. 2013. JSAV: the JavaScript algorithm visualization library. In Proceedings of the 18th ACM conference on Innovation and technology in computer science education (ITiCSE '13). Association for Computing Machinery, New York, NY, USA, 159–164. https://doi.org/10.1145/2462476.2462487

  • Eric Fouh, Ville Karavirta, Daniel A. Breakiron, Sally Hamouda, Simin Hall, Thomas L. Naps, Clifford A. Shaffer. 2014. Design and architecture of an interactive eTextbook – The OpenDSA system. Science of Computer Programming, Volume 88, 2014, Pages 22-40, ISSN 0167-6423. https://doi.org/10.1016/j.scico.2013.11.040

Students' errors in algorithm visualization {#misconceptions}

These publications apply learning analytics to algorithm visualization exercises to find misconceptions. The older publication used the Matrix algorithm simulation software, while the newer is a replication study with JSAV.

Otto Seppälä, Lauri Malmi, and Ari Korhonen. 2006. Observations on student misconceptions—A case study of the Build – Heap Algorithm. Computer Science Education, 16:3, 241-255. https://doi.org/10.1080/08993400600913523

Ville Karavirta, Ari Korhonen, and Otto Seppälä. 2013. Misconceptions in Visual Algorithm Simulation Revisited: On UI's Effect on Student Performance, Attitudes and Misconceptions. 2013 Learning and Teaching in Computing and Engineering, Macau, Macao, 2013, pp. 62-69, https://doi.org/10.1109/LaTiCE.2013.35

The design and purpose of JAAL

To read more about the design and purpose of JAAL, see the following publication.

  • Artturi Tilanterä, Giacomo Mariani, Ari Korhonen, Otto Seppälä. 2021. Towards a JSON-based Algorithm Animation Language. 2021 Working Conference on Software Visualization (VISSOFT), Luxembourg, 2021, pp. 135-139. https://doi.org/10.1109/VISSOFT52517.2021.00026

The first prototype of JAAL was originally developed as a master's thesis at Aalto University.

About

JSON-based Algorithm Animation Language

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published