правовая информатика

[_lothar_]

в общем так.

есть такое понятие как domain-specific language. (http://www.maxkir.com/sd/languageWorkbenches.html)

есть такая предметная область как, например, исполнение договорных обязательств.

есть такое мнение, что:

если процесс исполнения каких-либо договорных обязательств, например:
{
выставление счета за услугу,
оплата счета,
расчет пеней за просроченную оплату,
расчет штрафа за неисполнение каких-либо обязательств,
выставление счета на оплату штрафа,
оплата штрафа,
и т.п.
} можно полностью реализовать средствами информационных систем,
то - эти самые обязательства
(которые в данный момент прописываются в бумажных договорах в разделе "права и обязанности сторон")
можно записывать в виде алгоритмов для этих информационных систем.

алгоритмы эти могут быть записаны на неких доменно-специфичных (бля, простите за тупой калькотермин) языках, которые могут интерпретироваться информационными системами, которые в свою очередь будут в соответствии с ними осуществлять контроль за исполнением и собственно исполнение обязательств.

таким образом многие договорные отношения могут быть сделаны более прозрачными и эффективными. возникает возможность формального анализа договоров, кастомизации и оптимизации их условий.

пример.
Возьмем типовой договор, например трудовой, почти все мы встречались с такими договорами
http://tipovoy-dogovor.info/forma_trudovogo_dogovora.shtml

мы имеем здесь следующие виды сущностей:

1. Стороны - субъекты правоотношения, в которое они вступают, заключая договор
2. Предмет договора - некое правоотношение в которое вступают стороны
3. Обязанности сторон
4. Права сторон (здесь кстати надо отметить принцип взаимодополнения прав и обязанностей: что каждое право одной стороны порождает обязанность другой стороны это право исполнять)
5. Условия договора - специфичные для правоотношения, в которое вступают стороны
6. Условия договора - специфичные для договоров, заключаемых его субъектами
7. Условия прекращения договора
8. Сам договор является сущностью

ну и в целом можно дальше описывать семантику этой предметной области:

• - уточнять сущности - может быть разбивать, может быть склеивать, выделять какие-то новые (договор как отношение между субъектами и договор как бумажка, напечатанная на принтере, и подписанная такого-то числа)
  
• - уточнять атрибуты сущностей (у сторон есть реквизиты, у договора-бумажки есть номер и дата подписания, дата вступления в силу)
  
• - уточнять как сущности взаимодействуют/взаимосвязаны (правоотношение объединяет субъектов правоотношения в их взаимодействии между собой по поводу объекта правоотношения; это взаимодействие осуществляется по правилам каким-то. как обязанности крепятся к субъектам, и т.п.)
  
• - уточнять методы - процедуры взаимодействия субъектов в правоотношении. возможно, в виде описаний бизнес-процессов что ли. а также методы - описывающие различные условия (если просрочил платеж, пеня за каждый день - 1% от суммы платежа, процент - сложный)
  

таким образом, когда мы все эти сущности и их взаимодействия подробно опишем, формализуем и зададим синтаксис их описания - мы получим доменно-специфичный язык, на котором можем писать договора в строгой, машинно-интерпретируемой форме.

далее, возможна смена самого процесса юридического взаимодействия различных субъектов.
например, если обнаруживается какая-либо ошибка в программе-договоре, то она может подвергаться изменению, согласуемому сторонами.
может также осуществляться рефакторинг программ-договоров, оптимизация, что угодно.

вот такую штуку я бы и назвал правовой информатикой.

ну вот как-то так. блаблабла.
в гитар хиро поиграли, называется.

умные люди, даёшь критику и объяснение, где и почему я мудак!