МОДЕЛИРОВАНИЕ СЕРВИСНОЙ КОМПОЗИЦИИ С ПОМОЩЬЮ ОКРАШЕННЫХ СЕТЕЙ ПЕТРИ
Аннотация
Статья описывает свойства сервиса как программной единицы и предлагает рассмотреть аспекты его моделирования с помощью аппарата окрашенных сетей Петри. Для этого сервис представляется как конечное множество операций, обладающих предусловиями и постусловиями вызова. Каждая операция может участвовать в сервисных композициях, а каждая композиция может быть рекурсивно представлена как самостоятельная операция.
Ключевые слова
сервис-ориентированная архитектура,
сервис,
веб-сервис,
сервисная композиция,
сети Петри,
окрашенные сети Петри,
WF-сети
Об авторе
И. В. Артамонов
Байкальский государственный университет экономики и права, Иркутск
Россия
Аспирант, старший преподаватель
Россия
Аспирант, старший преподаватель
Список литературы
1. Артамонов И.В. Описание бизнес-процессов: вопросы стандартизации // Прикладная информатика. 2011. № 3. С. 20–28.
2. Артамонов И.В. Разработка распределенных сервисно-ориентированных программных средств. Иркутск: БГУЭП, 2012. 130 с.
3. Bieberstein Norbert et al. Executing SOA: A Practical Guide for the Service-Oriented Architect. IBM Press, 2008. P. 240.
4. Brown Paul C. Implementing SOA: Total Architecture in Practice. Addison Wesley Professional, 2008. P. 736.
5. Catts Anthony, St.Clair Joseph. Business Process Managment enabled by SOA. IBM Press, 2009. P. 82.
6. Cohen Frank. FastSOA. Elsevier Inc, 2007. P. 278.
7. Graham Ian. Requirements Modelling and Specification for Service Oriented Architecture. John Wiley & Sons Ltd, 2008. P. 301.
8. Jensen Kurt. An Introduction to the Theoretical Aspects of Coloured Petri Nets // A Decade of Concurrency, Lecture Notes in Computer Science / de Bakker J.W., de Roever W.-P., Rozenberg G. Springer-Verlag, 1994. Vol. 803.
9. Jensen Kurt, Kristensen Lars Michael, Wells Lisa. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems // International Journal on Software Tools for Technology Transfer (STTT). 2007. Vol. 9. P. 213–254.
10. Jensen Kurt. Coloured Petri Nets modeling and validation of concurrent systems. Springer, 2009. P. 384.
11. Kohler Michael, RolkeHeiko. Web Service Orchestration with Super-Dual Object Nets // Petri Nets and Other Models of Concurrency / Kleijn Jetty, Yakovlev Alex. Springer, 2007.
12. Massuthe Peter. Operating Guidelines for Services: Dissertation. University Press Facilities, 2009. P. 266.
13. Men P., Duan Z., Yu B. Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery // Petri Nets and Other Models of Concurrency / Kleijn Jetty, Yakovlev Alex. Springer, 2007.
14. Pathak Nishith. Pro WCF 4.0: Practical Microsoft SOA Implementation. Apress, 2011. P. 446.
15. Popescu Corina, Soto M. Cavia, Lastraa Jose L. Martinez. A Petri net-based approach to incremental modelling of flow and resources in service-oriented manufacturing systems // International Journal of Production Research. 2012. Vol. 50. P. 325–343.
16. Rosen Mike et al. Applied SOA: Service-Oriented Architecture and Design Strategies. Wiley Publishing, Inc., 2008. P. 662.
17. Van der Aalst W.M.P. The Application of Petri Nets to Workflow Management // Journal of Circuits, Systems and Computers. 1998. Vol. 8. P. 21–66.
18. Wolf Karsten. Does My Service Have Partners? // Transactions on Petri Nets and Other Models of Concurrency II / Jensen Kurt, van der Aalst Wil M.P. Springer, 2009.
19. Zafar Bassam. Conceptual Modelling of Adaptive Web Services based on High-level Petri Nets: PhD Thesis. De Montfort University, 2008. P. 188.
Рецензия
Для цитирования:
Артамонов И.В. МОДЕЛИРОВАНИЕ СЕРВИСНОЙ КОМПОЗИЦИИ С ПОМОЩЬЮ ОКРАШЕННЫХ СЕТЕЙ ПЕТРИ. Вестник НГУЭУ. 2013;(2):180-187.
For citation:
Artamonov I.V. MODELING OF SERVICE COMPOSITION VIA COLOURED PETRI NETS. Vestnik NSUEM. 2013;(2):180-187. (In Russ.)
Послать статью по эл. почте 
