Conference
JTutor: JSON Schema Validation Explained
| Τίτλος: | JTutor: JSON Schema Validation Explained |
|---|---|
| Συγγραφείς: | Attouche L., Baazizi M. -A., Colazzo D., Ghelli G., Imo K. C., Klessinger S., Sartiani C., Scherzinger S. |
| Συνεισφορές: | Attouche, L., Baazizi, M. -A., Colazzo, D., Ghelli, G., Imo, K. C., Klessinger, S., Sartiani, C., Scherzinger, S. |
| Στοιχεία εκδότη: | ACM USA |
| Έτος έκδοσης: | 2025 |
| Συλλογή: | Università degli Studi della Basilicata: CINECA IRIS |
| Θεματικοί όροι: | JSON JSON Schema Schema Validation |
| Περιγραφή: | 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. |
| Τύπος εγγράφου: | conference object |
| Γλώσσα: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-1919-6; ispartofbook:Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025; 19th International Symposium on Database Programming Languages, co-located with the ACM SIGMOD 2025; firstpage:1; lastpage:6; https://hdl.handle.net/11563/201596 |
| DOI: | 10.1145/3735106.3736532 |
| Διαθεσιμότητα: | https://hdl.handle.net/11563/201596 https://doi.org/10.1145/3735106.3736532 |
| Rights: | info:eu-repo/semantics/restrictedAccess ; license:Versione editoriale ; license uri:publisher |
| Αριθμός Καταχώρησης: | edsbas.3B2B02F3 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!