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 |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://hdl.handle.net/11563/201596# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.3B2B02F3 RelevancyScore: 915 AccessLevel: 3 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 914.935607910156 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: JTutor: JSON Schema Validation Explained – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Attouche+L%2E%22">Attouche L.</searchLink><br /><searchLink fieldCode="AR" term="%22Baazizi+M%2E+-A%2E%22">Baazizi M. -A.</searchLink><br /><searchLink fieldCode="AR" term="%22Colazzo+D%2E%22">Colazzo D.</searchLink><br /><searchLink fieldCode="AR" term="%22Ghelli+G%2E%22">Ghelli G.</searchLink><br /><searchLink fieldCode="AR" term="%22Imo+K%2E+C%2E%22">Imo K. C.</searchLink><br /><searchLink fieldCode="AR" term="%22Klessinger+S%2E%22">Klessinger S.</searchLink><br /><searchLink fieldCode="AR" term="%22Sartiani+C%2E%22">Sartiani C.</searchLink><br /><searchLink fieldCode="AR" term="%22Scherzinger+S%2E%22">Scherzinger S.</searchLink> – Name: Author Label: Contributors Group: Au Data: Attouche, L.<br />Baazizi, M. -A.<br />Colazzo, D.<br />Ghelli, G.<br />Imo, K. C.<br />Klessinger, S.<br />Sartiani, C.<br />Scherzinger, S. – Name: Publisher Label: Publisher Information Group: PubInfo Data: ACM<br />USA – Name: DatePubCY Label: Publication Year Group: Date Data: 2025 – Name: Subset Label: Collection Group: HoldingsInfo Data: Università degli Studi della Basilicata: CINECA IRIS – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22JSON+JSON+Schema+Schema+Validation%22">JSON JSON Schema Schema Validation</searchLink> – Name: Abstract Label: Description Group: Ab Data: 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. – Name: TypeDocument Label: Document Type Group: TypDoc Data: conference object – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 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 – Name: DOI Label: DOI Group: ID Data: 10.1145/3735106.3736532 – Name: URL Label: Availability Group: URL Data: https://hdl.handle.net/11563/201596<br />https://doi.org/10.1145/3735106.3736532 – Name: Copyright Label: Rights Group: Cpyrght Data: info:eu-repo/semantics/restrictedAccess ; license:Versione editoriale ; license uri:publisher – Name: AN Label: Accession Number Group: ID Data: edsbas.3B2B02F3 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.3B2B02F3 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1145/3735106.3736532 Languages: – Text: English Subjects: – SubjectFull: JSON JSON Schema Schema Validation Type: general Titles: – TitleFull: JTutor: JSON Schema Validation Explained Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Attouche L. – PersonEntity: Name: NameFull: Baazizi M. -A. – PersonEntity: Name: NameFull: Colazzo D. – PersonEntity: Name: NameFull: Ghelli G. – PersonEntity: Name: NameFull: Imo K. C. – PersonEntity: Name: NameFull: Klessinger S. – PersonEntity: Name: NameFull: Sartiani C. – PersonEntity: Name: NameFull: Scherzinger S. – PersonEntity: Name: NameFull: Attouche, L. – PersonEntity: Name: NameFull: Baazizi, M. -A. – PersonEntity: Name: NameFull: Colazzo, D. – PersonEntity: Name: NameFull: Ghelli, G. – PersonEntity: Name: NameFull: Imo, K. C. – PersonEntity: Name: NameFull: Klessinger, S. – PersonEntity: Name: NameFull: Sartiani, C. – PersonEntity: Name: NameFull: Scherzinger, S. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2025 Identifiers: – Type: issn-locals Value: edsbas |
| ResultId | 1 |