Des travaux récents se sont attachés à la vérification et à la validation de réglementations: réglementations de sécurité dans les aéroports, protocoles médicaux par exemple. Dans ces travaux, les modèles formels qui servent à la vérification par preuve ou model checking sont en général élaborés directement par l'utilisateur à partir des textes.
Dans le cadre de la configuration d'environnements intelligents grâce à des descriptions textuelles fournies par des techniciens ou des utilisateurs avertis (férus de technologie), le but de cette thèse est d'élaborer un modèle complet allant du texte à la représentation formelle, qui requiert une intervention de l'utilisateur uniquement quand cela s'avère nécessaire.
L'originalité de ce sujet repose sur le fait de maintenir et exploiter la relation entre les représentations construites et le texte afin de raisonner sur les différents types de représentation, ainsi que dans une construction itérative de la spécification.