Chapter 1. Kermeta well-formedness rules