Формализация предметной области. Написание правил для вычислений

Есть предметная область - законодательство РФ, - бухгалтерская сфера. Есть база данных. Задача написать универсальный механизм, который будет вытягивать данные из базы SQL и производить вычисления на основании файлов с правилами расчётов (или проверок на корректность). Т.е. в этих правилах должны быть формализованы законы и особенности предметной области. Написание правил и их правка должны быть максимально прозрачными и доступными простым пользователям (например с помощью отдельной утилиты по их созданию). Добавление новых правил или изменение старых должно происходить без перекомпиляции самой программы (аналог базы эвристик у антивируса. Добавили что-то новое и изменилось всё поведение) Сложность самого механизма по разбору этих правил, анализу и расчётам значения не имеет. Имеет значение оптимальная скорость выполнения. Ах, да, еще все вычисления должны отображаться в понятной для пользователя форме и с описанием почему именно так было сделано с цитатами и ссылками на законы. Механизм должен уметь находить конфликты данных на основании своей базы правил, т.е. сам себя проверять.

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

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

0

В этой задаче много разнородных подзадач. Например, нужно определиться, что есть объект предметной области (закон РФ с формулами). Кроме этого, стоит указать, что пользователь желает предоставлять программе и что от неё требовать. Кроме этого, чётко выделяются две подзадачи описания/задания правил и формирование выдачи на запрос пользователя. Изменение базы данных и проверка корректности осуществляются на первом этапе; язык запросов, стало быть, относится ко второму.

Кроме уточнения предметной области необходимо построить вычислительную модель. Выбор модели определяет скорость обработки и особенности работы с данными.

Эта задача является нетривиальной и ныне очень востребованой. Откуда она у Вас возникла?

0

у нас тут есть компания - лидер рынка, понимаешь, 500 человек разных специальностей, )))
вот как раз ее решает
вы хотите в одиночку? малой группой? по ночам?

Добавлено через 1 минуту
начните с начисления пенсии, вдруг получится хотя-бы в законе разобраться

0

В начале 90-х работал с ребятами которые делали бухгалтерский софт на Clipper. У них это была любимая манечка - определять правила "извне" и скармливать их интерпретатору. Иначе просто не получалось - правила менялись очень часто. В общем, сам подход далеко не нов.

Сообщение от AceOfSpades Написание правил и их правка должны быть максимально прозрачными и доступными простым пользователям

Вот на это не надейтесь. Не будет бухгалтер учить какой-то язык интерпретатора. Неизбежно появляются "внедренцы". Это часто девочка которую разработчики обучают и которая на месте редактирует те самые "правила". А раз так то не лучше ли вместо изобретения своего языка задействовать Пытон (мощный и очень гибкий)

0

У Вас есть набор Задач, которые нужно вычислить.
Задачи можно поделить на Типы. Выполнение задачи каждого типа сводится к вызову определённой функции.
Итого, для разных типов - разные функции. Для разных задач одного типа - одна функция с разными параметрами.

Правила расчётов (Задачи) создавать легко. Пользователь на форме задаёт значения параметров вызова. Параметры сериализуются и сохраняются в БД.

Если хорошо продумать набор Типов, то новые Типы Задач создавать придётся редко. Проще всего для этого писать новый код (патч к программному продукту). Хотя, кончено, можно хранить код (на обычном ЯП или на специально придуманном DSL) в виде строки и парсить/компилировать (интерпретировать) его на лету. Но тут возникает много проблем с безопасностью. Какой-нибудь чудик случайно или намеренно напишет правило типа "обнулить все счета" или "в конце месяца переводить с каждого счёта по копейке на мой счёт".

0