Конспект установочных лекций по комплексному курсу Информатика, Теория информации
Модуль Описания систем через множество процессов
Процесс описывает возможное функционирование распределенной системы. Распределенные системы обладают многими ходами работы. Абстрактное описание динамического поведения распределенной системы может быть дано путем задания множеств процессов. Существует ряд формализмов для описания систем и ходов работ. Тремя представителями таких формализмов являются:
· сети Петри, графический метод описания;
· агенты, формальный язык описания;
· формулы логики предикатов для описания хода работы.
Другие методы описания для распределенных систем и их поведения дают языки программирования и программы. Если программа выполнятся на ЭВМ, то протекает некоторый процесс, который складывается из множества событий, соответствующих действиям при выполнении программы. Программа также описывает операционным способом процесс, причем последовательные программы описывают последовательные процессы. Для описания общих, не последовательных процессов языковых средств обычных, последовательных языков программирования оказывается недостаточно. Чтобы разрешить проблему, возникающую при описании параллельно выполняющихся систем программ (например, для параллельной композиции, коммуникации между частями программы и синхронизируемого доступа к общей памяти), применяют дополнительные языковые средства.
