Спасибо, Толик, хорошая ссыль. Но переход от хренового документо-ориентированного конфигурационного менеджмента законов к хорошему д.-о. к.м.з. - это скучно.
Model-oriented law engineering - вот это действительно интересная задача. Как переход от кипы чертежей к 4D-моделям в AutoCAD/Modelica, только в юриспруденции.
Законы это скорее наборы правил, чем полноценные модели или алгоритмы. Правила могут быть нечёткие (fuzzy logic).
Лучшее, что на мой взгляд можно сделать, это некий "язык определения законов", нечто между языком программирования и человеческим языком. Определения, правила.
Плюс такого подхода - можно будет автоматически проверить некую внутреннюю непротиворечивость закона, но на очень базовом формальном уровне (почти не вдаваясь в понимание предметной области).
В простом случае (как смартконтракты) этот язык поймет и исполнит машина. В чуть более сложном - исполнять "код" закона всё равно людям, спорить о применимости правил всё равно юристам.