TY - GEN
T1 - An Empirical Study on the “Usage of Not” in Real-World JSON Schema Documents
AU - Baazizi, Mohamed Amine
AU - Colazzo, Dario
AU - Ghelli, Giorgio
AU - Sartiani, Carlo
AU - Scherzinger, Stefanie
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - We study the usage of negation in JSON Schema data modeling. Negation is a logical operator rarely present in type systems and schema description languages, since it complicates decision problems: many software tools, but also formal frameworks for working with JSON Schema, do not fully support negation. This motivates us to study whether negation is actually used in practice, for which aims, and whether it could—in principle—be replaced by simpler operators. We have collected a large corpus of 80k open source JSON Schema documents from GitHub. We perform a systematic analysis, quantify usage patterns of negation, and also qualitatively analyze schemas. We show that negation is indeed used, albeit infrequently, following a stable set of patterns.
AB - We study the usage of negation in JSON Schema data modeling. Negation is a logical operator rarely present in type systems and schema description languages, since it complicates decision problems: many software tools, but also formal frameworks for working with JSON Schema, do not fully support negation. This motivates us to study whether negation is actually used in practice, for which aims, and whether it could—in principle—be replaced by simpler operators. We have collected a large corpus of 80k open source JSON Schema documents from GitHub. We perform a systematic analysis, quantify usage patterns of negation, and also qualitatively analyze schemas. We show that negation is indeed used, albeit infrequently, following a stable set of patterns.
KW - Conceptual modeling
KW - Empirical study
KW - JSON Schema
U2 - 10.1007/978-3-030-89022-3_9
DO - 10.1007/978-3-030-89022-3_9
M3 - Conference contribution
AN - SCOPUS:85118190496
SN - 9783030890216
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 102
EP - 112
BT - Conceptual Modeling - 40th International Conference, ER 2021, Proceedings
A2 - Ghose, Aditya
A2 - Horkoff, Jennifer
A2 - Silva Souza, Vítor E.
A2 - Parsons, Jeffrey
A2 - Evermann, Joerg
PB - Springer Science and Business Media Deutschland GmbH
T2 - 40th International Conference on Conceptual Modeling, ER 2021
Y2 - 18 October 2021 through 21 October 2021
ER -