Амер Т. С. Моделі і методи аналізу сервіс-орієнтованих інформаційно-обчислювальних систем.

Дисертація присвячена розробці методу моделювання розподілених інформаційно-обчислювальних систем з сервіс орієнтованою архітектурою, що дозволяє підвищити повноту та ефективність їх аналізу. Аналіз вимог до засобів аналізу протоколів інформаційного обміну показав, що метод моделювання, що пропонується, повинен будуватися на комплексному використанні методів імітаційного та аналітичного моделювання. В якості засобу імітаційного моделювання використовуються Е-мережі, ймовірностно-часові графи використовуються як засіб аналітичного моделювання. В якості основного, в запропонованому методі, використовується метод імітаційного моделювання, метод аналітичного моделювання використовується в якості перевірочного. Для реалізації запропонованого методу моделювання розроблено програмний комплекс, до складу якого входять програми побудови і аналізу моделей, що наведені у вигляді Е-мереж та ЙЧГ.