Formal description of system architecture