Cited By
View all- Barlas KStefaneas P(2022)An Algebraic Specification/Schema for JSONJournal of Engineering Research and Sciences10.55708/js01050251:5(243-250)Online publication date: May-2022
An algebraic schema for JSON
Pages 31 - 33
Abstract
In this paper we advocate for applying formal specification techniques to open standards’ specifications by creating an algebraic schema for JSON data file format, an open standard file format that has been very popular when it comes to the exchange of structured data. Integrating formal specification methods and standards allows for better standard design as i) the results are more tanbigle; ii) it enables a deeper understanding of the standard; iii) enforces clarity into the specification, and also iv) provides extended property checking/verification capabilities, particularly if they use any algebraic specification language. The resulting specification can be used as a JSON schema that can validate JSON documents.
References
[1]
[n.d.]. Introducing JSON. https://www.json.org/json-en.html. Accessed: 2020-05-24.
[2]
2017. The JavaScript Object Notation (JSON) Data Interchange Format. Technical Report. https://doi.org/10.17487/rfc8259
[3]
2020. JSON2OBJ utility. https://github.com/konstantinosbarlas/json-obj. Accessed: 2002-10-30.
[4]
Konstantinos Barlas, Eleni Berki, Iulia Adomnita, Thrushna Nalam, Golnaz S. Nejad, Jari Veijalainen, Petros Stefaneas, and George Koletsos. 2014. Formal Specification of Open Standards and the Case of RSS v2.0. In Proceedings of the 18th Panhellenic Conference on Informatics(PCI ’14). ACM, New York, NY, USA, 12:1–12:6. https://doi.org/10.1145/2645791.2645809
[5]
Konstantinos Barlas, Eleni Berki, Petros Stefaneas, and George Koletsos. 2016. Towards formal open standards: formalizing a standard’s requirements. Innovations in Systems and Software Engineering (A NASA Journal) (2016), 1–16. https://doi.org/10.1007/s11334-016-0283-9
[6]
Michael Droettboom. [n.d.]. Understanding JSON Schema. https://json-schema.org/understanding-json-schema/UnderstandingJSONSchema.pdf. Accessed: 2020-06-06.
[7]
Jeff Friesen. 2019. Java XML and JSON: Document Processing for Java SE (2nd ed.). Apress. https://doi.org/10.1007/978-1-4842-4330-5
[8]
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff. 2015. How Amazon Web Services Uses Formal Methods. Commun. ACM 58, 4 (March 2015), 66–73. https://doi.org/10.1145/2699417
[9]
Ian Sommerville. 2010. Software Engineering (9ed.). Addison-Wesley, Harlow, England.
Recommendations
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 ...
Reducing Ambiguity in Json Schema Discovery
SIGMOD '21: Proceedings of the 2021 International Conference on Management of DataAd-hoc data models like Json simplify schema evolution and enable multiplexing various data sources into a single stream. While useful when writing data, this flexibility makes Json harder to validate and query, forcing such tasks to rely on automated ...
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 ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2020
433 pages
ISBN:9781450388979
DOI:10.1145/3437120
Copyright © 2020 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 04 March 2021
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Conference
PCI 2020
Acceptance Rates
Overall Acceptance Rate 190 of 390 submissions, 49%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 47Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)1
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
Cited By
View all- Barlas KStefaneas P(2022)An Algebraic Specification/Schema for JSONJournal of Engineering Research and Sciences10.55708/js01050251:5(243-250)Online publication date: May-2022
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format