Научно-технический Клуб > Общие вопросы НТК
Создание ИС
avl:
Есть еще более хитрое направление - микромодели. Типа, микромодель описывает какой-то один аспект софта. И в-принципе можно с помощью микромодели описать их взаимодействие. В принипе, идея та же, только микромодель задается с помощью обычной логики первого порядка.
druidm:
--- Цитировать --- Я где-то видел статью про интересную методику, которая позволяла описывать поведение сложных систем простыми средствами: в этой методики состояние системы расщеплялось на так называемые моды, которые описывались независимо, а потом описывалось их взаимодействие. Причем через простые конструкции типа вышеозначенных таблиц решений.
Прикольно, но достаточно муторно. В принципе, там где нужно четко специфицировать поведение или для тестирования это полезно. Коди тесты из них напрямую генерятся.
--- Конец цитаты ---
да, что-то в таком духе.
При составлении ТЗ и функциональной спецификации все равно нужно описывать "моды" и их взаимодействие, поэтому здорово было, если после этого не нужно было кодить, а все генерировалось.
Jeka:
--- Цитата: druidm от 02 Март 2007, 10:08:54 ---Кто нибудь создавал генераторы кода информационных систем на основе таблиц решений? или какого-то друго метода?
--- Конец цитаты ---
Практически не делал, но представление имею. Тут теорию автоматов мутить надо, но писанины будет много. Есть альтернативный вариант: писать свой интерпретатор языка.
Навигация
Перейти к полной версии