I did not know about this this research field until my last trip to Beijing China where I met Set Chandler, who develops his programs in Mathematica
The general idea is to develop models as response of the implementation of the laws. The idea is to minimize the subjectivity in today's approach.
A much more ambitious project is to analyse the self consistency of the laws and their level of complexity. The complexity does not only depend on the document's length but also in how intricate is the relation with itself and other laws.