system (type) heading
The heading of
diagrams, that is a system-heading is as follows:
<system-heading> ::= system <system-name>
while system type diagrams have system-type-headings:
system type [<
As indicated in the syntax rule above, a system type can have formal context parameters and it can be a specialisation (of a more general system type).