JsonSchema to Alloy translator


Does anyone know if there exists a JsonSchema (or subset) to Alloy translator?


Mandana Vaziri
IBM Research

I am not sure what you’re really looking for? Could you elaborate on how you see this?

The code is available in Java or you can export the solution and metamodel to XML.

I need to model resources that are described in json and have a schema(s). Rather than manually porting all the schemas into Alloy as sigs, I would like a tool that takes the schemas and generates the sig structures automatically. So a translator from a subset of jsonschema to Alloy sigs would be useful. I can then manually complete my model with properties to be verified.

I doubt it exist but it should not be that hard to write? If you do, please share. Might be useful.