1С СППР Система Проектирования Прикладных Решений

СППР можно представить как граф зависимостей между требованиями, процессами, метаданными, ролями, задачами, тестами и документацией. Есть теория "классический анализ потока данных (data-flow analysis)", где на основе которой делают разбор программ на узлы (функция, модуль кода, поле, выражение и т.п.) Например заводят формулу типа XM​=FM​(XN1​​,…,XNk​​) Здесь FM​ — правило, которое говорит: «если аргументы имеют такие типы, какой тип получится у этого выражения/вызова/метода?" Типы представляют как элементы решётки типов. В частности, на этой основе строят AST-дерево кода. Тут основная борьба состоит в том, что теория обещает, что вы можете описать код с помощью решётки типов и после какого-то числа итераций достигается неподвижная точка, где весь ваш код как бы описан. Но практика говорит что рекурсии в коде, стоимость каждой итерации пересчёта типов, ресурсы памяти компьютера могут сделать детальное описание невозможным и придётся делать огрубление описания связей графа (решётки). Так вот, вопрос в том, можно ли эту теорию применить к проектированию ПО, в частности на СППР (там же тоже будет граф связей, решётки типов)? Это касается, в частности, тех, кто пытается связать проектирование отражённое в СППР (требования, функции, роли и т.п.) с конфигурациями 1С (включая перестройку описаний в СППР от diff`ов конфигураций). По сути в СППР строится некая решётка (граф) и есть потребность её постоянно переписывать из-за изменений в требованиях заказчика и в коде.

Тут подана интересная мысль, что в программировании ИИ заработает в полную силу только после того как будут изменены принципы кодинга и построение программ. Сейчас все пилят ИИ под то как делает/читает код человек. Но ИИ предполагает, что для него нужна другая парадигма построения кода. В статье есть непрямой намёк, что этой парадигмой станет архитектура. Архитектура станет определителем границ и правил. Какие выводы отсюда: 1) Те кто пилит вгрузку кода конфигураций 1С в контекст, всякие МСР, агентские рои по разработке и тестированию делают зряшную проходную работу, такое не будет коммерчески востребовано на длительном этапе. Поскольку дремучий код 1С и для людей-то устарел, а под ИИ его надо переписывать полностью (переделывать язык программирования). 2) СППР (и её аналоги) будут по прежнему востребованы как хранилище архитектуры.

MAKER - стал основной конкурент СППР? От ТЗ до кода 1С без потери контекста Они же типа сделали сервис для аналитиков, который по описанию (видимо на стадии пресейл проекта) формирует опросник для аналитика. Кто успел попробовать в реале? Или опять рекламная продвижуха на ИС проскочила?

Вот как ИИ будет заменять 1С-программистов в частности. Живые реальные примеры. Пока достаточно простые. Дальше- больше. Пока особенность текущего момента - всё живёт и работает на лично разработанных отдельными энтузиастами инструментах (МСР и т.п.)