TY - GEN
T1 - A tool for JSON schema witness generation
AU - Attouche, Lyes
AU - Baazizi, Mohamed Amine
AU - Colazzo, Dario
AU - Falleni, Francesco
AU - Ghelli, Giorgio
AU - Landi, Cristiano
AU - Sartiani, Carlo
AU - Scherzinger, Stefanie
N1 - Publisher Copyright:
© 2021 Copyright held by the owner/author(s).
PY - 2021/1/1
Y1 - 2021/1/1
N2 - 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 user-defined 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.
AB - 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 user-defined 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.
U2 - 10.5441/002/edbt.2021.86
DO - 10.5441/002/edbt.2021.86
M3 - Conference contribution
AN - SCOPUS:85112863722
T3 - Advances in Database Technology - EDBT
SP - 694
EP - 697
BT - Advances in Database Technology - EDBT 2021
A2 - Velegrakis, Yannis
A2 - Velegrakis, Yannis
A2 - Zeinalipour, Demetris
A2 - Chrysanthis, Panos K.
A2 - Chrysanthis, Panos K.
A2 - Guerra, Francesco
PB - OpenProceedings.org
T2 - Advances in Database Technology - 24th International Conference on Extending Database Technology, EDBT 2021
Y2 - 23 March 2021 through 26 March 2021
ER -