Les constructions que nous avons présentées plus haut servent principalement à montrer comment on peut utiliser le formalisme pour mettre en place un type de construction de SST souhaité. Selon les objectifs d'une application, l'ingénieur du système en collaboration avec les utilisateurs experts peut créer de nouvelles constructions, des raccourcis de constructions ou des heuristiques d'accélération de la construction. La conception de l'application doit être modulaire pour faciliter ce travail d'extension. Nous allons voir comment nous avons mis en place cette demande de modularité extensible dans une application, tout au long du chapitre suivant (chap.5).
Nous présentons ici à titre d'exemple quelques extensions que nous avons déjà envisagées. La présentation est effectuée sous forme schématique, donc plus intuitive, une fois les principaux mécanismes formels établis.