Какие известные методы/языки описания протоколов параллельных систем используются/по вашему мнению, можно было бы использовать для описания высокоуровневых протоколов/взаимодействия компонентов? Занимаюсь поиском интуитивно-понятных языков, которые бы могли быть удобными для описания взаимодействия компонентов параллельных систем. Существует ли, по вашему мнению, что-то лучшее для этой цели, чем параллельно работающие конечные автоматы (в виде графов состояний)? Т.е. если бы вам, скажем, необходимо было описать схему работы некоторой системы устройств, где устройства работают параллельно, выполняют несложные функции и передают между друг другом сообщения (например, АЦП считывает температуру, с нее данные собирает микроконтроллер, передает в ПО на ПК, где есть поток сбора данных и основной поток GUI), то как бы вы зарисовали такую схему, в т.ч. протокол взаимодействия устройств?