Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to
Russian

All Issues >> Contents: Volume 12, Issue No 2 (2014)

Modeling service-oriented architecture using Petri nets – an overview
I.V. Artamonov

Baikal State University of Economics and Law

UDC code: 004.414.23.519.7

Abstract
The paper describes process-aware information systems as a foundation for enterprise’s serviceoriented architecture (SOA), shows major concepts of SOA, explains why Petri nets is used for modeling such systems and describes extensions of Petri nets, which are used for modeling of SOA aspects.

Key Words
service-oriented architecture, Petri nets, workflow, BPM

How to cite:
Artamonov I. V. Modeling service-oriented architecture using Petri nets – an overview // Vestnik NSU Series: Information Technologies. - 2014. - Volume 12, Issue No 2. - P. 5–13. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

References
1. Rosen M. et al. Applied SOA: Service-Oriented Architecture and Design Strategies. Wiley Publishing, 2008, 699 p.
2. Bieberstein N. et al. Executing SOA: A Practical Guide for the Service-Oriented Architect. IBM Press, 2008, 240 p.
3. Fast SOA / F. Cohen. Morgan Kaufmann, 2006, 279 p.
4. Brown P. C. Implementing SOA: Total Architecture in Practice. Addison Wesley Professional, 2008, 736 p.
5. Biebershtein N., Bose S., Fimmante M., Jones K., Shah R. Service-oriented architecture (SOA) compass. IBM Press, 2007, 256 p.
6. Service-Oriented Architecture: Concepts, Technology, and Design / Th. Erl. Prentice Hall, 2005, 792 p.
7. Vendrov A. M. Proektirovanie programmnogo obespecheniya jekonomicheskih informacionnyh sistem. [Software design for economic information systems]. / Finances and Statistics, 2006, 544 p.
8. Grekul V. I. Design of information systems. Moscow, Intuit, 2005, 304 p.
9. Mishenin A. I. Proektirovanie informacionnyh sistem [Theory of economic information systems]. Moscow, Finances and Statistics, 2002, 240 p.
10. Bell M. Service-Oriented Modeling Service Analysis Design and Architecture. John Wiley & Sons Ltd, 2008, 3366 p.
11. Utkin V. B., Baldin K. V. Informacionnye sistemy v jekonomike [Information systems in economy]. Moscow, Academia Publ., 2004, 288 p.
12. Bassam Zafar. Conceptual Modelling of Adaptive Web Services based on High-level Petri Nets: PhDThesis. URL: https://www.dora.dmu.ac.uk/bitstream/handle/2086/2407/thesis44.pdf?sequence=1
13. Stojanovic Z. Service-Oriented Software System Engineering. Idea Group, 2005, 413 p.
14. Semakin I. G., Khenner E. K. Informacionnye sistemy i modeli Information systems and models]. Moscow, Binom, 2005, 303 p.
15. Artamonov I. V. Sovremennye standarty opisaniya i ispolneniya biznes-processov [Modern standards of business processes description and execution]. An application of mathematical methods and information technologies in science, education and economy, 2010, p. 5–31.
16. Lohmann N., Verbeek E., Dijkman R. Petri Net Transformations for Business Processes – A Survey. Transactions on Petri Nets and Other Models of Concurrency II, 2009, p. 46–63.
17. Graham I. Requirements Modelling and Specification for Service Oriented Architecture. John Wiley & Sons Ltd, 2008, 301 p.
18. Hruz B., Zhou M. C. Modeling and Control of Discrete-event Dynamic Systems. Springer, 2007, 341 p.
19. Aalst W. M. P. van der. Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Lectures on Concurrency and Petri Nets, 2004, p. 1–65.
20. Campos J., Merseguer J. On the Integration of UML and Petri Nets in Software Development. Petri Nets and Other Models of Concurrency, 2006, p. 19–36.
21. Denaro G., Pezze M. Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets, 2004, p. 439–467.
22. Zurawski R., Meng Chu Zhou. Petri Nets and Industrial Applications: A Tutorial. IEEE.Transactions on industrial electronic, 1994, vol. 41, p. 567–583.
23. Aalst W. M. P. van der. Process-Aware Information Systems: Lessons to Be Learned from Process Mining. Transactions on Petri Nets and Other Models of Concurrency II. 2009, p. 1–26.
24. Lawrence P. Workflow Handbook. Workflow Management Coalition. N. Y., John Wiley and Sons, 1997.
25. Chang J. BPMS: Strategy and Implementation. Auerbach Publications, 2005, 286 p.
26. Orlic C. SOA – a technology, architecture or something more? 2008. URL: http://www. connect.ru/article.asp?id=8781

