Each time the model-maker inputs a new component, CompoSys, in addition to the syntactic checkings and of typing, checks about fifty coherence rules, calculates and draws the interactions between the components, even starting from an incomplete model.
Chaque fois que le modélisateur saisit une nouvelle composante, CompoSys, en plus des vérifications syntaxiques et de typage, vérifie une cinquantaine de règles de cohérence, calcule et dessine les interactions entre les composantes et ceci même à partir d’un modèle incomplet.