X-машина является обобщенной вычислительной машиной, которая может моделировать нетривиальные структуры данных и динамическую часть системы, использование переходов, которые помечены функциями от входных и хранящихся в памяти значений. Множество X-машин могут рассматриваться как сообщающиеся друг с другом компоненты большой системы. Описывается методология, а также соотв. нотация, названная языком описания X-машин (XMDL), для построения сообщающихся X-машин. На конкретном примере применения методологии показывается, что применение XMDL существенно упрощает формальное и модульное описание и моделирование больших динамических систем.