JSON Model: a Lightweight Featureful DSL for JSON
Pages 3 - 17
Abstract
JSON is a de facto standard cross-language textual format used to represent, exchange and store structured data. Data schemas allow to document structures and verify values. Three JSON-based schema description languages have been proposed for JSON so far: JSON Schema, JSound and JSound-C. These languages are verbose and use a lax validation semantics: 60% of public schemas have been found defective because JSON Schema is particularly error-prone. Based on these evidences, we present JSON Model, an alternative to previous proposals which is both lightweight and featureful, discuss key design choices, its efficient implementation, and its integration into OpenAPI.
References
[1]
Andrei, C., Florescu, D., Fourny, G., Robie, J., Velikhov, P.: JSound 2.0 – the complete reference (2018). https://jsound-spec.org
[2]
Attouche, L., Baazizi, M.A., Colazzo, D., Ghelli, G., Sartiani, C., Scherzinger, S.: Validation of modern JSON schema: formalization and complexity. In: Proceedings of POPL. ACM (2024)
[3]
Baazizi M-A, Colazzo D, Ghelli G, Sartiani C, and Scherzinger S Ghose A, Horkoff J, Silva Souza VE, Parsons J, and Evermann J An empirical study on the “usage of not” in real-world JSON schema documents Conceptual Modeling 2021 Cham Springer 102-112
[4]
Baazizi MA, Colazzo D, Ghelli G, Sartiani C, and Scherzinger S Negation-closure for JSON Schema Theoret. Comput. Sci. 2023 955 113823
[5]
Bierman G, Abadi M, and Torgersen M Jones R Understanding typescript ECOOP 2014 – Object-Oriented Programming 2014 Heidelberg Springer 257-281
[6]
Boldt, J.: The common object request broker: architecture and specification. Specification Formal/97-02-25, Object Management Group (1995)
[7]
Coelho, F., Yannou-Medrala, C.: JSON model: a lightweight featureful description language for JSON data structures. Technical report A/795/CRI, CRI, Mines Paris – PSL (2023)
[8]
Coelho, F., Yannou-Medrala, C.: JSON model implementation (2023–2024). https://github.com/clairey-zx81/json-model
[9]
Coelho, F., Yannou-Medrala, C.: JSON schema statistics tools (2023–2024). https://github.com/clairey-zx81/json-schema-stats
[10]
Crockford, D.: The application/JSON media type for javascript object notation (JSON). RFC 4627, IETF (2006)
[11]
Damas, L., Milner, R.: Principal type-schemes for functional programs. In: PoPL, pp. 207–212 (1982)
[12]
ECMA International: Standard ECMA-262 – ECMAScript Language Specification. 5.1 edn., 846 p. (2011). First edition in 1999
[13]
Fielding, R.T.: REST: architectural styles and the design of network-based software architectures. Doctoral dissertation, University of California, Irvine (2000)
[14]
Gruber, J., Swartz, A.: Markdown. Specification 1 (2004)
[15]
Ingerson, B., Evans, C., Ben-Kiki, O.: Yet another markup language (YAML). Specification 1.0 (2001)
[16]
Jouvelot, P., Triolet, R.: NewGen: a language-independent program generator. EMP-CRI 191, CRI, Mines Paris – PSL (1989)
[17]
Mitre: Inefficient regular expression complexity. CWE 1333 (2021)
[18]
OAS: OpenAPI. Specification v3.1.0, Linux Foundation (2021). https://spec.openapis.org/
[19]
Wright, A., Andrews, H., Hutton, B., Dennis, G.: JSON schema: a media type for describing JSON documents. Draft 2020-12, IETF (2022)
[20]
Yannou-Medrala, C., Coelho, F.: An analysis of defects in public JSON schemas. In: BDA 2023: 39ème Conference sur la gestion de données – Principes, technologies et applications (2023)
[21]
Yannou-Medrala, C., Coelho, F.: Yet another JSON schema corpus (2023–2024). https://github.com/clairey-zx81/yac
Index Terms
- JSON Model: a Lightweight Featureful DSL for JSON
Index terms have been assigned to the content through auto-classification.
Recommendations
Foundations of JSON Schema
WWW '16: Proceedings of the 25th International Conference on World Wide WebJSON -- the most popular data format for sending API requests and responses -- is still lacking a standardized schema or meta-data definition that allows the developers to specify the structure of JSON documents. JSON Schema is an attempt to provide a ...
JSON: Data model, Query languages and Schema specification
PODS '17: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database SystemsDespite the fact that JSON is currently one of the most popular formats for exchanging data on the Web, there are very few studies on this topic and there is no agreement upon a theoretical framework for dealing with JSON. Therefore in this paper we ...
JSON: Data model and query languages
AbstractDespite the fact that JSON is currently one of the most popular formats for exchanging data on the Web, there are very few studies on this topic and there is no agreement upon a theoretical framework for dealing with JSON. Therefore in ...
Highlights- Paper proposes the first formal abstraction for JSON data.
- Also proposes a ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Aug 2024
235 pages
ISBN:978-3-031-70628-8
DOI:10.1007/978-3-031-70626-4
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 September 2024
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 14 Nov 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in