We expose here the two models that we will use as examples in this manual.
Both models ''AuthorBooks'' and ''StoreEmployees'' are models used in the test units shipped with the framework. You'll find the associated packages in directory Modeling/tests/testpackages.
Notations: UML.