РАЗДЕЛ 2. Модельная интерпретация асинхронного процесса

Асинхронный процесс по существу является общей моделью описания динамики поведения параллельно функционирующих асинхронных систем.

Эта модель задает допустимые последовательности действий над некоторыми объектами систем, каждой из которых соответствует некоторая траектория АП. В этом смысле АП - модель управляющей структуры системы.

АП можно понимать, как метамодель порождающую различные частные динамические модели.

Использование частных моделей позволяет решить задачи, часто встречающиеся при конструировании и исследовании дискретных систем, а именно:

1. выполняет ли система те функции, для которых она предназначена;

2. функционирует ли она эффективно;

3. могут ли в ней возникнуть ошибки и аварийные ситуации - имеются ли потенциально узкие места;

4. можно ли упростить систему или заменить ее отдельные компоненты и подсистемы на более совершенные, не нарушая ее общего функционирования и т.п.

Порождение частых моделей использует механизм интерпретации АП, который может быть двухступенчатым.

1) модельная интерпретация, состоит в том, что основные понятия АП (ситуация, отношение, инициатор, результант) ставятся в соответствие понятиям частных моделей, вводятся дополнительные ограничения на АП (могут остаться не интерпретируемыми).

2) предметная интерпретация, согласуется с приложением и зависит от специфики решаемой задачи.

Рассмотрим некоторые модельные интерпретации асинхронных процессов.