Программные продукты и системы

В данном исследовании поставлены задачи систематизации результатов, полученных в ходе лекционных и практических занятий, а также задача обобщения и использования наработок по формальным моделям и методам представления знаний предметных областей интерактивных систем.

Представляемые макетные варианты системы предназначены для наглядной практической демонстрации содержания основных этапов и работ при разработке сложных, критических программных средств. К основным этапам отнесены проектирование и управление проектом (административное, автоматическое или автоматизированное), тестирование создаваемой системы, ее документирование, оценка качества, оценка стоимости.

Сборка осуществляется в интерактивном взаимодействии с пользователем на профессиональном языке общения. Этот язык построен на основе понятия интеллектуального интерфейса и реализуется на сочетании жестко запрограммированного диалога (на верхнем уровне перехода от одного этапа к другому) и свободного сценарного диалога общения (на нижних, внутриэтапных уровнях).

Программная реализация сценарного диалога построена на основе макетного кодового представления основных формальных моделей интерактивных диалоговых систем человеко-машинного взаимодействия.

Сборка может осуществляться в режиме исходных кодов, режиме исполняемых кодов и в режиме сочетания исходных и исполняемых кодов.

Генерация программных систем построена на основе использования концепций «Теории схем программ», ее базисных понятий типовых конструкционных схем и методологий программной инженерии. Программная реализация системы сделана в нескольких вариантах в зависимости от того, какая формальная модель сценария диалога заложена. В качестве формальных моделей выделены графовая (автоматная) модель, модели на основе функциональных сетей Петри, на основе семантических сетей, на основе реляционных данных, на основе теории формальных языков, вероятностная модель, модель на основе теории игр, тензорная модель и некоторые другие.

Система реализована на основе использования основных инструментальных средств языковых сред C# и JAVA.

Подробное описание дается в статье «Концептуальные основы построения сборочного генератора программного обеспечения сложных систем», авторы: Георгиев В.О. (Российская академия наук, Казанский (Приволжский) федеральный университет, Казань), Прокопьев Н.А., Поликашин Д.С. (Казанский (Приволжский) федеральный университет, Казань).