27. Belaichuk A. Zachet po BPM. [Test in BPM]. Open Systems, 2006, no. 1.
28. Dubova N. Platformy upravleniya biznes-processami [Platforms for business processes management]. Open Systems, 2005, no. 10.
29. Catts A., Clair J. St. BPM Enabled by SOA. 2009. URL: http://www.redbooks.ibm.com/redpapers/pdfs/redp4495.pdf
30. Jensen K. An Introduction to the Theoretical Aspects of Coloured Petri Nets. 1994. URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7477
31. Smith E. Principles of High-Level net Theory. Lectures on Petri Nets: Basic Models, 1998, p. 174–210.
32. Silva M., Teruel E., Valette R., Pingaud H. Petri nets and Production Systems. Lectures on Petri Nets: Applications, 1998, p. 85–124.
33. Aalst W. M. P. van der. The Application of Petri Nets to Workflow Management, 1998.URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8232.
34. Aalst W. M. P. van der. 3 good reasons for using a petri-net-based workflow managment system, 1996. URL: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.147.3781&rep=rep1&type=pdf
35. Massuthe P. Operating Guidelines for Services: Dissertation. Univ. Press Facilities, Eindhoven, 2009, 266 p.
36. Wolf K. Does My Service Have Partners? Transactions on Petri Nets and Other Models of Concurrency II, 2009, p. 152–171.
37. Corina P., Soto C., Jose M. L. A Petri Net-based Approach to Incremental Modelling of Flow and Resources in Service-Oriented Manufacturing Systems. URL: http://peer.ccsd.cnrs.fr/
docs/00/71/54/97/PDF/PEER_stage2_10.1080%252F00207543.2011.561371.pdf
38. Bernardi S., Bobbio A., Donatelli S. Petri Nets and Dependability. Lectures on Concurrency and Petri Nets, 2004, p. 125–179.
39. Kohler M., Rolke H. Web Service Orchestration with Super-Dual Object Nets. Petri Nets and Other Models of Concurrency, 2007, p. 263–280.
40. Men P., Duan Z., Yu B. Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. Petri Nets and Other Models of Concurrency, 2007, p. 362–380.
41. Chrysafis Hartonas. A Combined Open Petri Net and Process Algebraic approach to Message-Passing Services. URL: http://www.academia.edu/354616/A_Combined_Open_Petri_Net_
and_Process_Algebraic_Approach_to_Message-Passing_Services
42. Jensen K. Coloured Petri Nets modeling and validation of concurrent systems. Springer, 2009, 384 p.
43. Bruni R., Melgratti H., Montanari U. Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets, 2004, p. 291–327.
44. Recalde L., Silva M., Ezpeleta J., Teruel E. Petri Nets and anufacturing Systems: An Examples-Driven Tour. Lectures on Concurrency and Petri Net, 2004, p. 742–789.
45. Baver Acu, Wolfgang Reisig Compensation in Workflow Nets. Petri Nets and Other Models of Concurrency, 2006, p. 65–83.
46. Kindler E. Model-Based Software Engineering and Process-Aware Information Systems. Transactions on Petri Nets and Other Models of Concurrency II, 2009, P. 27–46.
47. Reichert M., Rinderle-Ma S., Dadam P. Flexibility in Process-Aware Information Systems. Transactions on Petri Nets and Other Models of Concurrency II, 2009, p. 115–135.
48. Aalst W. M. P. van der et al. Soundness of Workflow Nets with Reset Arcs. Transactions on Petri Nets and Other Models of Concurrency III, 2009, P. 50–70.
49. Artamonov I. V. Orkestrovka i horeografiya: podhody k opisaniyu kompozitnyh biznesprocessov [Orchestration and choreography: approaches for business processes description]. An application
of mathematical methods and information technologies in science, education and economy, 2011, no. 10, p. 5–31.
50. Peterson J. L. Petri net theory and the modeling of systems. Moscow, Mir, 1984, 264 p.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 12, Issue No 2 (2014).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 12, Issue No 2 (2014).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2014
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle


|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|

inftech@vestnik.nsu.ru
© 2006-2017, Novosibirsk State University.