Amer T. Models and methods of analysis of the service-oriented informative and calculable systems.

The thesis is dedicated to development of the methods of modelling distributed system with service-oriented architecture which capable to race efficiency of their analysis. The analysis of the requirements to simular distributed system with service-oriented architecture is performed. For their satisfactions under development methods must be based on complex using analytical and simulation methods of modelling is shown, also. Е-nets and probabilistic-temporary graphs are used for the analysis. For increasing of adequacy of the under development models in means Е-nets additions (the extended ensemble transition, places) is incorporated. For expansion of the range of usage probabilistic-temporary graphs the method of the analysis graphs for which impossible using the method of the equivalent transformations is designed. The general method of modelling is based on partial methods modelling protocol separate level. Adequacy of the designed methods of modelling was checked by comparisons result of modelling with known result. For realization of the proposed methods of modelling the program complex which include the programs of the building and analysis of the models presented as Е-nets and probabilistic-temporary graphs is designed.