42 И.В. АРТАМОНОВ ПРОГРАММНЫЙ КОМПЛЕКС АНАЛИЗА НАДЕЖНОСТИ БИЗНЕС-ТРАНЗАКЦИЙ В статье описывается программное обеспечение для анализа надежности проектируемой бизнес-транзакции путем имитационного моделирования. <...> Для отображения схемы взаимодействия предлагается использовать аппарат окрашенных сетей Петри. <...> Программный комплекс состоит из нескольких взаимосвязанных частей, которые включают пакеты CPN Tools, ACCESS/CPN, СУБД PostgreSQL. <...> Управление этими программами осуществляется сервером приложений через специальный интерфейс. <...> В целом среда ориентирована на использование веб-технологий и позволяет проводить анализ нескольким исследователям одновременно. <...> Причем в выполнении сложного совместного бизнес-процесса может участвовать большое количество предприятий, схема взаимодействия которых не ограничивается тривиальной последовательной передачей информации «по цепочке», а может состоять из сложных структур, разветвлений, циклов, иерархических включений и т.д. <...> Вовлечение большого количества участников может негативно сказываться на общем качестве подобной организации, прежде всего, на ее надежности: каждый новый участник, привнося вероятность собственного отказа, может увеличивать общий риск отказа всей системы. <...> В [1-3] показано, что такой процесс, исполняемый при поддержке средств автоматизации, принимает черты транзакции в теории баз данных: он состоит из нескольких операций, которые должны быть выполнены все вместе или не выполнены вообще. <...> В [4] было предложено называть такой процесс бизнестранзакцией и дано такое определение: бизнес-транзакция (далее – транзакция) – это согласованное изменение состояния отношений двух и более сторон, где каждая сторона готова к этому изменению и знает, что его согласованно примут все стороны. <...> Ввиду того, что бизнес-транзакция объединяет работу нескольких разнородных участников и может исполнять критически важные для предприятия процессы, в [5] был <...>