A Tool for JSON Schema Witness Generation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Tool for JSON Schema Witness Generation

Lyes Attouche
  • Fonction : Auteur
  • PersonId : 1104651
Mohamed-Amine Baazizi
Dario Colazzo
Francesco Falleni
  • Fonction : Auteur
  • PersonId : 1104652
Giorgio Ghelli
  • Fonction : Auteur
  • PersonId : 1004291
Cristiano Landi
  • Fonction : Auteur
  • PersonId : 1104653
Carlo Sartiani
  • Fonction : Auteur
  • PersonId : 1095200
Stefanie Scherzinger

Résumé

JSON Schema is an evolving standard for the description of JSON documents. It is an extremely powerful language endowed with boolean operators and recursive definitions. Hence, classical problems like schema consistency and equivalence may be challenging without well-principled tools. Based on our recent effort for laying down an algebraic formal semantics of JSON Schema, we demonstrate an approach for generating valid witnesses of a userdefined schema. Our goal is not only to allow programmers to design schemas that meet their intentions, but also to guide them in their journey to understanding the semantics of existing schemas, in an interactive fashion. We thus aim to contribute to the adoption of the JSON Schema language by facilitating its use.
Fichier principal
Vignette du fichier
p185.pdf (532.99 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03281445 , version 1 (08-07-2021)

Identifiants

Citer

Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, et al.. A Tool for JSON Schema Witness Generation. 24th International Conference on Extending Database Technology, Mar 2021, Nicosia (on line), Cyprus. pp.694-697, ⟨10.5441/002/edbt.2021.86⟩. ⟨hal-03281445⟩
230 Consultations
161 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More