8.2.1. Some definitions
A model is a collection of types.
A namespace is an identifier, used to qualify types in a collection. Hence a model identifier is a namespace, but so is a context type identifier, for its roles.
A model text is a readable text file that defines a model. The PDR can transform it into a domeinfile.
A domeinfile is a resource (a json file) that holds the types in a model in a form that is used without modification by the PDR to reflect on types.
An instance of a context or role is represented by a resource (json file).
A store holds a collection of resources. Perspectives distinguishes domeinfile stores from instance stores.
A resource is a file.