Международная конференция
"Современные проблемы математики, информатики и биоинформатики",
посвященная 100-летию со дня рождения члена-корреспондента АН СССР
Алексея Андреевича Ляпунова
№ гос. регистрации - 0321103262, ISBN 978-5-905569-03-6

11 - 14 октября 2011 г., Академгородок, Новосибирск, Россия

Бездушный А.Н.   Яременко Ф.В.  

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

Докладчик: Бездушный А.Н.

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