Работа посвящена проблемам обеспечения качества распределенных вычислительных систем. Построена модель качества таких систем, в рамках которой формализованы нефункциональные требования к алгебраической абстрактности, производительности, ресурсоемкости и надежности. Предложены следующие формальные методы анализа и проектирования, предназначенные в первую очередь для обеспечения этих требований: - частичная интерпретация теории первого порядка, отражающей функциональные требования к системе, конечной моделью заданной мощности; - представление модели вычислений слабо полным классом функций подходящей многозначной логики, обогащающей логику Лукасевича; - архитектурная декомпозиция распределенной системы на основе абстрактного представления сценариев обмена данными счетными фундированными множествами.