Название статьи:
ИСПОЛЬЗОВАНИЕ ОКРАШЕННЫХ СЕТЕЙ ПЕТРИ ДЛЯ МОДЕЛИРОВАНИЯ БИЗНЕС-ТРАНЗАКЦИЙ В СЕРВИС-ОРИЕНТИРОВАННОЙ СРЕДЕ
Авторы: Артамонов И.В., старший преподаватель, кафедра информатики и кибернетики, Байкальский государственный университет экономики и права, 664003, г. Иркутск, ул. Ленина, 11,
dark@darkis.ru В рубрике:
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И СИСТЕМНЫЙ АНАЛИЗ
Год: 2013 Номер журнала: 5
Страницы: 25-25
Тип статьи: Научная статья
УДК: 004.414.2.519.876 ВВК: 32.973
Аннотация:
Рассматривается понятие бизнес-транзакции как особого вида взаимодействия между участниками бизнес-процесса. Бизнес-транзакции следует выделять для сложных, многоэтапных действий, которые вовлекают множество участников и длятся долгое время. Такая транзакция рассматривается в контексте сервис-ориентированной архитектуры предприятия, что позволяет наделять ее особыми свойствами, связанными с повышением надежности ее выполнения. Для моделирования бизнес-транзакции предлагается использовать аппарат окрашенных сетей Петри, для которого были разработаны примитивы, предназначенные для описания сервисов, их операций и взаимодействия. Для описания надежности транзакции вводится понятия компенсирующих и восстанавливающих операций, декомпозирующих сетей, интерфейсно-совместимых операций. На основании идей workflow-сетей (Виля ван дер Аалста) вводится понятие устойчивости бизнес-транзакции. Все это позволяет выделить понятие внутренне-надежной бизнес-транзакции произвольного порядка, описать метрики оценки ее надежности и, таким образом, представить новый подход для оценки надежности исполнения сложных бизнес-процессов в сервис-ориентированной среде.
Ключевые слова: сервис-ориентированная архитектура, бизнес-транзакция, окрашенные сети Петри, надежность программного обеспечения
Финансирование: Работа выполнена при финансовой поддержке проекта ФБ40 «Современные информационнотелекоммуникационные технологии в управлении социальноэкономическими и технологическими процессами» (номер регистрации в ФГНУ ЦИТиС 01201356932).
Список цитируемой литературы: - Bieberstein N. Executing SOA: A Practical Guide for the Service-Oriented Architect / N. Bieberstein, R. G. Laird, K. Jones, T. Mitra. - IBM Press, 2008. - 240 p.
- Brown P. C. Implementing SOA: Total Architecture in Practice / P. C. Brown. - Addison Wesley Professional, 2008. - 736 p.
- Catts A. Business Process Management enabled by SOA / A. Catts, J.St. Clair. - IBM Press, 2009. - 98 p.
- Cohen F. Fast SOA / F. Cohen. - Raining Data Corporation, Irvine, California, 2007. - 296 p.
- Jensen K. Coloured Petri Nets modeling and validation of concurrent systems / K. Jensen. - Springer, 2009. - 384 p.
- Rosen M. Applied SOA: Service-Oriented Architecture and Design Strategies / M. Rosen, B. Lublinsky, K. T. Smith, M. Balcer. - Wiley Publishing, Inc., 2008. - 698 p.
- W.M.P. van der Aalst. Verification of Workflow Nets / W.M.P. van der Aalst // Proceedings of the 18th International Conference on Application and Theory of Petri Nets. - 1997. - P. 407-426.