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