“…Le recours aux modèles formels tels que les ontologies comme représentation intermédiaire n'a pas encore été exploré. Pourtant, les travaux sur le passage automatique de textes en LN vers des ontologies ont montré des résultats prometteurs (Petasis et al, 2011 ;Ruiz-Martìnez et al, 2011 ;Thongkrau, Lalitrojwong, 2012) et divers travaux ont déjà proposé des méthodes de traduction automatique entre une ontologie et un langage formel tels que Alloy (Song et al, 2012) ou Maude (Verdejo et al, 2005 ;Senanayake et al, 2005 ;Huang et al, 2009). En outre, de nombreux travaux insistent sur la pertinence de l'usage d'ontologies en ingénierie des exigences (Castañeda et al, 2010), pour codifier les connaissances pertinentes et faciliter la compréhension du domaine (Omoronyia et al, 2010 ;Al Balushi et al, 2013), minimiser l'ambiguïté linguistique (Castañeda et al, 2012), identifier des règles métier redondantes, jamais applicables ou qui violent le domaine de leur définition (Chniti et al, 2012), ou s'appuyer sur les connaissances d'ontologies pour aider l'analyse dans ses décisions pour améliorer des spécifications (Körner, Brumm, 2009).…”