Combined approach architecture development to simulation modeling of systems with parallelism

Authors

DOI:

https://doi.org/10.15587/1729-4061.2021.239212

Keywords:

architecture of the combined approach, formal languages of Petri nets, dynamic modeling tools

Abstract

Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model.

Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning.

A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected.

The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems

Author Biography

Oksana Suprunenko, Bohdan Khmelnytsky National University of Cherkasy

PhD, Associate Professor

Department of Software for Automated Systems

References

  1. Stoian, V. A. (2008). Modeliuvannia ta identyfikatsiya dynamiky system iz rozpodilenymy parametramy. Kyiv: Kyivskyi universytet, 201.
  2. Strogalev, V. P., Tolkacheva, I. O. (2008). Imitatsionnoe modelirovanie. Moscow: Izd-vo MGTU im. N.E. Baumana, 280.
  3. Samarskiy, A. A., Mihaylov, A. P. (2001). Matematicheskoe modelirovanie. Idei. Metody. Primery. Moscow: Fizmatlit, 320.
  4. Suprunenko, O. (2013). Paradigms of simulation modeling in studying complex parallel systems. Eastern-European Journal of Enterprise Technologies, 5 (4 (65), 63–67. Available at: http://journals.uran.ua/eejet/article/view/18353/16394
  5. Sergienko, I. V. (2018). Mathematical and program modelling of complicated systems using supercomputer technologies. Visnik Nacional’noi’ Academii’ Nauk Ukrai’ni, 3, 39–48. doi: https://doi.org/10.15407/visn2018.03.039
  6. Karpov, Yu. G. (2005) Imitatsionnoe modelirovanie sistem. Vvedenie v modelirovanie s AnyLogic 5. Sankt-Peterburg: BHV-Peterburg, 400.
  7. Braude, E. (2004). Tekhnologiya razrabotki programmnogo obespecheniya. Sankt-Peterburg: Piter, 655. Available at: http://www.immsp.kiev.ua/postgraduate/Biblioteka_trudy/TekhnologiyaRazrabProgrBraude2004.pdf
  8. Van Hee, K. (2002). Workflow management: models, methods, and systems. The MIT Press. doi: https://doi.org/10.7551/mitpress/7301.001.0001
  9. Karpov, Yu. G. (2010). Model Checking. Verifikatsiya parallel'nyh i raspredelennyh programmnyh sistem. Sankt-Peterburg: BHV-Peterburg, 560.
  10. Kuzmuk, V. V., Suprunenko, O. A. (2014). The means for the description of information flows in dynamic models of medical hardware-software systems. Theoretical & Applied Science, 7 (15), 11–18. doi: https://doi.org/10.15863/tas.2014.07.15.2
  11. Van der Aalst, W. M. P. (2013). Business Process Management: A Comprehensive Survey. ISRN Software Engineering, 2013, 1–37. doi: https://doi.org/10.1155/2013/507984
  12. Jensen, K., Rozenberg, G. (Eds.) (1991). High-level Petri Nets: Theory and Application. Springer, 724. doi: https://doi.org/10.1007/978-3-642-84524-6
  13. Kuz'muk, V. V., Suprunenko, O. O. (2010). Modifitsirovannye seti Petri i ustroystva modelirovaniya parallel'nyh protsessov. Kyiv: Maklaut, 252.
  14. Peterson, Dzh. (1984). Teoriya setey Petri i modelirovanie sistem. Moscow: Mir, 264.
  15. Lomazova, I. A. (2004). Vlozhennye seti Petri: modelirovanie i analiz raspredelennyh sistem s obektnoy strukturoy. Moscow: Nauchniy mir, 208.
  16. Lomazova, I. A. (2009). Adaptivnoe i dinamicheskoe modelirovanie potokov rabot na osnove vzaimodeystvuyuschih setey Petri. Metody i sredstva obrabotki informatsii. Trudy ІІІ Vserossiyskoy nauchnoy konferentsii. Moscow: Izdatel'skiy otdel fakul'teta vychislitel'noy matematiki i kibernetiki MGU, 32–37.
  17. Bashkin, V. A. (2012). Approximating bisimulation in one-counter nets. Automatic Control and Computer Sciences, 46, 317–323. doi: https://doi.org/10.3103/s014641161207005x
  18. Bashkin, V. A. (2017). On the Resource Equivalences in Petri nets with Invisible Transitions. Petri Nets and Software Engineering (PNSE'17). Zaragoza, 51–68.
  19. Belusso, C. L. M., Sawicki, S., Roos-Frantz, F., Frantz, R. Z. (2016). A Study of Petri Nets, Markov Chains and Queueing Theory as Mathematical Modelling Languages Aiming at the Simulation of Enterprise Application Integration Solutions: A First Step. Procedia Computer Science, 100, 229–236. doi: https://doi.org/10.1016/j.procs.2016.09.147
  20. Kuz'min, E. V., Sokolov, V. A. (2005). Vpolne strukturirovannye sistemy pomechennyh perekhodov. Moscow: Fizmatlit, 176.
  21. Hack, M. (1975). Decision Problems for Petri Nets and Vector Addition Systems, Computation Structures Group Memo 95, Project MAC. Massachusetts Institute of Technology, Cambridge, Massachusetts, March 1974, pp. 79. revised as Memo 95-1, August 1974; Technical Memo 59, Project MAC, Massachusetts Institute of Technology, Cambridge, Massachusetts, March 1975, pp. 7.
  22. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4), 541–580. doi: https://doi.org/10.1109/5.24143
  23. Suprunenko, O. O. (2019). Combined approach to simulation modeling of the dynamics of software systems based on interpretations of Petri nets. KPI Science News, 5-6, 43–53. doi: https://doi.org/10.20535/kpi-sn.2019.5-6.174596
  24. Nesterenko, B. B., Novotarskiy, M. A. (2007). Algebra protsessov dlya modelirovaniya slozhnyh sistem s real'noy rabochey nagruzkoy. Reiestratsiya, zberihannia ta obrobka danykh, 9 (4), 49–59.

Downloads

Published

2021-08-30

How to Cite

Suprunenko, O. (2021). Combined approach architecture development to simulation modeling of systems with parallelism. Eastern-European Journal of Enterprise Technologies, 4(4(112), 74–82. https://doi.org/10.15587/1729-4061.2021.239212

Issue

Vol. 4 No. 4(112) (2021): Mathematics and Cybernetics - applied aspects

Section

Mathematics and Cybernetics - applied aspects

License

Copyright (c) 2021 Oksana Suprunenko

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.