ПІДХІД ДО МОДЕЛЮВАННЯ ВЗАЄМОДІЇ КОМПОНЕНТІВ ІНТЕЛЕКТУАЛЬНИХ WEB-СЕРВІСІВ
DOI:
https://doi.org/10.34132/mspc2025.01.14.06Ключові слова:
Алгебра, web-сервіс, взаємодія web-сервісів, мережі Петрі.Анотація
Анотація. Розглянуто підхід до моделювання взаємодії компонентів інтелектуальних web-сервісів на основі алгебри для моделювання взаємодії компонентів інтелектуальних web-сервісів. В якості основних базових конструкцій для алгебри використовуються: послідовність, альтернативний вибір, пріоритетний вибір, цикл та цикл з пріоритетом. Крім того, визначено комбіновані конструкції, якими є паралельність, довільна послідовність, дискримінатор, динамічний вибір та пріоритетний динамічний вибір. Конструкції були обрані для забезпечення загального та розширеного набору операцій для взаємодії комбінації web-сервісів. Після визначення кожної конструкції дається формальна семантика оператора в термінах мереж Петрі.
Посилання
Aliiev T.I. Osnovy modeliuvannia dyskretnykh system/T.I. Aliiev. – SPbHU YTMO, 2009. – 363 s.
Bodianskyi Ye.V., Kucherenko Ye.I., Mykhaliev O.I. Neiro-fazzi merezhi Petri u zadachakh modeliuvannia skladnykh system: monohrafiia. Dnipropetrovsk : Systemni tekhnolohii, 2005. 311 s.
Bokhan K.A. Modeli korporatyvnykh servisiv na osnovi iierarkhichnykh merezh Petri/K.A. Bokhan, M.S. Khudolei // Radioelektronni ta kompiuterni systemy. – 2010. – Vyp. 47. – C. 36-41.
Kotov, V.Ie. Merezhi Petri [Tekst]/V.Ie. Kotiv. - M.: Nauka. Holovna redaktsiia fizyko-matematychnoi literatury, 1984. – 160 s.
Piterson Dzh. Teoriia merezh Petri ta modeliuvannia system: prov. z anhl. / Dzh. Piterson. Svit, 1984. – 264 s.
Bause, F. Stochastic Petri nets: an introduction to the theory [Text] / F. Bause, Pieter S. Kritzinger. – Friedrich Vieweg & Sohn Verlag, 2002. – 223 p.
Hamadi R. and Benatallah B. “A Petri net based-model for web service composition”, in proc. the 14th Australasian database conference, adelaide. Darlinghurst: Australian Computer Society, 2003, pp. 191-200.
Jensen K., Kristensen L.M., Wells L. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Software Tools for Technology Transfer manuscript. 2007. 40 p.
Genrich H. J. Lautenbach K. “System modeling with high level Petri nets”, Theorical Computer Science, Vol. 13, pp. 109-136, 1981.
Modelling with Generalized Stochastic Petri Nets [Text] / M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis. – John Wiley & Sons, 1995. – 324 p.
Murata Т. “Petri nets: Properties, analysis and applications,” in Proc. of the IEEE, Vol. 77(4), 1989, pp. 541580.
Perkusich J. and J. C. A. De Figueiredo, “G-nets: A Petri net based approach for logical and timing analysis of complex software systems”, Journal of Systems and Software, Vol. 39, Issue 1, pp. 39-59, Oct 1997.
