MODELING OF SERVICE COMPOSITION VIA COLOURED PETRI NETS
Abstract
The article describes service properties as a program unit and suggests considering aspects of its modeling via coloured Petri nets apparatus. For this purpose the service is presented as a finite set of operations with preand postconditions for activation. Each operation may participate in service compositions, and each composition may be recursively represented as an independent operation.
About the Author
I. V. Artamonov
Baikal State University of Economics and Law, Irkutsk
Russian Federation
Post graduate student, senior lecturer
Russian Federation
Post graduate student, senior lecturer
References
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.
Review
For citations:
Artamonov I.V. MODELING OF SERVICE COMPOSITION VIA COLOURED PETRI NETS. Vestnik NSUEM. 2013;(2):180-187. (In Russ.)
Email this article 
