DOI: 10.17587/prin.15.485-496

УДК: 004.05

Автоматная модель научной деятельности

В. И. Шелехов, канд. техн. наук, зав. лаб., vshel@iis.nsk.su, Институт систем информатики им. А. П. Ершова СО РАН, Новосибирский государственный университет

Автоматная модель научной деятельности определяется как расширение автоматной модели произвольной деятельности. Вводится новый тип данных: древесное множество. В модели деятельности определяются древесные множества объектов и видов деятельности. Объектами модели научной деятельности являются теория и набор научных проектов. Организация научной деятельности в России пока неэффективна. В качестве альтернативы рассматривается организация, базирующаяся на портфеле научных проектов, формируемом командой лидеров в каждой научной дисциплине. Для построения модели используется аппарат формальных методов и инженерии требований.

Ключевые слова: науковедение, автоматное программирование, система управления, инженерия требований, системная инженерия, формальные методы, онтология, агент-ориентированная модель

Стр. 485—496

Ссылка для цитирования:
Шелехов В. И. Автоматная модель научной деятельности // Программная инженерия. 2024. Том 15, № 9. С. 485—496. DOI: 10.17587/prin.15.485-496.