Авторитетность издания
Добавить в закладки
Следующий номер на сайте
В Московском инженерно-физическом институте разработан язык, описывающий взаимодействие функционально-иерархических систем, на основе имеющихся языков описания
30.04.2009Основные требования к языку:
- пригодность для формального описания статики и динамики компонентов архитектуры функционально-иерархических систем;
- платформонезависимость;
- пригодность к программной реализации (при разработке языка следует учитывать и стараться облегчать последующую разработку его программного транслятора);
- простота (для упрощения его освоения).
Основу описания в этих языках дают структурные единицы (модули в Estelle и LOTOS, блоки и процессы в SDL) и структура их взаимодействия (двунаправленные каналы в Estelle, однонаправленные каналы в SDL, точки взаимодействия в LOTOS). Модули в Estelle могут быть сильносвязанными (если они разделяют общие переменные) и слабосвязанными (если они взаимодействуют только через каналы). Блоки и процессы в SDL всегда слабосвязанные, причем блоки определяют статическую, а процессы – динамическую структуру спецификации. Модули LOTOS также являются слабосвязанными. Спецификация канала в Estelle включает: перечисление возможных примитивов взаимодействия, допускаемых каналом данного типа; имена ролей, которые играет каждая из сторон канала (например, поставщик или пользователь); перечисление типов параметров каждого примитива. В SDL взаимодействиям Estelle соответствуют сопровождаемые параметрами сигналы языка.
Подробное описание дается в статье «Язык описания взаимодействия иерархических систем и его персонализация», автор – Никифоров А.Ю. (Московский инженерно-физический институт).
