APPROACH TO MODELING INTERACTION OF COMPONENTS OF INTELLECTUAL WEB SERVICES
DOI:
https://doi.org/10.34132/mspc2025.01.14.06Keywords:
Algebra, web service, web service interaction, Petri nets.Abstract
An approach to modelling the interaction of components of intelligent web services based on algebra for modelling the interaction of components of intelligent web services is considered. The following basic constructions are used for algebra: sequence, alternative choice, priority choice, cycle and cycle with priority. In addition, combined constructions are defined, which are parallelism, arbitrary sequence, discriminator, dynamic choice and priority dynamic choice. The constructions were chosen to provide a general and extended set of operations for the interaction of a combination of web services. After defining each construction, the formal semantics of the operator in terms of Petri nets is given.
References
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.
