Domain

Once you get past the metadata section, the next line you need to specify is the enclosing domain.

Here is the excerpt from the door state model example:

domain Elevator Management

The grammar is:

domain_header = "domain" SP name EOL*

For the first line we have the keyword domain, exactly one space, and then the domain name. You don't specify the domain alias as that's already in the xcm file. And you must use the exact domain name specified in the xcm file. If you don't, you'll get through the parser okay, but the inconsistency will be detected when the downstream popsystem module attempts to populate the metamodel.