Опис документа

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