Теория автоматов применяется не только в компьютерных, но и в других видах сетей связи. В начале 1990-х годов Международный консультативный комитет по телеграфии и телефонии (CCITT, Comité Consultatif Internationale de Télégraphie et Téléphonie) разработал язык SDL (Specification and Description Language, язык спецификаций и описаний), предназначенный для описания структуры и функционирования распределенных систем реального времени, в частности сетей связи [9, 13, 15]. SDL-описание представляет поведение системы как цепочку ответов на произвольную цепочку стимулов. Основным элементом такой системы является процесс – обобщение понятия «конечный автомат». Процесс описывается с помощью таблиц переходов или SDL-диаграмм, являющихся разновидностью схем алгоритмов, в которые в явном виде могут вводиться состояния. Методология SDL применяется при создании программного обеспечения телекоммуникационных систем.
Объектно-ориентированное программирование. От традиционных сфер применения теории автоматов перейдем к рассмотрению относительно новых направлений современного программирования, где конечные автоматы успели занять достойное место.
Одним из таких направлений является объектно-ориентированное программирование (ООП). Появление и развитие этой парадигмы относится к 1970-80-м годам, однако методология проектирования программ в рамках ООП была разработана Гради Бучем только в 1991 году [16]. Для описания поведения проектируемой системы и её архитектуры он предложил использовать диаграммы классов, объектов, модулей, процессов, взаимодействий и состояний и переходов. Последний вид диаграмм является применением диаграмм Харела к объектной модели.
Loading ...