019. К вопросу выражения требований федеральных законов в виде формальных спецификаций бизнес-процессов

В работе на примере Федерального Закона №94 «О размещении заказов на поставки товаров, выполнение работ, оказание услуг для государственных и муниципальных нужд» (94-ФЗ) рассматривается попытка выражения требований законодательства в виде формального описания соответствующих бизнес-процессов, специфицированных в виде BPMN потоков работ (workflow). Формализация требований законов ориентирована на упрощение автоматизации их реализации в государственных и коммерческих структурах, выявление неточностей, неясностей, неполноты и противоречивости законодательства. Полученные описания бизнес-процессов были применены в разработке электронной торговой площадки для задания порядка торгов, их контроля и мониторинга.

 

Abstracts file: К вопросу выражения требований нормативно-правовых актов в виде.pdf
Full text file: К вопросу выражения т.pdf
Presentation file: Яременко_pr.pdf