Specifikované a navrhované souběžné systémy v praxi jsou typicky velmi rozsáhlé. Abychom zajistili přehlednost a snadnou manipulovanost s jejich specifikací, je přirozené rozdělit jednotlivé části systému do tzv. modulů. V případě grafických jazyků rozdělením do modulů získáme několik kompaktních nezávislých grafů místo jednoho rozsáhlého.
Rozdělení specifikace systému do modulů navíc umožňuje znovupoužití těchto modulů v různých částech systému nebo dokonce v jiných systémech. To velmi usnadňuje proces specifikace a návrhu souběžných systémů.
Modulární specifikace systémů souvisí s hierarchií a abstrakcí. Podpora modularity je spíše záležitostí sémantiky jazyka, která musí být kompoziční [], tj. sémantika systému je definována složením sémantik jeho komponent.