При моделировании и анализе существующих процессов обработки данных часто применяется не пакетное моделирование, а потоковое. В качестве примера предметной области можно привести перемещение информации по сети или движение денежных средств по счетам банков.
При этом может возникнуть ситуация, когда нам необходимо знать происхождение данных в некоторой точке модели. Для этого можно использовать методы, применяемые для решения аналогичных задач при статическом анализе потоков данных в программе (value propagation, theorem proving etc).
Анализ структуры потоков данных в потоковых моделях
-
- Сотрудник
- Сообщения: 164
- Зарегистрирован: 26 авг 2004 10:35 am
- Откуда: Москва
- Контактная информация:
-
- Сотрудник
- Сообщения: 100
- Зарегистрирован: 25 авг 2004 02:21 pm
-
- Сотрудник
- Сообщения: 164
- Зарегистрирован: 26 авг 2004 10:35 am
- Откуда: Москва
- Контактная информация:
Например, если вы хотите узнать, откуда берутся данные (деньги, пакеты, товар, клиенты) в данный момент в данной точке потоковой модели. Существует ряд прикладных задач, в которых полезно это знать.Анатолий Бахмуров писал(а):Непонятно: в целях отладки? еще для чего?
В том-то и дело, что в потоковой модели нет отдельных пакетов. Там известно, из каких источников попадают данные в поток, известна мощность потока, и известно, как потоки перемешиваются между собой.Анатолий Бахмуров писал(а): В последнем случае, имхо, надо записывать адрес источника в пакет.
wbr K.