TY - GEN
T1 - JTutor
T2 - 19th International Symposium on Database Programming Languages, co-located with the ACM SIGMOD 2025
AU - Attouche, Lyes
AU - Baazizi, Mohamed Amine
AU - Colazzo, Dario
AU - Ghelli, Giorgio
AU - Imo, Kachimsirikwuo Caleb
AU - Klessinger, Stefan
AU - Sartiani, Carlo
AU - Scherzinger, Stefanie
N1 - Publisher Copyright:
© 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.
PY - 2025/6/22
Y1 - 2025/6/22
N2 - JSON Schema validators are essential tools in the JSON ecosystem. However, today’s validators are primarily designed to be used pro-grammatically. Even web-based tools are not didactic in their feedback regarding the oftentimes subtle interactions between schemas and JSON instances. We present JTutor, a validation framework specifically designed with humans in mind, that lets users explore the mutual dependencies between a schema and a candidate instance in JSON Schema validation: Users explore schemas and candidate instances interactively, by navigating between subschemas and the JSON instance based on a detailed proof tree that is generated by a well-principled and rule-based validator. JTutor comes with a “Smart Format” feature that generates a focused view of the proof tree. “Smart Format” highlights branches that are relevant for understanding why an instance is valid or invalid, while deemphasizing others. This focused view can serve as an explanation of the validation. Although JTutor is designed to be educational, it can also help developers debug schemas. In this paper, we explain the internals of JTutor and demonstrate the tool itself.
AB - JSON Schema validators are essential tools in the JSON ecosystem. However, today’s validators are primarily designed to be used pro-grammatically. Even web-based tools are not didactic in their feedback regarding the oftentimes subtle interactions between schemas and JSON instances. We present JTutor, a validation framework specifically designed with humans in mind, that lets users explore the mutual dependencies between a schema and a candidate instance in JSON Schema validation: Users explore schemas and candidate instances interactively, by navigating between subschemas and the JSON instance based on a detailed proof tree that is generated by a well-principled and rule-based validator. JTutor comes with a “Smart Format” feature that generates a focused view of the proof tree. “Smart Format” highlights branches that are relevant for understanding why an instance is valid or invalid, while deemphasizing others. This focused view can serve as an explanation of the validation. Although JTutor is designed to be educational, it can also help developers debug schemas. In this paper, we explain the internals of JTutor and demonstrate the tool itself.
KW - JSON
KW - JSON Schema
KW - Schema Validation
UR - https://www.scopus.com/pages/publications/105011079821
U2 - 10.1145/3735106.3736532
DO - 10.1145/3735106.3736532
M3 - Conference contribution
AN - SCOPUS:105011079821
T3 - Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025
BT - Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025
PB - Association for Computing Machinery, Inc
Y2 - 22 June 2025 through 27 June 2025
ER -