Ершов С. В. Методы и средства визуального объектно-ориентированного проектирования программных систем на основе контурных Р-схем

Объект исследования: Визуальные языки для спецификации объектно-ориентированных распределенных систем. Цель исследования: Разработать математический аппарат контурных Р-схем, разработать визуальный язык спецификации объектно-ориентированных распределенных систем контурных Р-схем. Методы исследования и аппаратура: Методы объектно-ориентированных проектирования программных систем, теории взаимодействующих процессов, коммуникации и координации в распределительнных системах, теории алгебраических систем, теории графов и математической логики. Теоретические результаты и новизна: Предложен и обоснован новый математический аппарат для целей объектно-ориентированного проектирвания и программирования распределенных программных систем.Разработана декларативная и аксиоматическая семантики контурных Р-схем, предложено визуальное представление протоколов синхронизации и наследования протоколов. Практические результаты и новизна: Разработан метод объектно-ориентированного проектирования на основе обобщения идей отечественной Р-технологии программирования. Разработана среда инструментальной поддержки объектно-ориентированного проектирования и распараллеливания в компьютерных сетях на основе унифицированного визуального языка. Предмет и степень внедрения: Методы применены при разработке системы управления глобальными компьютерными сетями в рамках проекта INCO-COPERNICUS 96-0114 Европейского Союза. Эффективность внедрения: Улучшения качества и надежности распределенных систем, создаваемых с использованием предложенных методов и средств.Контурные Р-схемы увеличивают производительность труда при разработке и сопровождении объектно-ориентированных систем. Сфера (область) использования: Технология программирования, программная инженерия, инструментальные средства автоматизации разработки программного обеспечения.