Para definir la estructura de un módulo mediante la composición de bases de reglas ModuleStructure toma el formato:

La composición de módulos consiste en la combinación arbitraria de referencias a los módulos componentes por medio de los operadores de composición:

Paralelo, representado por el símbolo [ ]
Serie, con el símbolo ;