Анализ структуры потоков данных в потоковых моделях
Добавлено: 13 фев 2006 06:32 pm
При моделировании и анализе существующих процессов обработки данных часто применяется не пакетное моделирование, а потоковое. В качестве примера предметной области можно привести перемещение информации по сети или движение денежных средств по счетам банков.
При этом может возникнуть ситуация, когда нам необходимо знать происхождение данных в некоторой точке модели. Для этого можно использовать методы, применяемые для решения аналогичных задач при статическом анализе потоков данных в программе (value propagation, theorem proving etc).
При этом может возникнуть ситуация, когда нам необходимо знать происхождение данных в некоторой точке модели. Для этого можно использовать методы, применяемые для решения аналогичных задач при статическом анализе потоков данных в программе (value propagation, theorem proving etc).