Glossary of Xemod


Jump to: navigation, search

This glossary shows the terms that are used specifically by Xemod. Terms that are used by the modelling approaches that Xemod supports, are not listed.


  • Formulation. Term used to denote the reading of a fact kind, for example '[car] is used in [rental agreement]'. It is equivalent with, but sounding less complicated than 'sentential form' or 'fact type reading', which are used in the Semantics of Business Vocabulary and Business Rules (SBVR), v1.0 and defined there as: 'fact type form that is a pattern or template that can be used for stating a proposition based on a fact type'.


  • Model. The conceptualization of a concrete system, namely an enterprise. In Xemod this term is explicitly used to denote the difference between a model and its representation.
  • Model Fact. A fact that is part of a model and so describes a part of the concrete system that is conceptualized by the model concerned. Examples of model facts are: 'there is a transaction kind B-T01', 'transaction kind B-T01 is executed by elementary actor role B-A01', 'there is a category RENTAL'.
  • Model Verification. A task that can automatically be performed by Xemod to check if the defined model is coherent, comprehensive and consistent.


  • Perspective. The structure in which the repository is presented to the user when viewing it via the Project Explorer.
  • Process Kind. A certain type of process, consisting of several causally related transaction kinds, possibly only one. The term is equivalent to the term 'Business Process' as is used by Jan Dietz.
  • Project Explorer. The element of the user interface of Xemod by which the repository can be browsed.
  • Project File. A file that is used by Xemod as a physical store for a repository, user preferences and application defaults. Project files have the extension .xpf.
  • Properties Form. The element of the user interface of Xemod by which the properties of model facts and representation elements can be set.


  • Repository. The storage of all elements regarding a model and its representation, like model facts, diagrams, tables.
  • Representation. The reproduction of a model by means of symbols. Reproductions in Xemod are diagrams and tables.


  • Signifier. An expression inside a formulation that is used to designate a concept. For example in the formulation '[car] is used in [rental agreement]', [car] is a signifier that designates the concept CAR and '[rental agreement]' is a signifier that designates the concept RENTAL AGREEMENT.
Personal tools