An Algebraic Specification/Schema for JSON
by Konstantinos Barlas1,* 
, Petros Stefaneas2
1 Department of Informatics and Computer Engineering, University of West Attica, Athens, 12243, Greece
2 School of Applied Mathematical and Physical Sciences, National Technical University of Athens, Athens, 15780, Greece
* Author to whom correspondence should be addressed.
Journal of Engineering Research and Sciences, Volume 1, Issue 5, Page # 243-250, 2022; DOI: 10.55708/js0105025
Keywords: Formal Specifications, Algebraic Specifications, Formal Methods, JSON, open standards
Received: 24 February 2022, Accepted: 01 May 2022, Published Online: 28 May 2022
APA Style
Barlas, K., & Stefaneas, P. (2022). An Algebraic Specification/Schema for JSON. Journal of Engineering Research and Sciences, 1(5), 243–250. https://doi.org/10.55708/js0105025
Chicago/Turabian Style
Barlas, Konstantinos, and Petros Stefaneas. “An Algebraic Specification/Schema for JSON.” Journal of Engineering Research and Sciences 1, no. 5 (May 1, 2022): 243–50. https://doi.org/10.55708/js0105025.
IEEE Style
K. Barlas and P. Stefaneas, “An Algebraic Specification/Schema for JSON,” Journal of Engineering Research and Sciences, vol. 1, no. 5, pp. 243–250, May 2022, doi: 10.55708/js0105025.
Java Script Object Notation (JSON) is an open standard data format that is used widely across the internet data due to its low overhead. While originally created in the early 2000s, it has only gained standard status in 2013 and then again in 2017 with a new version that focused more on security and interoperability. In this paper the authors present a different specification of the JSON standard that relies on algebraic formal methods and provides certain benefits over a regular natural language specification. This specification can also function as a schema that can attest a JSON data document’s compliance to its blueprint.
The absorption of Formal Specification methods by the industry happens at a very slow pace, mostly because there is little incentive to tread into a fairly unknown territory. Notwithstanding this reluctance, the authors encourage the usage of Formal Specification techniques to the specifications of open standards; Formal specifications are more succinct, less ambivalent, consistent to the standard, reusable as they support module inheritance and can be executable.
The process of designing new Standards can benefit from Formal Specifications as the resulting tangible; ii) allows a thorough and clear understanding of the standard and also allows property checking and property verification.
- G. Blake, R. W. Bly, The elements of technical writing, Elements of Series, Longman, 1993.
- “Digital imaging and communications in medicine (DICOM)”, https://www.dicomstandard.org/current, 2014, accessed: 2022- 04-15.
- I. Sommerville, Software Engineering, Addison-Wesley, Harlow, Eng- land, 9 ed., 2010.
- K. Barlas, P. Stefaneas, “An algebraic schema for json”, “24th Pan- Hellenic Conference on Informatics”, PCI 2020, p. 31–33, Associ- ation for Computing Machinery, New York, NY, USA, 2020, doi: 10.1145/3437120.3437268.
- K. Barlas, E. Berki, P. Stefaneas, G. Koletsos, “Towards formal open standards: Formalizing a standard’s requirements”, Innov. Syst. Softw. Eng., vol. 13, no. 1, p. 51–66, 2017, doi:10.1007/s11334-016-0283-9.
- M. Muhonen, E. Berki, “An open process for quality assurance in systems development”, R. Dawson, M. Ross, G. Staples, eds., “Pro- ceedings of Software Quality Management XIX. Global Quality Issues, Loughborough 18-19 Apr., UK”, pp. 231–241, 2011.
- M. Merruko, “Utilising open source software development for effec- tive electronic health records development”, Master’s thesis, School of Information Sciences, University of Tampere, 2013.
- N. S. Hoe, Free/Open Source Software, Open Standards, Elsevier, 2006.
- R. Shah, J. Kesan, A. Kennis, “Lessons for open standard policies: a case study of the massachusetts experience”, “Proceedings of the 1st international conference on Theory and practice of electronic governance”, ICEGOV ’07, pp. 141–150, ACM, New York, NY, USA, 2007, doi:10.1145/1328057.1328088.
- M. Karjalainen, “Large-scale migration to an open source office suite: An innovation adoption study in finland”, phdthesis, University of Tampere, Tampere, 2010.
- M. Merruko, E. Berki, P. Nykänen, “Open source software process: A potential catalyst for major changes in electronic health record systems”, A. Cerone, D. Persico, S. Fernandes, A. Garcia-Perez, P. Kat- saros, S. A. Shaikh, I. Stamelos, eds., “Revised Selected Papers of the SEFM 2012 Satellite Events on Information Technology and Open Source: Applications for Education, Innovation, and Sustainability”, vol. 7991, Springer-VerlagBerlin, Heidelberg, 2012.
- C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker,
M. Deardeuff, “How amazon web services uses formal methods”, Communications of the ACM, vol. 58, no. 4, pp. 66–73, 2015, doi: 10.1145/2699417. - J. Valtanen, E. Berki, K. Barlas, L. Li, M. Merruko, “Problem-focused education and feedback mechanisms for re-designing a course on open source and software quality.”, U. J., B. S., R. M., S. G., eds., “The 18th INSPIRE – INternational conference on Software Process Im- provement in Research, Education and Training.”, pp. 23–36, London, UK, Southampton Solent University Press., 2013.
- “CafeOBJ official site”, https://cafeobj.org/, accessed: 2022-04-15.
- J. A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.-P. Jouan- naud, Introducing OBJ, pp. 3–167, Springer US, Boston, MA, 2000, doi:10.1007/978-1-4757-6541-0_1.
- R. Diaconescu, K. Futatsugi, Cafeobj Report – The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, vol. 6 of AMAST Series in Computing, World Scientific Publishing Company, 1998, doi:10.1142/3831.
- J. A. Goguen, J. Meseguer, “Order-sorted algebra I: Equational de- duction for multiple inheritance, overloading, exceptions and partial operations”, Theoretical Computer Science, vol. 105, no. 2, pp. 217–273, 1992, doi:10.1016/0304-3975(92)90302-V.
- R. Diaconescu, K. Futatsugi, “Behavioural coherence in object- oriented algebraic specification”, Journal of Universal Computer Sci- ence, vol. 6, no. 1, pp. 74–96, 2000, http://www.jucs.org/jucs_6_1/ behavioural_coherence_in_object.
- T. Sawada, K. Futatsugi, N. Preining, CafeOBJ Manual, https:
//cafeobj.org/files/reference-manual.pdf, ver.1.5.7 ed., 2018. - J. Friesen, Java XML and JSON: Document Processing for Java SE, Apress, Berkeley, CA, 2nd ed., 2019, doi:10.1007/978-1-4842-4330-5.
- T. Bray, “The javascript object notation (json) data interchange format”, RFC 8259, 2017, doi:10.17487/RFC8259.
- JSON”, https://www.json.org/json-en.html, ac- 020-05-24.
- ECMA, “Standard ecma-404: The json data interchange syntax (1st edition)”, ECMA (European Association for Standardizing Information and Communication Systems), 2013.
- ECMA, “Standard ecma-404: The json data interchange syntax (2nd edition)”, ECMA (European Association for Standardizing Information and Communication Systems), 2017.
- M. Droettboom, “Understanding JSON Schema”, https://json-schema.org/understanding-json-schema/ UnderstandingJSONSchema.pdf, accessed: 2022-04-15.
- S. C. Reghizzi, L. Breveglieri, A. Morzenti, Formal Languages and Compilation, Springer, London, 2019, doi:https://doi.org/10.1007/ 978-1-84882-050-0.
- M. Murata, D. Lee, M. Mani, K. Kawaguchi, “Taxonomy of XML schema languages using formal language theory”, ACM Transac-
nology (TOIT), vol. 5, no. 4, pp. 660–704, 2005,111627.1111631.
