|
|||||||
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Понятие асинхронного процесса. Траектория АП. Максимальная траекторияПонятие асинхронного процесса (АП) описывает поведение системы следующего вида. Есть множество ситуаций и за один такт система может перейти к новой ситуации. При этом есть два выделенных множества ситуаций: · начальные (инициаторы), они характеризуются тем, что предшествовать инициатору может только инициатор; · конечные (результанты), они характеризуются тем, что следовать за результантом может только результант. Формально асинхронный процесс это четверка <S, F, I, R>, где S ={si} (i=, n) - непустое множество ситуаций; Как правило, I≠ и R ≠. Если I=R=, то АП называется автономным. Содержательно инициаторы это ситуации, активизирующие процесс. Назначение инициаторов делается на основе семантики процесса. Аналогично результанты это финальные ситуации. Их выбор также делается на основе семантики процесса. Отношение F можно изобразить орграфом, вершины которого соответствуют ситуациям асинхронного процесса. Дуга исходит из si и входит в sk, тогда и только тогда, когда sj F sk. Определение. Поведение системы описывается последовательностью ситуаций системы (s1, s2, …, sk) такой, что si F si+1 (i=,k). Такая последовательность называется траекторией. Любую подпоследовательность траектории, не совпадающую с самой траекторией, будем называть отрезком траектории. Траектории, которые не являются отрезками никаких других траекторий, называются максимальными. Отношение F. Отношение М. Определение. Ситуации si и sj находятся в отношении M, если существует траектория, в которую входят si и sj, причем si предшествует sj (длина траектории может быть любой). Это отношение транзитивное, поскольку если si M sj и sj M sk, то si M sk. Отношение sj M sk означает возможность перехода из sj в sk. В АП возможны случаи sj M sk и sj M sl, k не равно l. Заметим, что если для некоторого sj существует единственная ситуация, для которой sj M sk, то обязательно sj F sk. Отношение непосредственного следования F не восстанавливается однозначно по отношению M. Поиск по сайту: |
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.002 сек.) |