Parses a specification from JSON. The result is validated exactly as a hand-written specification is, so a malformed document fails at the same point and with the same message it would have if the modeler had typed it.