An algebraic schema for JSON
Konstantinos Barlas, Petros Sotirios Stefaneas · 2020
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.